Muutke küpsiste eelistusi

Axiomatic Theories of Truth [Kõva köide]

(University of Oxford)
  • Formaat: Hardback, 376 pages, kõrgus x laius x paksus: 255x180x23 mm, kaal: 900 g
  • Ilmumisaeg: 06-Jan-2011
  • Kirjastus: Cambridge University Press
  • ISBN-10: 0521115817
  • ISBN-13: 9780521115810
Teised raamatud teemal:
  • Formaat: Hardback, 376 pages, kõrgus x laius x paksus: 255x180x23 mm, kaal: 900 g
  • Ilmumisaeg: 06-Jan-2011
  • Kirjastus: Cambridge University Press
  • ISBN-10: 0521115817
  • ISBN-13: 9780521115810
Teised raamatud teemal:
At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate and professional philosopher in theories of truth.

Arvustused

' the first book-length study wholly devoted to its topic, and will be indispensable both to those already at work on axiomatic theories of truth and to students seeking to enter the field.' Studia Logica

Muu info

A survey of the most important axiomatizations of truth, exploring their properties and how the logical results impinge on philosophical topics.
Preface viii
Part I Foundations 1(48)
1 Definitional and axiomatic theories of truth
3(6)
2 Objects of truth
9(6)
3 Tarski
15(10)
4 Truth and set theory
25(4)
4.1 Definitions and axiomatizations
25(2)
4.2 Paradoxes and typing
27(2)
5 Technical preliminaries
29(10)
5.1 Peano arithmetic
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)
7 Disquotation
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)
8.3 Nonstandard models
83(6)
8.4 Lachlan's theorem
89(9)
8.5 Satisfaction classes and axiomatic theories of truth
98(3)
8.6 Compositional truth and elementary comprehension
101(15)
8.7 Positive truth
116(7)
9 Hierarchies
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)
12 Axioms and rules
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)
15 Kripke-Feferman
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)
15.4 Extensions
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)
17 Grounded truth
257(6)
18 Alternative evaluation schemata
263(4)
19 Disquotation
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)
20 Classical logic
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)
21 Deflationism
306(16)
21.1 Disquotationalism
307(5)
21.2 Conservativity
312(10)
22 Reflection
322(8)
22.1 Reflection principles
322(4)
22.2 Reflective closure
326(4)
23 Ontological reduction
330(3)
24 Applying theories of truth
333(10)
24.1 Truth in natural language
333(2)
24.2 Extending schemata
335(8)
Index of systems 343(2)
Bibliography 345(12)
Index 357
Volker Halbach is a Reader in Philosophy at Oxford University and a Fellow of New College.