Preface; 1. Foundations; 2. Typed truth; 3. Type-free truth; 4. Ways to the truth; 5. Index of systems; Bibliography; Index.
A survey of the most important axiomatizations of truth, exploring their properties and how the logical results impinge on philosophical topics.
Volker Halbach is a Reader in Philosophy at Oxford University and a Fellow of New College.