Review of Symbolic Logic 5 (4):642-664 (2012)

Authors
Leon Horsten
Universität Konstanz
Abstract
This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.
Keywords truth   revision theory   logic   set theory
Categories (categorize this paper)
DOI 10.1017/s175502031100030x
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,262
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Revision Theory of Truth.Vann Mcgee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
Reflecting on Incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.

View all 20 references / Add more references

Citations of this work BETA

Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Contraction and Revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.
Some Observations on Truth Hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.

View all 10 citations / Add more citations

Similar books and articles

Selective Revision.Eduardo L. Fermé & Sven Ove Hansson - 1999 - Studia Logica 63 (3):331-342.
A Paraconsistent Theory of Belief Revision.Edwin D. Mares - 2002 - Erkenntnis 56 (2):229 - 246.
On Revision Operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
Iterated Revision and Minimal Change of Conditional Beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.
Vagueness and Revision Sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.

Analytics

Added to PP index
2013-10-31

Total views
88 ( #123,988 of 2,455,770 )

Recent downloads (6 months)
1 ( #449,201 of 2,455,770 )

How can I increase my downloads?

Downloads

My notes