Alfred Tarski — The Semantic Definition of Truth, Model Theory, and the Limits of Formal Language (1901–1983)

Alfred Tarski — born Alfred Teitelbaum in Warsaw in 1901, educated at the University of Warsaw in the remarkable interwar environment of the Lwów-Warsaw school of logic, stranded in the United States when war broke out in 1939 during a visit from which he could not return, a naturalized American citizen from 1945, professor at the University of California Berkeley from 1942 until his death in 1983 — described himself, with characteristic modesty, as "a mathematician (as well as a logician, and perhaps a philosopher of a sort)." His student Robert Vaught ranked him among the four greatest logicians of all time, alongside Aristotle, Frege, and Gödel. Most working logicians would not quarrel with the assessment.

His most famous contribution — the semantic definition of truth — resolved a problem that had haunted logic since antiquity: how to define truth precisely enough to avoid paradox without either circularity or infinite regress. His solution — that truth for a language must be defined in a more powerful metalanguage — was philosophically decisive and mathematically rigorous, and it transformed both the philosophy of language and the foundations of mathematics.

His central concern: the precise mathematical characterization of concepts — truth, logical consequence, definability — that had been used informally for centuries but had never been given definitions rigorous enough to sustain serious mathematical work.

The Warsaw Formation — The Lwów-Warsaw School

Tarski's intellectual formation in interwar Poland was extraordinary by any measure. The Lwów-Warsaw school of logic — centered on Jan Łukasiewicz, Stanisław Leśniewski, and Kazimierz Twardowski — was the most productive center of logical research in the world between the wars, producing work on many-valued logics, the foundations of mathematics, philosophy of language, and the theory of deductive systems that would shape logic for generations. Tarski studied under Leśniewski and quickly exceeded him, publishing significant results before he completed his doctorate.

The school operated in an atmosphere of unusual intellectual seriousness: philosophical problems were expected to be stated with mathematical precision, vague concepts were expected to be analyzed until they became sharp, and the distinction between genuinely solving a problem and merely gesturing at a solution was rigorously maintained. Tarski absorbed this ethos completely — it shaped everything he subsequently did.

"Truth is an old notion, and we want to do justice to its everyday use — no matter how vague and imprecise — and to some at least of its previous philosophical developments. 'To say of what is that it is not, or of what is not that it is, is false; while to say of what is that it is, or of what is not that it is not, is true.'"

— Tarski, citing Aristotle's Metaphysics as the intuition to be formalized

The Liar Paradox and the Problem of Truth

The problem Tarski set himself was ancient: the liar paradox — "This sentence is false" — had demonstrated that unrestricted use of a truth predicate within a language leads to contradiction. If "This sentence is false" is true, then it is false; if it is false, then it is true. The paradox had been known since antiquity and had resisted satisfactory resolution for over two millennia.

Tarski's diagnosis was precise: the paradox arose because the language was being used to talk about its own semantic properties — because the object language and the metalanguage were the same. His solution was equally precise: a truth definition for a language L must be given in a metalanguage M that was logically stronger than L — a language that could talk about L without itself being subject to the same truth predicate. This was not a philosophical dodge but a rigorous mathematical result: the indefinability of truth theorem showed that no consistent formal language could define its own truth predicate.

"A truth definition for a language L has to be given in a metalanguage which is essentially stronger than L. As Tarski emphasized, Convention T rapidly leads to the liar paradox if the language has enough resources to talk about its own semantics."

Convention T — The Material Adequacy Condition

Tarski's semantic definition of truth worked through what he called Convention T — the material adequacy condition that any acceptable definition of truth must satisfy. For any sentence P in the object language, the metalanguage must be able to derive a biconditional of the form: 'P' is true if and only if P. The canonical example — deceptively simple — is: 'Snow is white' is true if and only if snow is white.

The definition looks trivial but is not. Its philosophical content is that truth is not a property that can be understood independently of the sentences that bear it — that to understand what it means for 'Snow is white' to be true, one must understand the conditions under which snow is white. The definition is materially adequate because it captures the Aristotelian intuition that truth consists in saying of what is that it is — and formally correct because it avoids circularity by giving the definition in the metalanguage.

The technical apparatus required to make this work — the notion of satisfaction, the recursive definition of truth for complex sentences in terms of truth for atomic sentences, the object language/metalanguage distinction — became foundational tools of mathematical logic, model theory, and formal semantics.

"'Schnee ist weiß' is true if and only if snow is white."

