Journal of Philosophical Logic 50 (4):615-671 (2021)

Kremer presented three approaches of comparing fixed-point and revision theories of truth in Kremer, 363–403, 2009). Using these approaches, he established the relationships among ten fixed-point theories suggested by Kripke in, 690–716, 1975) and three revision theories presented by Gupta and Belnap in. This paper continues Kremer’s work. We add five other revision theories to the comparisons, including the theory proposed by Gupta in, 1–60, 1982), the theory proposed by Herzberger in, 61–102, 1982), the theory based on fully-varied revision sequences proposed by Gupta and Belnap in, the theory proposed by Yaqūb in, and the theory based on weakly consistent revision sequences. We show that, the notion of Thomason model defined by Belnap’s limit rule is not equivalent to the one defined by Gupta’s limit rule, and that the theory based on fully-varied revision sequences is ≤2-equivalent to the one based on the greatest intrinsic fixed point of σ.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-020-09580-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,579
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

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
How Truth Behaves When There’s No Vicious Reference.Philip Kremer - 2010 - Journal of Philosophical Logic 39 (4):345-367.
Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.
Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.
Circularity, Truth, and the Liar Paradox.Andre Chapuis - 1993 - Dissertation, Indiana University
Vagueness and Revision Sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
What's in a Function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.
Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
On Revision Operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
Still Counterintuitive: A Reply to Kremer.Roy T. Cook - 2003 - Analysis 63 (3):257–261.
Remarks on a Foundationalist Theory of Truth. [REVIEW]Anil Gupta - 2006 - Philosophy and Phenomenological Research 73 (3):721–727.
Remarks on a Foundationalist Theory of Truth.Anil Gupta - 2006 - Philosophy and Phenomenological Research 73 (3):721-727.


Added to PP index

Total views
15 ( #682,703 of 2,461,803 )

Recent downloads (6 months)
6 ( #119,213 of 2,461,803 )

How can I increase my downloads?


My notes