Tarski

In Alex Malpass & Marianna Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski. London: Bloomsbury. pp. 293-313 (2017)
  Copy   BIBTEX

Abstract

Alfred Tarski was one of the greatest logicians of the twentieth century. His influence comes not merely through his own work but from the legion of students who pursued his projects, both in Poland and Berkeley. This chapter focuses on three key areas of Tarski's research, beginning with his groundbreaking studies of the concept of truth. Tarski's work led to the creation of the area of mathematical logic known as model theory and prefigured semantic approaches in the philosophy of language and philosophical logic, such as Kripke's possible worlds semantics for modal logic. We also examine the paradoxical decomposition of the sphere known as the Banach–Tarski paradox. Finally we examine Tarski's work on decidable and undecidable theories, which he carried out in collaboration with students such as Mostowski, Presburger, Robinson and others.

Author's Profile

Benedict Eastaugh
University of Warwick

Analytics

Added to PP
2017-01-17

Downloads
230 (#60,273)

6 months
72 (#52,927)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?