Volker Halbach

home contact publications teaching Logic Manual Luxemburger Zirkel Philosophy of Mathematics seminar



The Definition of Logical Consequence

The Road to Paradox: A Guide to Syntax, Truth, and Modality (with Graham Leigh), draft, to appear with Cambridge University Press 2024

Axiomatic Theories of Truth, Cambridge University Press, 2011

The Logic Manual, Oxford University Press, 2010

Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin, 1996


Unrestricted Quantification and Logical Constants, to appear in the Journal for the Philosophy of Mathematics

Classical Determinate Truth I (with Kentaro Fujimoto), Journal of Symbolic Logic 89 (2024), 218 - 261 • DOI

Varieties of Self-Reference in Metamathematics (with Balthasar Grabmayr and Lingyuan Ye), Journal of Philosophical Logic 52 (2023), 1005–1052 • DOI

Self-Referential Gettier Sentences (with Leon Horsten), in Paradoxes Between Truth and Proof, Mattia Petrolo and Giorgio Venturi (eds), Synthese Library, Springer, to appear • submitted version

The Fourth Grade of Modal Involvement, in Modes of Truth: The Unified Approach to Modality, Truth, and Paradox, Carlo Nicolai and Johannes Stern (eds.), Routledge, 2021, 209–230

Formal Notes on the Substitutional Analysis of Logical Consequence, Notre Dame Journal of Formal Logic 61 (2020), 317–339 • DOIsubmitted version

The Substitutional Analysis of Logical Consequence, Noûs 54 (2020), 431–450 •DOIsubmitted version

On the Costs of Nonclassical Logic (with Carlo Nicolai), Journal of Philosophical Logic 47 (2018), 227–257 • submitted version

The Axiomatic Approach to Truth (with Kentaro Fujimoto), in Handbook of Truth, Michael Glanzberg (ed.), Oxford University Press, 2018, 718–738

Feferman and the Truth (with Andrea Cantini and Kentaro Fujimoto), in Feferman on Foundations: Logic, Mathematics, Philosophy, Gerhard Jäger & Wilfried Sieg (eds.), Springer 2017, 287–314

Yablo without Gödel (with Shuoying Zhang), Analysis 77 (2017), 53–59 • submitted version

Prolegomena zu einer jeden künftigen Definition von Wissen, die als Lösung des Gettierproblems wird auftreten können, in Von Rang und Namen: Essays in Honour of Wolfgang Spohn, Wolfgang Freitag, Hans Rott, Holger Sturm & Alexandra Zinke (eds.), Mentis 2016, 147–172

The Root of Evil: A Self-Referential Play in One Act, in Liber Amicorum Alberti: A Tribute to Albert Visser, Jan van Eijck, Rosalie Iemhoff, Joost J. Joosten (eds.), Tributes vol. 30, College Publications London, 2016, 155–163 • submitted version

Axiomatizing Semantic Theories of Truth? (with Martin Fischer, Jönne Speck and Johannes Stern), Review of Symbolic Logic 8 (2015), 257-278submitted version

Norms for Reflexive Theories of Truth (with Leon Horsten), in Unifying the Philosophy of Truth, Dora Achourioti, José Martínez Fernández, Henri Galinon, Kentaro Fujimoto (eds), Logic, Epistemology, and the Unity of Science vol. 36, Springer, Dordrecht, 2015, 263-280

Self-Reference in Arithmetic I (with Albert Visser), Review of Symbolic Logic 7 (2014), 671-691 preprint containing both parts

Self-Reference in Arithmetic II (with Albert Visser), Review of Symbolic Logic 7 (2014), 692-712 preprint containing both parts

The Henkin Sentence (with Albert Visser), The Life and Work of Leon Henkin (Essays on His Contributions), María Manzano, Ildikó Sain and Enrique Alonso (eds), Studies in Universal Logic, Birkhäuser, Basel, 2014, 249-264 preprint

Truth and Paradox (with Leon Horsten), in Continuum Companion to Philosophical Logic, Leon Horsten and Richard Pettigrew (eds), Continuum Press, 2011, 351-382

Reducing Compositional to Disquotational Truth, Review of Symbolic Logic 2 (2009), 786-798

On the Benefits of a Reduction of Modal Predicates to Modal Operators, in Reduction - Abstraction - Analysis, proceedings of the 31st International Wittgenstein Symposium Kirchberg, Ontos Verlag, Heusenstamm bei Frankfurt a.M, 2009, 323-333.

Necessities and Necessary Truths: A Prolegomenon to the Metaphysics of Modality (with Philip Welch), Mind 118 (2009), 71-100

On a Side Effect of Solving Fitch's Paradox by Typing Knowledge, Analysis 68 (2008), 114-120

How not to state the T-sentences, Analysis 66 (2006), 276-280 • The paper was converted by the journal into Word and then printed with errors introduced in the process without showing me the proofs. This necessitated a correction in vol. 67, 268download as pdf file

Teorie assiomatiche della verità, Enciclopedia filosofica, Bompiani, 2006

