Axiomatic theories of truth

Stanford Encyclopedia of Philosophy (2008)
  Copy   BIBTEX

Abstract

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism -- Reflection -- Ontological reduction -- Applying theories of truth.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
210 (#97,547)

6 months
39 (#112,575)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Volker Halbach
Oxford University

Citations of this work

HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
Deflationism about Truth.Bradley Armour-Garb, Daniel Stoljar & James Woodbridge - 2021 - Stanford Encyclopedia of Philosophy.

View all 111 citations / Add more citations

References found in this work

Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..

View all 60 references / Add more references