Formerly CIP Uk. - Includes bibliographical references and index. - Hier auch unveränderte Nachdrucke
201011
ISBN:
0-521-11581-7 hbk.
978-0-521-11581-0 (hbk.) £50.00
Mehr zum Titel:
Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism -- Reflection -- Ontological reduction -- Applying theories of truth.