Stanford Encyclopedia of Philosophy (2008)

Authors
Volker Halbach
Oxford University
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.
Keywords Truth  Truth Mathematical models  Vérité  Vérité Modèles mathématiques
Categories (categorize this paper)
Call number Q175.32.T78.H35 2011
ISBN(s) 9780521115810   0521115817
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,178
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Saving Truth From Paradox.Hartry H. Field - 2008 - Oxford, England: 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.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.

View all 60 references / Add more references

Citations of this work BETA

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.
Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.

View all 79 citations / Add more citations

Similar books and articles

Truth.Simon Blackburn & Keith Simmons (eds.) - 1999 - Oxford, England: 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.
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.

Analytics

Added to PP index
2009-01-28

Total views
150 ( #71,872 of 2,455,022 )

Recent downloads (6 months)
9 ( #73,500 of 2,455,022 )

How can I increase my downloads?

Downloads

My notes