Tarski
contemporaryMathematical Logic / Analytic Philosophy1901 – 1983
Alfred Tarski (1901–1983) was a Polish-American logician and mathematician widely regarded as one of the greatest logicians of the twentieth century. He made foundational contributions to mathematical logic, model theory, set theory, and formal semantics, most notably through his semantic theory of truth. His work established rigorous frameworks for analyzing the relationship between formal languages and the structures they describe.
Notable Achievements
1
Developed the semantic (correspondence) theory of truth, defining truth for formal languages via satisfaction relations
2
Proved the undefinability theorem: a sufficiently expressive language cannot define its own truth predicate
3
Established foundational results in model theory, including the Löwenheim–Skolem–Tarski theorem
4
Proved the decidability of elementary algebra and Euclidean geometry
5
Co-developed the Banach–Tarski paradox in set theory