Experiment #66 · Thought experiment

The Liar Paradox

"This sentence is false."

Attributed to Epimenides; modern formulations from Eubulides · 6th–4th c. BC · Logic, philosophy of language

First published: Earliest reference in St Paul's letter to Titus 1:12; analysed by Aristotle, *Sophistical Refutations*.

If "this sentence is false" is true, then it's false; if false, then true. Either way, contradiction.

The simplest version: the sentence "this sentence is false" cannot consistently be assigned a truth value. If true, then what it says — that it's false — must hold; if false, then it correctly says it is false, hence true. The paradox motivated Tarski's hierarchy of metalanguages, Russell's theory of types, and Kripke's fixed-point semantics. It remains the central pressure-test for any theory of truth, and it bears on whether natural language is consistent at all.

Formulation

L = "L is false." If L is true, then L is false. If L is false, then L is true. Contradiction. Resolutions: deny that L expresses a proposition (type theory); restrict truth predicates to a hierarchy (Tarski); admit truth-value gaps or gluts (Kripke, Priest).

Compare this experiment

Dimensions Engaged

⧉

Information

Engages Information · Ontological Status: are there meaningful sentences that cannot be assigned truth values, and what does that imply about the informational status of natural language?

◎

Observer

Bears on Observer · Knowledge Extent: are there propositions inaccessible to any rational observer?

Responses — How Schools Engage

Affirms / takes the bait 2

Logical Positivism

Self-reference of this kind is meaningless on a strict observation language; the paradox confirms that natural language requires logical regimentation to be consistent.

Postmodernism

A model case of the unstable, self-undermining character of language; the paradox is endemic, not a glitch.

Reframes the question 3

Structuralism

Truth and reference are structural; the paradox arises when self-referential structures violate type constraints. The fix is structural (hierarchies, types), not philosophical.

Jainism / Anekantavada

Jain seven-valued logic (syādvāda) anticipates paraconsistent treatments: a proposition may be true, false, both, or indeterminate in different respects.

Pragmatism

Truth is a property of useful belief; the paradox arises only when truth is conceived as a substantial property abstracted from use. In a deflationary register, the puzzle has no metaphysical bite.

Holds it inconclusive 1

Analytic Metaphysics / Logical Atomism

A live battleground: hierarchies, gappy, glutty, contextualist, and revision theories all have defenders. The paradox constrains theories of truth but does not single out a winner.