1

I recently read an interesting book written about maths. But there was a whole chapter on paradoxes. There was a ''Looped liar paradox' described in it. It's something like: "On the front of of a paper this is written: The sentence on the back is false. On the back this is written: The sentence on the front is true."

Is there a solution to this (or similar) paradoxes?

  • Good book that examines this as well as other questions - Liars and Outliers: Enabling the Trust that Society Needs to Thrive – Swami Vishwananda Feb 20 '17 at 7:54
  • See this post for a complete resolution of all such 'logic' paradoxes. Suffice to say that when you are extremely precise in your logical reasoning you will never face a paradox. – user21820 Jan 23 '18 at 17:15
  • 1
    Possible duplicate of What formal logical systems "resolve" the Liar Paradox? – Conifold May 23 '18 at 21:14
3

There are many suggested solutions to the Liar paradoxes, mostly invoking complex logic, but there is no current concensus around any one of them. You can see a classification of solutions in the SEP article on the Liar. Two notable types of suggested solutions are (1) solutions that involve paracomplete logics, i.e. that hold that Liar statements, such as "I am lying now", belong to a special class of statements which are neither true nor false. And (2) solutions that involve paraconsistent logics, i.e. that hold that Liar statements, such as "I am lying now", belong to a special class of statements which are simultaneously both true and false.

1

The only way out of a real logical paradox is a different form of logic.

For instance, in a logic that is temporalist or accepts non-well-founded truth values, you can create a special category of truth value that changes or alternates, reflecting the mental state of someone initially considering the statements continued indefinitely.

In a logic that is dialetheian, you can accept that some truth values simply remain in conflict to varying degrees, or in a logic that is intuitionistic, you can decide that unprovable statements just don't need truth values and are better off without them.

But there is no way to maintain classical logic, retaining all of its strengths, and resolve all the problems that traditional traps like self-referential negations or actualized infinities can introduce.

1

The classic paradox of the liar (I am lying) directly indicates a contradiction, because while I declare that I am lying in practice I' m telling the truth (that I am lying), which means that I tell the truth and I lie at the same time. This is a classic paradox of self-reference. The value of the paradox lies exactly in this unsolvability because it reveals in front of us the contradiction as a real condition.

The looped liar paradox is not obviously self referential, but in practice it is a developed form of the liar's paradox and the two subjects of the two statements practically are consolidated (since the one points to the other in succession) and so through reason is produced a single subject which displays the same contradictory relation as it is predicated with two opposite predicaments at the same time.

  • There are two different ways how both statements in the so called "looped liar paradox" can be true. – gnasher729 Feb 20 '17 at 0:42
1

The liar's paradox is resolved by Whitehead and Russell in their 1910 Principia Mathematica

Regarding the two sentences on the two sides of a paper, they can be simplified as:

F = the sentence G is false.

G = the sentence F is true.

The significance of F cannot be determined until the significance of every and each of its constituents is determined; one of F's constituents is G, whose significance cannot be determined until every and each of G's constituent is determined. One of G's constituent is F, thus a vicious circle ensue. Since neither G nor F's significance can be determined, both G and F are nonsense. In 2017, it is trite to point out this kind of folly to anyone who does computer programming.

0

No, there isn't. And that's why it's a "Paradox", which simply means a "Contradiction". Finding a perfect answer will require changing our whole understanding of logic, which is quite horrible to me. And nobody can guarantee that doing so will completely ban paradoxes!

  • 1
    A paradox doesn't "simply mean a contradiction." Paradoxes are much more complex than a regular contradiction, thats why they're interesting. There is a world of difference between "A & ~A" and "This sentence is false." – Not_Here Feb 19 '17 at 7:20
  • What do you mean? paradoxes are solvable. Twin paradox, Farmer-beam paradox etc. are solved. – Mockingbird Feb 20 '17 at 4:49
  • Those are paradoxes in the same sense. They are simply counterintuitive aspects of specific theories. This is an older use of the word, closer to its original meaning, but it is not what philosophers mean when they discuss paradoxes. A real logical paradox is logically unstable and cannot be resolved within the framework of classical logic, it requires an extension to logic or a new mode of interpretation to make any sense of it. – jobermark Feb 22 '17 at 3:00
  • I don't know much about logic. That's why my comment is like that. – Mockingbird Feb 22 '17 at 4:01
  • I assumed that. Which is why my comment was long... – jobermark Feb 22 '17 at 21:30
-4

I took an empty sheet of paper, wrote your statements on each side, and the earth didn't stand still, no angry god come down to earth and destroyed the paper, nothing happened. So it's not a bad deal.

I can make four different statement now of the form "the statement on the front of the paper is true/false, and the statement on the back is true/false". Of these four different statements, two are consistent with what is written on the paper: "the statement on the front of the paper is true, and the statement on the back is false" and "the statement on the front of the paper is false, and the statement on the back is true".

Mockingbird: I don't get what you don't get.

First, you call it a paradox, I call it two sentences written on a sheet of paper. That means there is no big problem to solve here. It's nothing to worry about.

Second, there are two statements, each could be true or false, making four combinations. Two of these four combinations are consistent with what is written. This is different from the standard liar paradox, where "the liar's statement is true" and "the liar's statement is false" are both inconsistent with the liar's statement.

So we don't actually have a paradox at all - we know definitely that one statement is true and one is false, we just cannot say which one.

  • 1
    I'm not sure I really understand the answer -- is there any chance you could explain a little bit (by editing your answer) why this is a persuasive answer to you? What sort of research could confirm it? – Joseph Weissman Feb 18 '17 at 16:18
  • I don't get your answer. I am asking for the specific solution of the paradox given above. – Mockingbird Feb 18 '17 at 21:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.