Preface |
|
viii | |
Part I Foundations |
|
1 | (48) |
|
1 Definitional and axiomatic theories of truth |
|
|
3 | (6) |
|
|
9 | (6) |
|
|
15 | (10) |
|
|
25 | (4) |
|
4.1 Definitions and axiomatizations |
|
|
25 | (2) |
|
|
27 | (2) |
|
5 Technical preliminaries |
|
|
29 | (10) |
|
|
29 | (6) |
|
5.2 Truth and satisfaction |
|
|
35 | (1) |
|
5.3 Translations and the recursion theorem |
|
|
36 | (3) |
|
6 Comparing axiomatic theories of truth |
|
|
39 | (10) |
Part II Typed truth |
|
49 | (86) |
|
|
53 | (10) |
|
8 Classical compositional truth |
|
|
63 | (60) |
|
8.1 The conservativity of compositional truth |
|
|
68 | (14) |
|
8.2 Conservativity and model theory |
|
|
82 | (1) |
|
|
83 | (6) |
|
|
89 | (9) |
|
8.5 Satisfaction classes and axiomatic theories of truth |
|
|
98 | (3) |
|
8.6 Compositional truth and elementary comprehension |
|
|
101 | (15) |
|
|
116 | (7) |
|
|
123 | (12) |
|
9.1 Tarski's hierarchy axiomatized |
|
|
125 | (4) |
|
9.2 Illfounded hierarchies |
|
|
129 | (6) |
Part III Type-free truth |
|
135 | (152) |
|
10 Typed and type-free theories of truth |
|
|
140 | (6) |
|
11 Reasons against typing |
|
|
146 | (3) |
|
|
149 | (3) |
|
13 Axioms for type-free truth |
|
|
152 | (7) |
|
14 Classical symmetric truth |
|
|
159 | (36) |
|
14.1 The Friedman-Sheard theory and revision semantics |
|
|
162 | (13) |
|
14.2 Proof theory of the Friedman-Sheard theory |
|
|
175 | (10) |
|
14.3 The Friedman-Sheard axiomatization |
|
|
185 | (3) |
|
14.4 Expressing necessitation via reflection |
|
|
188 | (4) |
|
14.5 Without satisfaction |
|
|
192 | (3) |
|
|
195 | (33) |
|
15.1 Fixed-point semantics |
|
|
202 | (10) |
|
15.2 Completeness and consistency |
|
|
212 | (5) |
|
15.3 Proof theory of the Kripke-Feferman system |
|
|
217 | (8) |
|
|
225 | (3) |
|
16 Axiomatizing Kripke's theory in partial logic |
|
|
228 | (29) |
|
16.1 Partial Kripke-Feferman |
|
|
231 | (13) |
|
16.2 Proof-theoretic analysis of partial Kripke-Feferman |
|
|
244 | (13) |
|
|
257 | (6) |
|
18 Alternative evaluation schemata |
|
|
263 | (4) |
|
|
267 | (20) |
|
19.1 Maximal consistent sets of disquotation sentences |
|
|
267 | (5) |
|
19.2 Maximal conservative sets of disquotation sentences |
|
|
272 | (2) |
|
19.3 Positive disquotation |
|
|
274 | (3) |
|
19.4 The semantics of positive disquotation |
|
|
277 | (3) |
|
19.5 Proof theory of positive disquotation |
|
|
280 | (7) |
Part IV Ways to the truth |
|
287 | (56) |
|
|
289 | (17) |
|
20.1 The costs of nonclassical logic |
|
|
291 | (4) |
|
20.2 The internal logic of the Kripke-Feferman theory |
|
|
295 | (5) |
|
20.3 Expressive power in nonclassical logic |
|
|
300 | (3) |
|
20.4 Containing nonclassical logic |
|
|
303 | (3) |
|
|
306 | (16) |
|
|
307 | (5) |
|
|
312 | (10) |
|
|
322 | (8) |
|
22.1 Reflection principles |
|
|
322 | (4) |
|
|
326 | (4) |
|
|
330 | (3) |
|
24 Applying theories of truth |
|
|
333 | (10) |
|
24.1 Truth in natural language |
|
|
333 | (2) |
|
|
335 | (8) |
Index of systems |
|
343 | (2) |
Bibliography |
|
345 | (12) |
Index |
|
357 | |