Axiomatic theories of truth
By: Volker Halbach
Publisher: Cambridge University Press
Published: 2011
Place of publication: Cambridge; New York
Language: eng
Number of pages: 364
ISBN-13: 9780521115810
Subjects: Mathematical models; Vérité; Modèles mathématiques; Truth
Notes: Includes bibliographical references (p. 345-356) and index.
Table of contents: title: Definitional and axiomatic theories of truth; title: Objects of truth; title: Tarski; title: Truth and set theory; title: Technical preliminaries; title: Comparing axiomatic theories of truth; title: Disquotation; title: Classical compositional truth; title: Hierarchies; title: Typed and type-free theories of truth; title: Reasons against typing; title: Axioms and rules; title: Axioms for type-free truth; title: Classical symmetric truth; title: Kripke-Feferman; title: Axiomatizing Kripke's theory in partial logic; title: Grounded truth; title: Alternative evaluation schemata; title: Disquotation; title: Classical logic; title: Deflationism; title: Reflection; title: Ontological reduction; title: Applying theories of truth.