Revision Revisited

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

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

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
2013-10-31

Downloads
109 (#156,578)

6 months
13 (#165,103)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Leon Horsten
Universität Konstanz
Hannes Leitgeb
Ludwig Maximilians Universität, München

Citations of this work

Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Some observations on truth hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.

View all 13 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.

View all 20 references / Add more references