Alfred Tarski: Philosophy of Language and Logic
In: History of Analytic Philosophy Ser.
Cover -- Title -- Copyright -- Contents -- Series Editor's Foreword -- 0 Introduction -- 0.1 Expressive and representational semantics -- 0.2 The received view -- 0.3 Themes -- 1 Intuitionistic Formalism -- 1.1 What was Intuitionistic Formalism? -- 1.1.1 A puzzle about concepts and definitions -- 1.1.2 Tarski, Le´sniewski and Intuitionistic Formalism -- 1.1.3 Formalism -- 1.2 Le´sniewski -- 1.2.1 Le´sniewski's early work -- 1.2.2 Le´sniewski's later work -- 1.3 Kotarbi ´ nski -- 1.4 Tarski in context -- 1.4.1 The axiomatic method -- 1.4.2 Monism vs tolerance -- 1.4.3 Five doctrines -- 1.4.4 Tarski's project -- 2 Tarski as Intuitionistic Formalist -- 2.1 The early metamathematical works -- 2.1.1 Axiomatizing consequence -- 2.1.2 Relativization to a deductive science -- 2.2 Explicit definition -- 2.2.1 Defining definition -- 2.2.2 Two conceptions of definition -- 2.2.3 Padoa's method -- 2.3 Categoricity and completeness of terms -- 2.3.1 Provable monotransformability -- 2.3.2 Absolute monotransformability -- 2.4 Theory and concept -- 3 Semantics -- 3.1 Philosophical resistance -- 3.1.1 The quantifier -- 3.1.2 Paradox -- 3.2 Mathematical acceptance -- 3.3 Intuitionistic Formalism in "On Definable Sets" -- 3.3.1 The intuitive notion of definability -- 3.3.2 Defining definable sets vs defining "Defines" -- 4 Truth -- 4.1 Convention T -- 4.1.1 Terminological notes -- 4.1.2 Truth in the Lvov-Warsaw school -- 4.1.3 Semantic concepts in a mathematical theory -- 4.1.4 T-sentences -- 4.2 Tarski's definitions -- 4.2.1 Truth for the language of the calculus of classes -- 4.2.2 Higher order and polyadicity -- 4.2.3 Domain relativization and consequence -- 4.3 Evaluating Tarski's account -- 4.3.1 Familiar questions -- 4.3.2 Tarskian definitions and Tarski's "theory" -- 4.3.3 Reduction and physicalism -- 4.3.4 Correspondence and deflationism.