Skip to main content
SpringerLink
Log in

Cofinally Invariant Sequences and Revision

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 (independently) 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Belnap N.: Gupta’s rule of revision theory of truth. Journal of Philosophical Logic 11, 103–116 (1982)

    Article  Google Scholar 

  2. Burgess J.P.: The truth is never simple. The Journal of Symbolic Logic 51(3), 663–681 (1986)

    Article  Google Scholar 

  3. Chapuis, A., An application of circular definitions: Rational decision, in Foundations of the Formal Sciences II, Springer, Berlin, 2003, pp. 47–54.

  4. Ghosh, S., B. Löwe, and E. Scorelle, Belief flow in assertion networks, in S. Polovina, et al., (eds.), Conceptual Structures: Knowledge Architecture for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22–27, 2007, vol. 4604 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2007, pp. 401–414.

  5. Gupta A.: Truth and paradox. Journal of Philosophical Logic 11(1), 1–60 (1982)

    Article  Google Scholar 

  6. Gupta, A., and N. Belnap, The Revision Theory of Truth, A Bradford Book, MIT Press, Cambridge, MA, 1993.

  7. Hamkins J. D., Lewis A.: Infinite time turing machines. Journal of Symbolic Logic 65(2), 567–604 (2000)

    Article  Google Scholar 

  8. Herzberger H. G.: Notes on naive semantics. Journal of Philosophical Logic 11(1), 61–102 (1982)

    Article  Google Scholar 

  9. Koepke P.: Turing computations on ordinals. The Bulletin of Symbolic Logic 11, 377–397 (2005)

    Article  Google Scholar 

  10. Kühnberger, K.-U., et al., ‘Comparing Inductive and Circular Definitions: Parameters, Complexity and Games’, Studia Logica 81:79–98, 2005.

  11. Kuratowski, K., and A. Mostowski, Set Theory. With an Introduction to Descriptive Set Theory, North-Holland, 1976. Second, 1976, completely revised edition.

  12. Lévy, A., Basic Set Theory, Springer, Berlin, 1979.

  13. Löwe B., Welch P.D.: Set-theoretic absoluteness and the Revision theory of truth. Studia Logica 68(1), 21–41 (2001)

    Article  Google Scholar 

  14. McGee, V., Truth, Vagueness, and Paradox: An Essay on the Logic of Truth, Hackett Publishing Company, Indianapolis, Cambridge, 1991.

  15. Orilia F.: Meaning and circular definitions. Journal of Philosophical Logic 2(2), 155–169 (2000)

    Article  Google Scholar 

  16. Sierpiński, W., Cardinal and Ordinal Numbers, 2nd edn. rev., PWN-Polish Scientific Publishers, Warszawa, 1965.

  17. Visser, A., Semantics and the liar paradox, in Handbook of Philosophical Logic, vol. 4, Kluwer Academic Publishers, New York, 1989.

  18. Visser, A., Semantics and the liar paradox, in Handbook of Philosophical Logic, vol. 11, Kluwer Academic Publishers, New York, 2004, 2nd edn. of [17].

  19. Welch, P. D., On Gupta–Belnap revision theories of truth, Kripkean fixed points, and the next stable set, The Bulletin of Symbolic Logic 7(3):345–360, 2001.

  20. Welch P.D.: On revision operators. The Journal of Symbolic Logic 68(2), 689–711 (2008)

    Article  Google Scholar 

  21. Yaqub, A. M., The Liar Speaks the Truth. A Defense of the Revision Theory of Truth, Oxford University Press, New York, Oxford, 1993.

Download references

Author information

Authors and Affiliations

  1. Mathematical Department, Università di Torino, Via Carlo Alberto, 10, Turin, Italy

    Edoardo Rivello

Authors
  1. Edoardo Rivello
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Edoardo Rivello.

Additional information

Presented by Richmond Thomason

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rivello, E. Cofinally Invariant Sequences and Revision. Stud Logica 103, 599–622 (2015). https://doi.org/10.1007/s11225-014-9581-0

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-014-9581-0

Keywords

Search

Navigation