Professor Volker Halbach
University of Oxford
Professor, Philosophy
United Kingdom
My co-authors include
Albert Visser
My Publications
SELF-REFERENCE IN ARITHMETIC I
The Review of Symbolic Logic
October 2014
SELF-REFERENCE IN ARITHMETIC II
The Review of Symbolic Logic
October 2014
The Henkin Sentence
January 2014
ON THE BENEFITS OF A REDUCTION OF MODAL PREDICATES TO MODAL OPERATORS
December 2009
REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
The Review of Symbolic Logic
December 2009
Axiomatic Theories of Truth
January 2009
JEM Spotlight: Metal speciation related to neurotoxicity in humans
Journal of Environmental Monitoring
January 2009
On a side effect of solving Fitch's paradox by typing knowledge
Analysis
April 2008
How not to state T-sentences
Analysis
October 2006
Axiomatizing Kripke's theory of truth
Journal of Symbolic Logic
June 2006
Reflections On Frege And Hilbert
Synthese
October 2005
Principles of Truth
January 2004
Benedikt Löwe and Philip Welch. Set-theoretic absoluteness and the revision theory. Stu...
Bulletin of Symbolic Logic
June 2003
Possible-Worlds Semantics for Modal Notions Conceived as Predicates
Journal of Philosophical Logic
April 2003
Principles of Truth
January 2003
Can we Grasp Consistency?
January 2003
Induction Rules, Reflection Principles, and Provably Recursive Functions
Bulletin of Symbolic Logic
June 2002
Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive func...
Bulletin of Symbolic Logic
June 2002
Disquotational truth and analyticity
Journal of Symbolic Logic
December 2001
Two Proof-Theoretic Remarks on EA + ECT
Mathematical Logic Quarterly
October 2000
Tarskian and Kripkean truth
Journal of Philosophical Logic
February 1997
Tarski hierarchies
Erkenntnis
November 1995
A System of Complete and Consistent Truth
January 1994
Tarski
Preface
Disquotation
Hierarchies
Disquotation
Deflationism
Reflection
Bibliography
Preface
Modalized Disquotationalism
Classical Symmetric Truth
Definitional and axiomatic theories of truth
Objects of truth
Truth and set theory
Technical preliminaries
Comparing axiomatic theories of truth
Typed truth
Classical compositional truth
Typed and type-free theories of truth
Axioms for type-free truth
Kripke–Feferman
Axiomatizing Kripke's theory in partial logic
Grounded truth
Classical logic
Classical symmetric truth
Alternative evaluation schemata
Reasons against typing
Axioms and rules
`Contemporary Methods for Investigating the Concept of Truth – An Introduction
Modalized Disquotationalism
Preface
Contemporary Methods for Investigating the Concept of Truth An Introduction