Skip to content
Alfred Tarski

Alfred Tarski

A logician who concluded that a language cannot define its own truth predicate without generating contradictions.

theorist

Publications

1941"On the calculus of relations"
1944"The Semantic Conception of Truth: and the Foundations of Semantics"
1944"The Algebra of Topology"
1948"Some theorems about the sentential calculi of Lewis and Heyting"
1951"Boolean Algebras with Operators. Part I"