The Liar Paradox
"This sentence is false." Decide whether you are looking at something true or something false, and see how far you get.
c. 600 BCE (the Epimenides line); c. 350 BCE (Eubulides' paradox)26 min read
American analytic philosophy and modal logic
Saul Kripke
1940 – 2022
Logician and philosopher, best known for the possible-worlds semantics of modal logic and for Naming and Necessity. His 1975 paper "Outline of a Theory of Truth" replaced Tarski's hierarchy of languages with a single language whose truth predicate is partial, built up to a fixed point — the most influential technical response to the Liar in the twentieth century.