Title

Theories and Theories of Truth

Keywords

truth, axiomatic theories, Deflationism, Paul Horwich

Abstract

Formal theories, as in logic and mathematics, are sets of sentences closed under logical consequence. Philosophical theories, like scientific theories, are often far less formal. There are many axiomatic theories of the truth predicate for certain formal languages; on analogy with these, some philosophers (most notably Paul Horwich) have proposed axiomatic theories of the property of truth. Though in many ways similar to logical theories, axiomatic theories of truth must be different in several nontrivial ways. I explore what an axiomatic theory of truth would look like. Because Horwich’s is the most prominent, I examine his theory and argue that it fails as a theory of truth. Such a theory is adequate if, given a suitable base theory, every fact about truth is a consequence of the axioms of the theory. I show, using an argument analogous to Gödel’s incompleteness proofs, that no axiomatic theory of truth could ever be adequate. I also argue that a certain class of generalizations cannot be consequences of the theory.

Original Publication Citation

“Theories and Theories of Truth,” Metaphysica 12.1: 31–43.

Document Type

Article

Publication Date

2011-03-10

Publisher

Metaphysica

Language

English

College

Humanities

Department

Philosophy

University Standing at Time of Publication

Associate Professor

Link to Full Text

Share

COinS