Teorie revisioniste della verità, Enciclopedia filosofica, Bompiani, 2006

Axiomatizing Kripke’s Theory of Truth (with Leon Horsten), Journal of Symbolic Logic 71 (2006), 677-712

Axiomatic Theories of Truth, The Stanford Encyclopedia of Philosophy (Spring 2006 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/spr2006/entries/truth-axiomatic/>

The Deflationists Axioms for Truth (with Leon Horsten), in Deflationism and Paradox, JC Beall and Brad Armour-Garb (eds.), Oxford University Press, 2005, 203-217

Possible Worlds Semantics for Predicates (with Hannes Leitgeb and Philip Welch), in Intensionality, Reinhard Kahle (ed.), Lecture Notes in Logic 22, Association of Symbolic Logic, A K Peters, Wellesley, 2005, 20-41

Computational Structuralism (with Leon Horsten), Philosophia Mathematica 13 (2005), 174-186

Wahrheit, in Logik in der Philosophie, Peter Schröder-Heister, Wolfgang Spohn and Erik J.Olsson (eds.), Synchron, Heidelberg, 2005, 227-245

Bealers Masterargument: ein Lehrstück zum Verhältnis von Metaphysik und Semantik (with Holger Sturm), Facta Philosophica 6 (2004), 97-110

Axiomatische Theorien der Wahrheit und wahrheitstheoretischer Deflationismus, Information Philosophie 31 (2003), 62-68

Can We Grasp Consistency?, in The Epistemology of Keith Lehrer, Erik Olsson (ed.), Philosophical Studies Series 95, Kluwer, Dordrecht, 2003, 75-87

Possible Worlds Semantics for Modal Notions Conceived as Predicates (with Hannes Leitgeb and Philip Welch), Journal of Philosophical Logic 32 (2003), 179-223

War Descartes erkenntnistheoretischer Voluntarist?, Zeitschrift für philosophische Forschung 56 (2002), 545-562

Modalized Disquotationalism, in Principles of Truth, Volker Halbach & Leon Horsten (eds.), Dr. Hänsel-Hohenhausen, Frankfurt a.M., 2002, 75-101

Recent Developments in the Theory of Truth (with Leon Horsten), in Principles of Truth, Volker Halbach & Leon Horsten, Hänsel-Hohenhausen, Frankfurt a.M., 2002, 11-35

Disquotational Truth and Analyticity, Journal of Symbolic Logic 66 (2001), 1959-1973

Editorial Introduction to the special issue Methods for Investigating Self-Referential Truth of Studia Logica 68 (2001), 3-20

How Innocent is Deflationism?, Synthese 126 (2001), 167-194

Disquotationalism Fortified,  in Circularity, Definitions, and Truth, Anil Gupta und Andre Chapuis (eds.), Indian Council of Philosophical Research, New Delhi, 2000, 155-176

Truth and Reduction, Erkenntnis 53 (2000), 97-126

Two proof-theoretic remarks on EA+ECT (with Leon Horsten), Mathematical Logic Quarterly 46 (2000), 461-466

Kohärenz und Paradox, in Die Zukunft des Wissens, Jürgen Mittelstraß (ed.), Universitätsverlag Konstanz, 1999, 607-613

Der Preis der Wahrheit (Kurzfassung), in Die Zukunft des Wissens, Jürgen Mittelstraß (ed.), Universitätsverlag Konstanz, 1999, 427-434

On Lehrer’s Principle of Trustworthiness, Erkenntnis 50 (1999), 259-272

Preface to the special volume Coherence and Dynamics of Belief (with Erik Olsson), Erkenntnis 50 (1999), 149-153

Disquotationalism and Infinite Conjunctions, Mind 108 (1999), 1-22

Conservative theories of classical truth, Studia Logica 62 (1999), 353-370

Classical symmetric truth, in the proceedings volume Perspectives in Analytical Philosophy vol.1, Meggle, G. and Steinacker, P. (eds.), de Gruyter, 1997, 87-92

Tarskian and Kripkean truth, Journal of Philosophical Logic 26 (1997), 69-80

Tarski-hierachies, Erkenntnis 43 (1996), pp. 339-367

A system of complete and consistent truth, Notre Dame Journal of Formal Logic 35 (1994), 311-327


Semantics and Deflationism, unpublished habilitation thesis, 2001

Tarski-Hierarchien, Ph.D. thesis, Centrum für Informations- und Sprachverarbeitung, München, 1994


special issue Reflections on Frege and Hilbert (with Bernd Buldt and Reinhard Kahle), Synthese 147 (2005)

book series logos (with Alexander Hieke, Hannes Leitgeb and Holger Sturm), Ontos Verlag, since 2002

Principles of Truth (with Leon Horsten), Ontos-Verlag 2002

special issue Methods for Investigating Self-Referential Truth, Studia Logica 68 (1), 2001

special issue Coherence and Dynamics of Belief (with Erik Olsson), Erkenntnis 50, 1999 (2-3), double issue