Search the Library Catalogue
Axiomatic theories of truth / (Record no. 174723)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02951nam a2200217Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250127b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781107424425 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 121 |
| Item number | HAL |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Author name | Halbach, Volker |
| 245 #0 - TITLE STATEMENT | |
| Title | Axiomatic theories of truth / |
| Statement of responsibility, etc. | Volker Halbach. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | New York: |
| Name of publisher, distributor, etc. | Cambridge university press, |
| Date of publication, distribution, etc. | 2014. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | ix, 350 p. |
| 500 ## - GENERAL NOTE | |
| General note | |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Part I FOUNDATIONS; 1 Definitional and axiomatic theories of truth; 2 Objects of truth; 3 Tarski; 4 Truth and set theory; 4.1 Definitions and axiomatizations; 4.2 Paradoxes and typing; 5 Technical preliminaries; 5.1 Peano arithmetic; 5.2 Truth and satisfaction; 5.3 Translations and the recursion theorem; 6 Comparing axiomatic theories of truth; Part II TYPED TRUTH; 7 Disquotation; 8 Classical compositional truth; 8.1 The conservativity of compositional truth; 8.2 Conservativity and model theory; 8.3 Nonstandard models; 8.4 Lachlan's theorem 8.5 Satisfaction classes and axiomatic theories of truth8.6 Compositional truth and elementary comprehension; 8.7 Positive truth; 9 Hierarchies; 9.1 Tarski's hierarchy axiomatized; 9.2 Illfounded hierarchies; Part III TYPE-FREE TRUTH; 10 Typed and type-free theories of truth; 11 Reasons against typing; 12 Axioms and rules; 13 Axioms for type-free truth; 14 Classical symmetric truth; 14.1 The Friedman-Sheard theory and revision semantics; 14.2 Proof theory of the Friedman-Sheard theory; 14.3 The Friedman-Sheard axiomatization; 14.4 Expressing necessitation via reflection 14.5 Without satisfaction15 Kripke-Feferman; 15.1 Fixed-point semantics; 15.2 Completeness and consistency; 15.3 Proof theory of the Kripke-Feferman system; 15.4 Extensions; 16 Axiomatizing Kripke's theory in partial logic; 16.1 Partial Kripke-Feferman; 16.2 Proof-theoretic analysis of partial Kripke-Feferman; 17 Grounded truth; 18 Alternative evaluation schemata; 19 Disquotation; 19.1 Maximal consistent sets of disquotation sentences; 19.2 Maximal conservative sets of disquotation sentences; 19.3 Positive disquotation; 19.4 The semantics of positive disquotation 19.5 Proof theory of positive disquotationPart IV WAYS TO THE TRUTH; 20 Classical logic; 20.1 The costs of nonclassical logic; 20.2 The internal logic of the Kripke-Feferman theory; 20.3 Expressive power in nonclassical logic; 20.4 Containing nonclassical logic; 21 Deflationism; 21.1 Disquotationalism; 21.2 Conservativity; 22 Reflection; 22.1 Reflection principles; 22.2 Reflective closure; 23 Ontological reduction; 24 Applying theories of truth; 24.1 Truth in natural language; 24.2 Extending schemata |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Truth. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | English Books |
| Koha item type | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Bill Number | Accession Number | Full call number | Withdrawn status | Lost status | Not for loan | Collection |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Reference | Kalaignar Centenary Library Madurai | Kalaignar Centenary Library Madurai | நான்காம் தளம் / Fourth floor | 29/05/2023 | 3841.00 | SINV00081/KML/CAMBRIDGE ONLINE | 340582 | 121 HAL | ENGLISH-REFERENCE BOOKS |