Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzberg, and Ripley explain key logical techniques on which such formal theories rely, providing the formal and logical background needed to develop formal theories of truth. They examine the most important truth-theoretic paradoxes, including the Liar paradoxes. They explore approaches that keep principles of truth simple while relying on nonclassical logic; approaches that preserve classical logic but do so by complicating the principles of truth; and approaches based on substructural logics that change the shape of the target consequence relation itself. Finally, inconsistency and revision theories are reviewed, and contrasted with the approaches previously discussed. For any reader who has a basic grounding in logic, this book offers an ideal guide to formal theories of truth.
Recenzijos
elegantly organized, lively and engaging. * Peter Smith, Logic Matters blog *
| Preface |
|
ix | |
| Acknowledgments |
|
xi | |
|
|
|
1 | (5) |
|
1.1 Our goals in the book |
|
|
3 | (1) |
|
1.2 Basic structure of discussion |
|
|
4 | (2) |
|
2 Truth-Theoretic Paradoxes: A Select Sampling |
|
|
6 | (10) |
|
|
|
6 | (3) |
|
|
|
9 | (1) |
|
|
|
10 | (1) |
|
|
|
11 | (1) |
|
|
|
11 | (2) |
|
|
|
13 | (1) |
|
2.7 On paradoxes beyond the Liar |
|
|
14 | (2) |
|
|
|
16 | (8) |
|
|
|
16 | (7) |
|
|
|
23 | (1) |
|
4 Preliminaries and Technicalities |
|
|
24 | (14) |
|
4.1 Truth and satisfaction |
|
|
24 | (2) |
|
4.2 Talking about the language |
|
|
26 | (8) |
|
4.3 Compositional principles |
|
|
34 | (1) |
|
4.4 Consequence relations |
|
|
35 | (3) |
|
5 Nonclassical logic: Unrestricted Capture-Release |
|
|
38 | (25) |
|
5.1 Kleene--Kripke models |
|
|
40 | (5) |
|
|
|
45 | (7) |
|
|
|
52 | (4) |
|
|
|
56 | (7) |
|
6 Classical Logic: Restricted Capture--Release |
|
|
63 | (31) |
|
|
|
63 | (1) |
|
6.2 Tarski's hierarchy of languages |
|
|
64 | (6) |
|
6.3 Proof theory for self-applicative truth |
|
|
70 | (6) |
|
6.4 Model theory for classical truth |
|
|
76 | (4) |
|
6.5 Contextualist approaches |
|
|
80 | (12) |
|
6.6 Determinacy revisited |
|
|
92 | (2) |
|
7 Digging Beneath the Structure |
|
|
94 | (15) |
|
|
|
94 | (1) |
|
|
|
95 | (5) |
|
|
|
100 | (1) |
|
|
|
101 | (3) |
|
|
|
104 | (5) |
|
8 Other Directions: Revision and Inconsistency |
|
|
109 | (10) |
|
|
|
109 | (6) |
|
8.2 The revision theory of truth |
|
|
115 | (4) |
|
|
|
119 | (2) |
| Bibliography |
|
121 | (12) |
| Name Index |
|
133 | (3) |
| General Index |
|
136 | |
Jc Beall is Board of Trustees Distinguished Professor of Philosophy at the University of Connecticut and Professor of Philosophy at the University of Tasmania. He is the author of Spandrels of Truth (2009) and co-author of Logical Pluralism (2005), both published by OUP.
Michael Glanzberg is Professor of Philosophy at Northwestern University, having previously taught at MIT, the University of Toronto, and the University of California, Davis. He works in the areas of philosophy of language, logic, and metaphysics. He is the editor of the Oxford Handbook of Truth (2018).
David Ripley is Lecturer in Philosophy at Monash University, Australia, having previously been Associate Professor of Philosophy at the University of Connecticut. He works mainly on logic and the philosophy of language, with special attention to the relations between logic and language, and what we can learn about these relations by studying paradoxes of truth, validity, and vagueness.
Daugiau apie elektronines knygas