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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

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

Ultimate truth vis- à- vis stable truth.P. D. Welch - 2008 - Review of Symbolic Logic 1 (1):126-142.
On revision operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
On the probabilistic convention T.Hannes Leitgeb - 2008 - Review of Symbolic Logic 1 (2):218-224.

Analytics

Added to PP
2013-10-31

Downloads
139 (#160,081)

6 months
21 (#139,367)

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

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

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.
On Representing True-in-L'in L Robert L. Martin and Peter W. Woodruff.Robert L. Martin - 1984 - In Robert Lazarus Martin (ed.), Recent essays on truth and the liar paradox. New York: Oxford University Press. pp. 47.

View all 19 references / Add more references