# Paradox

I don't want to belong to any club that will accept me as a member.

—Groucho Marx

What is a paradox? That of course depends on what you mean by "is".

Some paradoxes are statements that are self-contradictory. Some paradoxes are statements that are simultaneously true and untrue. Some paradoxes are statements that use logical methods to arrive at an illogical result. Not all paradoxes are statements.

A paradox can be used to practice critical thinking.

The simplest paradox is the following sentence:

This sentence is false.

Think about it... think about it... got it yet? Oh. Keep thinking...

Yes, really, if you don't get the inherent joy of *that* one you can just give up now and stop reading this whole site.

How about this.

People complain that Jack lies the whole time, and it's true: he has always lied in the past. Then, one day Jack himself announces: "I

alwayslie".DoesJack always lie?

## Paradox Club

Welcome to Paradox club. The first rule of Paradox Club is not the first rule of Paradox Club.

## Great Paradoxes of the Ancient World

Zeno! Zeno! Good old Zeno. Where was I? You'd set out for a walk with Zeno, start talking and before you knew it you'd be all wrapped up in illogical conundrums that made your head hurt and had you regretting the mead you'd imbibed over lunch.

What *were* Zeno's Paradoxes?

There's a set of them, and they all involve dividing something by smaller and smaller amounts. If you've ever had to work out your tax, you're probably familiar with the whole idea already. Here's the first one, as retold by our old mate Plato:

In a race, the quickest runner can never overtake the slowest, since the pursuer must first reach the point whence the pursued started, so that the slower must always hold a lead

Okay... so let's slow things down quite a bit, and try to tell that one in a few more words than Plato gave it.

There's a hare and there's a tortoise. In a fair race, the hare would of course be much faster than the tortoise.

Now in this particular race, we give the tortoise a bit of a head start, until, at time `T = 0`

the hare is allowed to start running.

Some small amount of time later, at time `T = 1`

, the hare will indubitably have reached the position that the turtle was at, at time `T = 0`

. By this time, the turtle of course has moved on, and reached a new location. So the hare has not yet reached the turtle.

And thus:

Some smaller amount of time after that, at time `T = n+1`

, the hare will indubitably have reached the position that the turtle was at, at time `T = n`

. By this time, the turtle of course has moved on, and reached a new location. So the hare has not yet reached the turtle.

Goto "`And thus`

", ad infinitum. The hare can never reach the turtle.

Understood? The hare, who is faster than the turtle, can *never*, in an infinity of moments, **ever** reach our turtle friend.

Never give anyone a head start.

## The Ship Of Theseus

Imagine there is a splendid ship of some historical significance, the Ship of Theseus, and that it is still in service.

Inevitably, a few of the wooden boards of the ship begin to wear out, so these are removed to a museum, and replaced with wooden boards of identical design, constructed using the same materials as the original, and the same ship building processes.

Invetiably, more wooden boards begin to wear out, even the mast, and on each occasion the parts are similarly removed to a museum and replaced.

Eventually there are two Ships of Theseus: the one that is still riding the seas, and the one, fully reconstructed, in the museum. Which is the real Ship of Theseus?

Similarly consider the case of George Washington's axe. The very axe that was owned by George Washington himself, and it is still in use today. The head of the axe has been replaced a few times, as has the shaft, but it's still the same axe.

## Bertrand Russell, Making Life Impossible for Frege Since 1902!

A paradox that had tremendous impact on the world is "Russell's Paradox", so named because it was a paradox put forward by Bertrand Russell, in a letter to Gottlob Frege. It turned the tables completely on the foundations of mathematics, and, in time, brought about revolutions in the worlds of Logic and Philosophy including (perhaps) the invention of the computer. And it really burnt up our pal Gottlob.

Russell's paradox is all about sets. Specifically it is about sets that are not members of themselves.

First, you have to consider that a set might contain a set. What if you had a set of your favorite sets. That would be a set of sets.

Next, you have to consider that a set that contains sets, might contain itself. If the set of your favorite sets, was itself, one of your favorite sets, then the set of your favorite sets would contain itself: the set of your favorite sets.

Now consider that some sets that contain sets do not contain themselves. For example, the set of your least favorite sets might contain: "the set of sea-lions", "the set of sloths" and so on, but not contain "the set of our least favorite sets", as you might be rather fond of that set.

Once you've got all of those concepts under your belt you're ready to move onto Russell's paradox.

What sets do we find in "the set of all sets that do not contain themselves"? Let's call this set R.

Does R contain R? If R doesn't contain R, then we can say it is a set of sets which doesn't contain itself. Therefore, for completeness, it should contain R. But if it does contain R, then it now contains itself, in which case it shouldn't contain R. But if it doesn't contain R, it should. So if it does it doesn't, and if it doesn't then it does.

