| |
| |
| Series Editor's Foreword | |
| |
| |
| Introduction | |
| |
| |
| Expressive and representational semantics | |
| |
| |
| The received view | |
| |
| |
| Themes | |
| |
| |
| |
| Intuitionistic Formalism | |
| |
| |
| |
| What was Intuitionistic Formalism? | |
| |
| |
| |
| A puzzle about concepts and definitions | |
| |
| |
| |
| Tarski, Lesniewski and Intuitionistic Formalism | |
| |
| |
| |
| Formalism | |
| |
| |
| |
| Lesniewski | |
| |
| |
| |
| Lesniewski's early work | |
| |
| |
| |
| Lesniewski's later work | |
| |
| |
| |
| Kotarbinski | |
| |
| |
| |
| Tarski in context | |
| |
| |
| |
| The axiomatic method | |
| |
| |
| |
| Monism vs tolerance | |
| |
| |
| |
| Five doctrines | |
| |
| |
| |
| Tarski's project | |
| |
| |
| |
| Tarski as Intuitionistic Formalist | |
| |
| |
| |
| The early metamathematical works | |
| |
| |
| |
| Axiomatizing consequence | |
| |
| |
| |
| Relativization to a deductive science | |
| |
| |
| |
| Explicit definition | |
| |
| |
| |
| Defining definition | |
| |
| |
| |
| Two conceptions of definition | |
| |
| |
| |
| Padoa's method | |
| |
| |
| |
| Categoricity and completeness of terms | |
| |
| |
| |
| Provable monotransformability | |
| |
| |
| |
| Absolute monotransformability | |
| |
| |
| |
| Theory and concept | |
| |
| |
| |
| Semantics | |
| |
| |
| |
| Philosophical resistance | |
| |
| |
| |
| The quantifier | |
| |
| |
| |
| Paradox | |
| |
| |
| |
| Mathematical acceptance | |
| |
| |
| |
| Intuitionistic Formalism in "On Definable Sets" | |
| |
| |
| |
| The intuitive notion of definability | |
| |
| |
| |
| Defining definable sets vs defining "Defines" | |
| |
| |
| |
| Truth | |
| |
| |
| |
| Convention T | |
| |
| |
| |
| Terminological notes | |
| |
| |
| |
| Truth in the Lvov-Warsaw school | |
| |
| |
| |
| Semantic concepts in a mathematical theory | |
| |
| |
| |
| T-sentences | |
| |
| |
| |
| Tarski's definitions | |
| |
| |
| |
| Truth for the language of the calculus of classes | |
| |
| |
| |
| Higher order and polyadicity | |
| |
| |
| |
| Domain relativization and consequence | |
| |
| |
| |
| Evaluating Tarski's account | |
| |
| |
| |
| Familiar questions | |
| |
| |
| |
| Tarskian definitions and Tarski's "theory" | |
| |
| |
| |
| Reduction and physicalism | |
| |
| |
| |
| Correspondence and deflationism | |
| |
| |
| |
| Indefinability and Inconsistency | |
| |
| |
| |
| Indefinability | |
| |
| |
| |
| Indefinability before 1931 | |
| |
| |
| |
| Theorem I: textual issues | |
| |
| |
| |
| Theorem I and Intuitionistic Formalism | |
| |
| |
| |
| Axiomatic semantics | |
| |
| |
| |
| Inconsistency in everyday language | |
| |
| |
| |
| Inconsistent Kotarbinskian conventions | |
| |
| |
| |
| Tarski after Kotarbinski | |
| |
| |
| |
| Transitions: 1933-1935 | |
| |
| |
| |
| The 1935 postscript | |
| |
| |
| |
| Carnap on analyticity and truth | |
| |
| |
| |
| The establishment of scientific semantics | |
| |
| |
| |
| Logical Consequence | |
| |
| |
| |
| Tarski's definition | |
| |
| |
| |
| Synopsis | |
| |
| |
| |
| Objections to Tarski's account | |
| |
| |
| |
| Consequence in Logical Syntax | |
| |
| |
| |
| L-consequence and condition F | |
| |
| |
| |
| Tractarianism in the Vienna circle | |
| |
| |
| |
| The overgeneration problem and domain variation | |
| |
| |
| |
| Domain variation | |
| |
| |
| |
| Consequence in G�del's completeness theorem | |
| |
| |
| |
| Tarski's fixed domain | |
| |
| |
| |
| The modality problem and "Tarski's Fallacy" | |
| |
| |
| |
| Modalities | |
| |
| |
| |
| Consequence and truth | |
| |
| |
| |
| Tarski's "must" | |
| |
| |
| |
| The formality problem and the logical constants | |
| |
| |
| |
| Constant and consequence | |
| |
| |
| |
| Anachronistic readings | |
| |
| |
| |
| Carnap on formality | |
| |
| |
| |
| The �-rule and G�del sentences | |
| |
| |
| |
| Antitractarianism and the nature of logic | |
| |
| |
| |
| Evaluating Tarski's account | |
| |
| |
| |
| The analytic problem | |
| |
| |
| |
| Eliminating transformation rules | |
| |
| |
| |
| Epistemic and generality conceptions of logic | |
| |
| |
| |
| Conclusion | |
| |
| |
| |
| Paris 1935 and the reception of semantics | |
| |
| |
| |
| Final remarks | |
| |
| |
| Notes | |
| |
| |
| Bibliography | |
| |
| |
| Index | |