— The canonical T-sentence, where the object language is German and the metalanguage is English

Model Theory — The Architecture of Mathematical Truth

Tarski's definition of truth for formal languages was the foundation on which he built model theory — the systematic study of the relationship between formal languages and the mathematical structures that interpret them. Where Hilbert's metamathematics had focused on proof theory — on the syntactic manipulation of formal symbols — Tarski introduced semantic methods: asking not just what could be derived within a formal system but what was true in the structures the system described.

Model theory — developed by Tarski and his Berkeley students in the 1950s and 1960s — became one of the most important branches of mathematical logic, with applications across mathematics: the study of the first-order theory of the real numbers, the completeness and decidability of elementary geometry, the algebraic structures underlying logical connectives. His result on the completeness and decidability of elementary algebra — showing that every true statement about real numbers expressible in first-order logic could in principle be decided — was among the most striking mathematical achievements of the century.

"Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models."

— Anita Burdman Feferman and Solomon Feferman

The Banach-Tarski Paradox — Counterintuition as Proof

Among Tarski's mathematical results, the Banach-Tarski paradox — proved jointly with Stefan Banach in 1924 — is the most dramatically counterintuitive. The theorem states that a solid ball in three-dimensional space can be decomposed into a finite number of non-overlapping pieces which can then be reassembled, using only rigid rotations and translations, into two solid balls of the same size as the original. Doubling a sphere from its own parts, with no material added.

The result is a mathematical theorem — provable from standard axioms — rather than a physical possibility: the "pieces" involved are not physically realizable sets but mathematical objects that require the axiom of choice for their construction. Nevertheless it illustrates something philosophically important about Tarski's mathematical sensibility: his willingness to follow rigorous argument wherever it led, regardless of whether the conclusion matched intuition. Counterintuitive results were not occasions for retreat but for clarifying what the mathematics was actually saying.

"Tarski's student Robert Vaught ranked him as one of the four greatest logicians of all time — alongside Aristotle, Gottlob Frege, and Kurt Gödel."

The Exile — Warsaw to Berkeley

Tarski's personal history was marked by the catastrophe that destroyed the world that formed him. He left Warsaw in August 1939 to attend a logic congress in the United States. The German invasion of Poland began on September 1, 1939. He never returned. His parents, brother, sister-in-law, and most of his Warsaw colleagues were killed in the Holocaust. The Lwów-Warsaw school — the richest concentration of logical talent in interwar Europe — was largely destroyed.

Tarski spent the war years in difficult circumstances — without a permanent position, dependent on temporary appointments — before finally obtaining a position at Berkeley in 1942. There he built what became one of the most productive centers of logic and the foundations of mathematics in the world, training generations of logicians and establishing model theory as a major branch of mathematics. His Berkeley school was a monument to intellectual reconstruction from catastrophic loss.

"In Berkeley, Tarski built a prominent school of research in logic and the foundations of mathematics and science, centered around the prestigious graduate program in logic and methodology of science which he was also instrumental in creating."

Legacy — What Truth Requires

Tarski's legacy is twofold and at some points in tension. As a mathematical achievement, his semantic definition of truth and his model theory are among the most significant contributions to logic in the twentieth century — foundational in a precise sense: subsequent work in formal semantics, in the philosophy of language, and in mathematical logic could not have taken the form it did without them.

As a philosophical contribution, the assessment is more contested. Tarski himself was cautious about the philosophical implications of his work — he was a mathematician by self-identification and resisted the temptation to claim more philosophical significance than the mathematics strictly warranted. Whether his definition constituted a version of the correspondence theory of truth, or a deflationary theory, or something else — whether it solved the philosophical problem of truth or merely the technical problem of defining truth for formal languages — remains actively debated.

On CivSim he belongs alongside Gödel, Frege, and Russell — the logicians who established the rigorous foundations of formal thought and demonstrated, in the process, the precise limits of what formal systems could achieve on their own terms. His challenge to Universal Humanism is the limits challenge: that any system of thought sufficiently powerful to be interesting cannot fully account for its own foundations — that the truth conditions of any language must be specified in a language richer than itself — and that this structural fact about formal systems may have implications for the ambitions of any sufficiently comprehensive philosophy.

"Alfred Tarski (1901–1983) described himself as 'a mathematician (as well as a logician, and perhaps a philosopher of a sort).' He is widely considered one of the greatest logicians of the twentieth century — often regarded as second only to Gödel — and thus one of the greatest logicians of all time."