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.

Categories

Keywords

Call number

Q175.32.T78.H35 2011

ISBN(s)

9780521115810   0521115817
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 84,292

External links

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

Through your library

My notes

Similar books and articles

Truth.Simon Blackburn & Keith Simmons (eds.) - 1999 - New York: Oxford University Press.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
Theories of truth and truth-value gaps.Philip Hugly & Charles Sayward - 1993 - Linguistics and Philosophy 16 (6):551 - 559.
Deflationism, Meaning and Truth-Conditions.Claire Horisk, Dorit Bar-On & William G. Lycan - 2000 - Philosophical Studies 101 (1):1 - 28.

Analytics

Added to PP
2009-01-28

Downloads
166 (#91,181)

6 months
3 (#247,840)

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.

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.
The concept of truth in formalized languages.Alfred Tarski - 1931 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
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