The
liar paradox was invented in the Ancient Greece and it amazed the people for 25 centuries. They claimed that it’s intractable. Some people are amazed with it still and they claim still that it’s intractable. They’re in error.
There are many versions of that paradox but the rule that works in all of these cases is always the same.
Here’s the example of the liar paradox:
Quote:
The sentence below is false.
The sentence above is true.
|
Someone reads that quote and thinks: “The sentence above says that the sentence below is false. So the sentence below is false. The sentence below says falsely that the sentence above is true. So the sentence above is false. The sentence above says falsely that the sentence below is false. So the sentence below is true”.
At that point the contradiction appears: the assumption that the sentence below is false leads to the conclusion that the sentence below is true (and the same with the sentence above). It’s the paradox.
The same paradox appears in a shorter example:
For 2500 years people thought that the liar paradox is intractable. In the 20th century a Polish logician, mathematician, and philosopher –
Alfred Tarski – solved that paradox (and many other as well). He invented so-called
semantic theory of truth. The core of that theory is a concept of the
metalanguages.
Lets imagine that John said: “It’s raining now”, Mary replied: “That’s true: ‘It’s raining now’”, and an Extraterrestrial commented: “Mary said truly that John said the truth”.
As we see John said the statement about the reality outside, Mary said the statement about John’s statement, and an Extraterrestrial said the statement about Mary’s statement about John’s statement. (We still don’t know whether it’s raining indeed because all of them may be the pathological liars but on the other hand we know now that Extraterrestrials exist because they can talk about the other beings talk.)
Lets see the following presentation (read it from the bottom to the top):
Code:
+-------------------------------------------+
| Extraterrestrial: |
| Mary said truly that John said the truth. |
+-------------------------------------------+
^
|
+-------------------------------------------+
| Mary: |
| That’s true: “It’s raining now”. |
+-------------------------------------------+
^
|
+-------------------------------------------+
| John: |
| It’s raining now. |
+-------------------------------------------+
John’s statement talks about the reality outside and it belongs to
the language. Mary’s statement talks about John’s statement and belongs to
the first level metalanguage (it talks about the language which talks about the reality outside). Extraterrestrial’s statement talks about Mary’s statement about John’s statement and belongs to
the second level metalanguage (it talks about the language which talks about the language which talks about the reality outside). And so on.
The above is the essence of the conception of the metalanguages. Each
sensible sentence belongs either to the language or to the metalanguage of some level. The sensible sentence can’t belong to more than one level of the above stack. The sentence which belongs to a few levels at the same time is a
nonsensical sentence and can’t be treated seriously.
Now let’s come back to the liar paradox. The sentence: “This sentence is false” talks about itself. So it’s the sentence from some language and – at the same time – the sentence from the metalanguage. Moreover while we think about that sentence more and more it changes its
“truth value” many times back and forth. When we assume that it’s true the conclusion is: it’s false. When we assume that it’s false the conclusion is: it’s true. And so on. So during this considerations that sentence talks about itself more and more times passing as a result an infinite number of “the ordered metalanguages”.
As a result the sentence: “This sentence is false” is nonsensical and can’t be treated seriously.
The same with the other example. The sentence above talks about the sentence below and the sentence below talks about the sentence above. And so on. As a result each sentence talks about itself as well.
So that
syllogism is nonsensical too.
That solves the liar paradox.
(I published the above tutorial because some future puzzles or jokes may concern the liar paradox or the pathological liars and the pathologically veracious people.)