Alfred Tarski

E71180

human logician mathematician philosopher of logic philosopher of mathematics

Alfred Tarski was a Polish-American logician and mathematician renowned for his foundational work in model theory, formal semantics, and the concept of truth in formalized languages.

Aliases (1)

Tarski ×1

Statements (65)

Predicate	Object
instanceOf	human → logician → mathematician → philosopher of logic → philosopher of mathematics →
birthName	Alfred Teitelbaum NERFINISHED →
causeOfDeath	heart attack →
countryOfCitizenship	Poland → United States of America →
dateOfBirth	1901-01-14 →
dateOfDeath	1983-10-26 →
educatedAt	University of Warsaw →
employer	University of California, Berkeley → University of Warsaw →
ethnicGroup	Polish Jew →
familyName	Tarski →
fieldOfWork	algebra → formal semantics → mathematical logic → measure theory → model theory → philosophy of language → set theory →
givenName	Alfred →
influenced	algebraic logic → formal semantics → model theory → philosophy of language → set theory →
knownFor	Banach–Tarski paradox → Tarski’s definition of truth → Tarski’s fixed point theorem → Tarski’s high school algebra problem → Tarski’s theorem on the completeness of elementary algebra and geometry → Tarski’s undefinability theorem → semantic theory of truth → work on cylindric algebras → work on decision procedures for algebra and geometry → work on relation algebras →
languageSpoken	English → German → Polish →
memberOf	Lwów–Warsaw school of logic →
movedTo	United States of America →
movement	analytic philosophy →
notableStudent	Dana Scott → J. Donald Monk → Leon Henkin → Robert Vaught → Solomon Feferman → Steven Givant →
notableWork	“A Decision Method for Elementary Algebra and Geometry” → “Introduction to Logic and to the Methodology of Deductive Sciences” → “Logic, Semantics, Metamathematics” → “The Concept of Truth in Formalized Languages” →
placeOfBirth	Congress Poland → Russian Empire → Warsaw →
placeOfDeath	Berkeley, California →
religion	Judaism (background) →
studiedUnder	Stanisław Leśniewski → Stefan Mazurkiewicz → Wacław Sierpiński →
workLocation	Berkeley, California → Warsaw →

Referenced by (8)

Subject (surface form when different)	Predicate
Tarski's undefinability theorem → Tarskian object-language/metalanguage distinction →	namedAfter
analytic philosophy →	associatedWith
Alfred Tarski ("Tarski") →	familyName
The Logical Syntax of Language →	influenced
Donald Davidson →	influencedBy
Tarskian object-language/metalanguage distinction →	proposedBy
liar paradox →	studiedBy