Philosophy
The Logic of Validity and the Semantic Paradoxes
Quick fact
The Liar paradox demonstrates that a single self-referential sentence can be neither true nor false, yet classical logic assumes every declarative sentence is one or the other. This simple example forced logicians to reconsider what 'valid argument' even means.
Why this is interesting
You've heard 'This sentence is false.' If it's true, then it's false; if it's false, then it's true. How can a simple sentence break the very notion of logical validity?
Read the full explanation
Understanding The Logic of Validity and the Semantic Paradoxes
Think of validity as a guarantee: if the premises are true, the conclusion must be true. This works beautifully for arguments like 'All men are mortal; Socrates is a man; therefore Socrates is mortal.' But consider the argument: 'The Liar sentence is true. Therefore, the Liar sentence is false.' If the premise were true, then the Liar sentence, which says 'This sentence is false,' would indeed be false, so the conclusion follows. But also, if the premise is true, the conclusion is false! So the argument fails the very definition of validity—we cannot confidently assert the conclusion when the premise is true. This is a counterexample to the idea that classical validity captures our intuitive notion of logical consequence.
A deeper explanation
The core problem is that the Liar sentence refers to its own truth value. In classical logic, a sentence is either true or false, but the Liar seems to be both. This is a semantic paradox because it arises from the meaning of 'true' and 'false,' not from any syntactic mistake. The paradox shows that the ordinary truth predicate, when applied to self-referential sentences, leads to inconsistency unless we restrict it somehow. Formal attempts to resolve this include Tarski's hierarchy of languages (disallowing self-reference), Kripke's fixed-point theory (using a partial truth predicate), and dialetheism (accepting some true contradictions). Each of these revisions forces us to alter our notion of validity—what it means for an argument to guarantee truth—because the classical definition assumes a consistent world where every sentence has one truth value. Thus, the logic of validity is not a static, universal rule but is sensitive to the expressive power of the language we use.