When pondering R we either continue down a path of unbounded recursion or we sit down and feel rather dizzy.

Russell packed all of this into a short note he sent to Gottlob Frege, and Frege was most vexed! Our poor buddy Frege had just been putting the finishing touches on the second edition of his Magnum Opus, the *Grundgesetze der Arithmetik, II*, or "Basic Laws of Arithmetic", a big bumper edition in which Frege attempted to completely define *all* of mathematics in terms of sets, and reduce sets down to predicate logic. Thus reducing all of maths into a branch of logic.

To say Russell's letter was a blow to Frege would be an understatement. He tried to put on a brave face. He wrote a hasty Appendix to Vol. 2, beginning with this beguiling admission:

Hardly anything more unfortunate can befall a scientific writer than to have one of the foundations of his edifice shaken after the work is finished. This was the position I was placed in by a letter of Mr. Bertrand Russell, just when the printing of this volume was nearing its completion.

In the remainder of the appendix he attempted to derive a resolution to the contradiction by modifying one of his Basic Laws, though it was a poor attempt at best.

## Hilbert's Hotel

There's this geezer Hilbert and he has this hotel (he has a curve too, but that is whole other story). Anyway, the Hotel is *quite* a place.

I'm pretty sure that the song Hotel California is about Hilbert's Hotel. Particularly the chorus where they sing "There's plenty of room at the Hotel California" because let me tell you, there are an infinite number of rooms at Hilbert's. More on this there.

## Catch-22

You can't write anything about "Catch-22" that hasn't already been written. It's a novel, from the distant past, set in a time known as The World War II, when people everywhere were trying to kill other people.

The main character is a man called John Yossarian. He's a captain in a US Air Force squadron, in charge of a B-25 bomber. He doesn't want to fly any more missions, and is talking to a Doctor, Doc Daneeka, to see if he can get out of flying.

There was only one catch and that was Catch-22, which specified that a concern for one's safety in the face of dangers that were real and immediate was the process of a rational mind. Orr was crazy and could be grounded. All he had to do was ask; and as soon as he did, he would no longer be crazy and would have to fly more missions. Orr would be crazy to fly more missions and sane if he didn't, but if he was sane he had to fly them. If he flew them he was crazy and didn't have to; but if he didn't want to he was sane and had to. Yossarian was moved very deeply by the absolute simplicity of this clause of Catch-22 and let out a respectful whistle.

"That's some catch, that Catch-22," he observed.

"It's the best there is," Doc Daneeka agreed." —Joseph Heller, Catch-22

## Visual Paradox

A paradox can also be presented in a visual manner, such as the paradoxical shapes popularized by MC Escher

"Mr Escher's office please"

"Up the stairs, keep turning right"

—@MooseAllain

## The Paradox of Tolerance

George Carlin expressed the paradox of tolerance in a quintessential way:

So I say, "Live and let live." That's my motto. "Live and let live." Anyone who can't go along with that? Take him outside and shoot the motherfucker.

## Temporal Paradox

A paradox can be a causal conundrum that arises in a time-travelling tale.

For example, what would happen if you went back in time, encountered a young man, killed him, and subsequently learned that he was your own grandfather (your mother's father), on his way to meet your young grandmother for the first time? If he'd never met her, then your mother could never have been born, and neither could you. In which case you never would've had a chance to zip back in time, kill the grandfather.... in which case the grandfather would've not been killed, thus gone on to father the child who ultimately mothered you, thus giving you the chance to go back and kill the grandfather, thus... and thus... etc., in infinite regress. Many many time travel stories derive all of their pleasure from creating, and somehow resolving, a complex paradox.

If you choose an answer to this question at random what is the chance you would be correct?

— Jim Al-Khalili (@jimalkhalili) December 11, 2016

A) 25%

B) 50%

C) 60%

D) 25%

If a professor of logic became a politician they would pass a law against following laws and then where would be.

— Leon Bambrick (@secretGeek) May 6, 2015

## External Links

- Wikipedia: Paradox
- Wikipedia: Eubulides
- Wikipedia: Ship of Theseus
- SEP: Russell's Paradox
- Wikipedia: Russell's Paradox
- SEP: Zeno's Paradoxes
- Identity Over Time (Andres Gallois)
- Wikipedia: Zeno's Paradoxes
- Wikipedia: Temporal Paradox
- Wikipedia: Grandfather Paradox
- Wikipedia: Hilbert's Paradox of the Grand Hotel
- Wikipedia: Hotel California
- Newcomb's Paradox
- Wikipedia: Ross–Littlewood paradox
- A Multiple-Choice Probability Puzzle
- Wiki: Paradox of Tolerance
- I Can Tolerate Anything Except The Outgroup