Alfred Tarski

Alfred Tarski (1901–1983) was a Polish-American logician who created the modern framework for model-theoretic semantics and formal truth definitions. His 1933 paper "The Concept of Truth in Formalized Languages" provided the first rigorous definition of truth for logical systems — not by appealing to intuition or correspondence with reality, but by defining truth recursively within a formal structure.

Tarski's truth definition requires a formal language with precise syntax and a metalanguage capable of expressing statements about the object language. The result — now called the T-schema — states that "Snow is white" is true if and only if snow is white. This seems trivial until you notice what it accomplishes: it grounds semantic concepts in structural properties of languages, making truth amenable to mathematical analysis rather than philosophical debate.

Tarski also proved fundamental theorems in logic and set theory, including results on logical consequence and undecidability. His work established that semantic concepts could be treated with the same rigor as syntactic ones — a shift that enabled the later development of possible worlds semantics, denotational semantics, and formal approaches to natural language meaning.

Tarski's framework is not without critics. The requirement that truth be defined in a metalanguage stronger than the object language generates an infinite regress if applied universally. And the restriction to formalized languages excludes natural language, where truth conditions are context-dependent, vague, and subject to pragmatic modulation. Whether Tarski's formalism captures what we ordinarily mean by truth, or merely replaces it with a more tractable technical cousin, remains an open question — and one that exposes the boundary between mathematics and philosophy with unusual clarity.