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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
Alfred Tarski canonical 30
Tarski 1

Statements (65)

Predicate Object
instanceOf human ⓘ
logician ⓘ
mathematician ⓘ
philosopher of logic ⓘ
philosopher of mathematics ⓘ
birthName Alfred Teitelbaum ⓘ
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 Alfred Tarski self-linksurface differs ⓘ
surface form: 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 von Neumann paradox in set theory ⓘ
surface form: Banach–Tarski paradox

Tarski’s definition of truth ⓘ
Tarski’s fixed point theorem ⓘ
“A Decision Method for Elementary Algebra and Geometry” ⓘ
surface form: Tarski’s high school algebra problem

Tarski’s theorem on the completeness of elementary algebra and geometry ⓘ
Tarski's undefinability theorem ⓘ
surface form: 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 School of Mathematics ⓘ
surface form: 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” ⓘ
"Grundzüge der theoretischen Logik" ⓘ
surface form: “Introduction to Logic and to the Methodology of Deductive Sciences”

“Logic, Semantics, Metamathematics” ⓘ
“Logic, Semantics, Metamathematics” ⓘ
surface form: “The Concept of Truth in Formalized Languages”
placeOfBirth Congress Poland ⓘ
Russian Empire ⓘ
Warsaw ⓘ
placeOfDeath Berkeley ⓘ
surface form: Berkeley, California
religion Judaism (background) ⓘ
studiedUnder Stanisław Leśniewski ⓘ
Stefan Mazurkiewicz ⓘ
Wacław Sierpiński ⓘ
workLocation Berkeley ⓘ
surface form: Berkeley, California

Warsaw ⓘ

Referenced by (31)

Full triples — surface form annotated when it differs from this entity's canonical label.

liar paradox → studiedBy → Alfred Tarski ⓘ
analytic philosophy → associatedWith → Alfred Tarski ⓘ
Donald Davidson → influencedBy → Alfred Tarski ⓘ
The Logical Syntax of Language → influenced → Alfred Tarski ⓘ
Tarski's undefinability theorem → namedAfter → Alfred Tarski ⓘ
Alfred Tarski → familyName → Alfred Tarski self-linksurface differs ⓘ
this entity surface form: Tarski
Tarskian object-language/metalanguage distinction → namedAfter → Alfred Tarski ⓘ
Tarskian object-language/metalanguage distinction → proposedBy → Alfred Tarski ⓘ
Solomon Feferman → doctoralAdvisor → Alfred Tarski ⓘ
Solomon Feferman → influencedBy → Alfred Tarski ⓘ
The Undecidable → containsWorkBy → Alfred Tarski ⓘ
Leon Henkin → coAuthor → Alfred Tarski ⓘ
Truth and Meaning → influencedBy → Alfred Tarski ⓘ
Truth → isDiscussedBy → Alfred Tarski ⓘ
Tarski–Mostowski–Robinson theorem → namedAfter → Alfred Tarski ⓘ
Tarski’s theorem on the completeness of elementary algebra and geometry → author → Alfred Tarski ⓘ
Tarski’s fixed point theorem → namedAfter → Alfred Tarski ⓘ
Stanisław Leśniewski → influenced → Alfred Tarski ⓘ
Stanisław Leśniewski → notableStudent → Alfred Tarski ⓘ
J. Donald Monk → doctoralAdvisor → Alfred Tarski ⓘ
“Logic, Semantics, Metamathematics” → author → Alfred Tarski ⓘ
subject surface form: Logic, Semantics, Metamathematics
“Logic, Semantics, Metamathematics” → containsWorkBy → Alfred Tarski ⓘ
subject surface form: Logic, Semantics, Metamathematics
“A Decision Method for Elementary Algebra and Geometry” → author → Alfred Tarski ⓘ
subject surface form: A Decision Method for Elementary Algebra and Geometry
“A Decision Method for Elementary Algebra and Geometry” → hasNotableAuthor → Alfred Tarski ⓘ
subject surface form: A Decision Method for Elementary Algebra and Geometry
Steven Givant → coauthorWith → Alfred Tarski ⓘ
Polish School of Mathematics → notableMember → Alfred Tarski ⓘ
Kazimierz Twardowski → influenced → Alfred Tarski ⓘ
Robert Vaught → influencedBy → Alfred Tarski ⓘ
Banach–Tarski paradox → namedAfter → Alfred Tarski ⓘ
Banach–Tarski paradox → author → Alfred Tarski ⓘ
Yehoshua Bar-Hillel → influencedBy → Alfred Tarski ⓘ