My favorite paradox that leads to an endless regress, and also leads to a question:

The sentence after this is true.

The sentence before this is false.

When contradictions appear in proofs, we have rules to finish out the proof. I believe that the upside-down T symbol is used to signify a contradiction. Then the rule was that from a contradiction anything could be derived. I always found that rule quite interesting.

However, a paradox to me does not seem to be quite equal to a contradiction. Maybe they get treated as such, but are there rules for dealing with paradoxes in formal proofs? Much like they do with contradictions?

  • 2
    I'm not sure that this qualifies a paradox. I'd call it contradictory circular definition. I would think in general that paradoxes generally fall outside of the treatment of formal logic.
    – virmaior
    Commented Jun 30, 2015 at 5:13
  • @virmaior this is a variation of the famous liar paradox which is itself an example of a self-reference paradox.
    – innisfree
    Commented Jun 30, 2015 at 19:34
  • 2
    self-reference paradoxes don't fall outside of formal logic (do they?) - they are related to e.g. Godel statements en.wikipedia.org/wiki/…
    – innisfree
    Commented Jun 30, 2015 at 19:35
  • 1
    @innisfree painting the liar paradox as specifically an issue of self-reference is misleading, as discussed in e.g. Stephen Yablo's single-page paper "Paradox without Self-reference", available here: researchgate.net/profile/Stephen_Yablo/publication/…
    – Paul Ross
    Commented Jul 1, 2015 at 8:28
  • 1
    @PeterJ You're not parsing it correctly. It is indeed a paradox: there is no way to assign truth values from {true, false} to the two statements in a coherent way. For example, they can't both be false since if the first one is false then the second one is true. Commented Jan 20, 2019 at 23:43

3 Answers 3


The same effect can be achieved with a single sentence:"This sentence is false". It is known as the Liar paradox and goes back to an ancient sophist Epimenides. Your two sentences simply split the Liar in two. There is no endless regress though, it ends in one step. We accept both sentences as "axioms", i.e. "true", but the second sentence implies that the first one is false, a contradiction. The problem is that in the usual proofs by contradiction there is an underlying premise that leads to it, and can be rejected, but there seems to be no such extra premise here. This means that the Liar's sentence, or your two sentences, form an inconsistent "theory": a statement and its negation can both be derived in them. By the logical law of explosion, then any sentence whatsoever can be derived in them, in other words they are uninteresting.

Detecting such self-referential paradoxes is easy enough, see e.g. Wen's Semantic Paradoxes as Equations. Your two sentences can be coded as equations x=y and y=¬x, implying x=¬x, which codes the Liar sentence x, interpreting "=" as "refers to", and ¬ as "not". The Boolean variable x can take only two values, 0 or 1, and neither fits. A collection of sentences produces a paradox if the system of equations coding it has no solution. The real question is how to interpret "no solution". Several approaches exist, all of them controversial, see Paradoxes of Self-Reference on SEP.

One way is not to interpret it at all, but to ban inconsistent theories altogether using syntax. Mathematical and logical theories go to great lengths to make sure that paradoxical "collections of sentences" are always a syntax error. This is what makes proofs by contradiction work in them. Nothing like Liar can be expressed in set theory language, for example, or in Russell's Principia, the problem is defined out of existence there.

Another approach is to declare that there is a hidden premise in the Liar after all. We implicitly assume that the sentence is either true or false, that it has a truth value. The equational interpretation shows us that this assumption is false, and we have to accept that some sentences have no truth value. We already accept this in natural language, "similar moon slowly" isn't true or false, it is gibberish, and "electron is a green dignity" is meaningless too, although it is grammatically correct. So there are different ways to be gibberish, and the Liar sentence and its cousins are "logical gibberish", still neither true nor false.

The most popular version of logic and semantics, where some syntactically correct sentences have no truth value, was developed by Kripke and is called truth value gap logic. In addition to true and false it introduces a third truth value: undefined. But such a logic creates many technical complications in assessing truth values of compound expressions and in manipulating them, so it is rarely used in mathematics or applications.

  • 1
    @hellyale Sorry, fixed it.
    – Conifold
    Commented Jun 30, 2015 at 23:36
  • 1
    I've downvoted this because the answer collapses the two-sentence case into the single liar paradox then moves away from the philosophy of logic into a computer science paper on detecting conflicts in boolean algebra. This is not a reasonable presentation of the relevant philosophical material.
    – Paul Ross
    Commented Jul 1, 2015 at 8:39
  • 1
    @Paul Ross perhaps you can provide a better answer?
    – hellyale
    Commented Jul 1, 2015 at 13:06
  • 3
    @Paul Ross I do not understand the objections. The commonality between the sentences and the Liar is obvious, but there is no collapse even at the level of equations. The paper is on logic and paradoxes, it does not mention computers or computer science, references a number of logicians including Kripke and Tarski, is published in a mathematical journal, and the author is not a computer scientist. And before a philosophical interpretation can be presented one has to clarify what it is that ought to be philosophically interpreted, the unavailability of definitive truth values in this case.
    – Conifold
    Commented Jul 2, 2015 at 19:44
  • 2
    @PaulRoss I don't think it's inappropriate that an answer to a philosophy of logic question actually involve formal logic ... Commented Jan 20, 2019 at 23:41

(1) Not "sentences", but only statements, can be true or false. Machines can generate sentences, but only speakers can make statements, and to make a statement is implicitly to ask that attention be paid to it and that it not be contradicted without a reason being given, which implicitly commits the speaker to not making any other statement which contradicts it either explicitly or implicitly.

(2) The reference of the word "this" in the statement, "This statement is false", is indeterminate, so that nothing obliges an interlocutor to assume that the speaker intends the statement to refer to itself, and is therefore entitled to ask "Which statement do you mean?"

(3) To make explicit for his interlocutor which statement "this statement" refers to, the speaker would have to say, "This statement, - 'This statement is false', - is false," which brackets it in a way that removes the logical problem, because the speaker is no longer asserting anything paradoxical, and, since the bracketed sentence is no longer asserted by anyone as a statement, but merely quoted, we have no speaker's authority for supposing it to be self-referential.

(4) The same principle applies also in the other version: "The following statement is false. The previous statement is true." Here the references of the expressions, "the following" and "the previous", are logically indeterminate, so there can be no certainty that they refer to each other. After all, if these sentences are written down, other sentences might be interpolated, which would remove the logical problem.

(5) In conclusion, if we aren't obliged to take a statement as self-referential, then we can't be obliged to take seriously any problems that might arise from its being so.


There's no general rule. My favourite example is what happens when an irresistable force meets an unmoveable object?

It's actual an inversion and recapitulation of Aristotles definition of force and the original definition is far more important in the history of thought than the eye-catching rephrasing above.

In fact one can draw a line between Aristotles definition to Newtons and then to Einsteins; whereas the paradoxical statement merely sits as an isolated fragment of thought, twisted into thought-catching and thought-threatening, paradoxical terms which achieves nothing of any substance.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .