Professor Volker Halbach

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