Cofinally Invariant Sequences and Revision

Studia Logica 103 (3):599-622 (2015)
  Copy   BIBTEX

Abstract

Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 as the main mathematical tool for developing their respective revision theories of truth. We generalise revision sequences to the notion of cofinally invariant sequences, showing that several known facts about Herzberger’s and Gupta’s theories also hold for this more abstract kind of sequences and providing new and more informative proofs of the old results.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-014-9581-0

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Vagueness and revision sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
Set-theoretic absoluteness and the revision theory of truth.Benedikt Löwe & Philip D. Welch - 2001 - Studia Logica 68 (1):21-41.
On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.
On revision operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Incomplete descriptions and (reverse) Sobel sequences.Mirja Annalena Holst - 2013 - Analysis 73 (1):26-32.
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Extending OpenMath with Sequences.Fulya Horozal, Florian Rabe & Michael Kohlhase - unknown
Subjective probability revision and subsequent decisions.Lee R. Beach & James A. Wise - 1969 - Journal of Experimental Psychology 81 (3):561.
Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Similarity among nucleotides sequences.Feng Shi & Zhongxi Mo - 2002 - Acta Biotheoretica 50 (2):95-99.
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.

Analytics

Added to PP
2014-09-21

Downloads
37 (#417,544)

6 months
8 (#341,144)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edoardo Rivello
Università di Torino

Citations of this work

Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Designing Paradoxes: A Revision-theoretic Approach.Ming Hsiung - 2022 - Journal of Philosophical Logic 51 (4):739-789.

Add more citations

References found in this work

Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
Truth and Paradox.Anil Gupta - 1981 - Journal of Philosophy 78 (11):735-736.
The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
Gupta's rule of revision theory of truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.

View all 14 references / Add more references