Volker Halbach is a contemporary analytic philosopher at the University of Oxford specializing in philosophical logic, formal theories of truth, and the philosophy of language. He is best known for his systematic treatment of axiomatic truth theories and his sustained arguments against deflationary accounts of truth. His work examines how truth predicates function in formal systems and what explanatory work the concept of truth can and cannot do.
Authored Axiomatic Theories of Truth (Cambridge University Press, 2011), a defining reference in the field
Developed and compared axiomatic systems for truth including KF (Kripke-Feferman) and related theories
Argued that deflationism about truth fails to support legitimate explanatory and scientific uses of the truth predicate
Contributed to formal analysis of self-reference, paradox, and the limits of truth-theoretic frameworks
Co-authored influential work on the relationship between truth and arithmetic provability