Skip to main content
SpringerLink
Log in

Revision Forever!

  • Conference paper
Conceptual Structures: Inspiration and Application (ICCS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4068))

Included in the following conference series:

Abstract

Revision is a method to deal with non-monotonic processes. It has been used in theory of truth as an answer to semantic paradoxes such as the liar, but the idea is universal and resurfaces in many areas of logic and applications of logic.

In this survey, we describe the general idea in the framework of pointer semantics and point out that beyond the formal semantics given by Gupta and Belnap, the process of revision itself and its behaviour may be the central features that allow us to model our intuitions about truth, and is applicable to a lot of other areas like belief, rationality, and many more.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bolander, T.: Self-Reference and Logic. Phi News 1, 9–44 (2002)

    Google Scholar 

  2. Bolander, T.: Logical Theories for Agent Introspection, PhD thesis, Technical University of Denmark (2003)

    Google Scholar 

  3. Boutilier, C., Friedman, N., Halpern, J.Y.: Belief revision with unreliable observations. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI- 1998), Madison, Wisconsin, Menlo Park, July 26-30, pp. 127–134 (1998)

    Google Scholar 

  4. Chapuis, A.: An application of circular definitions: Rational Decision, In: Löwe, B., Malzkorn, W., Räsch, T., (eds.), Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Rheinische Friedrich-Wilhelms-Universität Bonn, November 10-13, Dordrecht 2003 [Trends in Logic 17], pp. 47–54 (2000)

    Google Scholar 

  5. Cook, R.T.: Counterintuitive consequences of the revision theory of truth. Analysis 62, 16–22 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  6. Cook, R.T.: Still counterintuitive: a reply to Kremer, M., Intuitive consequences of the revision theory of truth. Analysis 63, 257–261 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  7. Field, H.: A revenge-immune solution to the semantic paradoxes. Journal of Philosophical Logic 32, 139–177 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  8. Gaifman, H.: Operational Pointer Semantics: Solution to Self-referential Puzzles I. In: Vardi, M. (ed.) Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988, pp. 43–59. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  9. Gaifman, H.: Pointers to Truth. Journal of Philosophy 89, 223–261 (1992)

    Article  MathSciNet  Google Scholar 

  10. Galliers, J.R.: Autonomous belief revision and communication. In: [Gä92], pp. 220–246

    Google Scholar 

  11. Gärdenfors, P. (ed.): Belief revision. Cambridge University Press, Cambridge (1992) (Cambridge Tracts in Theoretical Computer Science 29)

    Google Scholar 

  12. Gupta, A., Belnap, N.: The Revision Theory of Truth, Cambridge, MA (1993)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  14. Hansson, S.O.: A survey on non-prioritized belief revision. Erkenntnis 50, 413–427 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  15. Hansson, S.O., Fermé, E.L., Cantwell, J., Falappa, M.A.: Credibility limited revision. Journal of Symbolic Logic 66, 1581–1596 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  16. Herzberger, H.G.: Naive Semantics and the Liar Paradox. Journal of Philosophy 79, 479–497 (1982)

    Article  Google Scholar 

  17. Herzberger, H.G.: Notes on Naive Semantics. Journal of Philosophical Logic 11, 61–102 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  18. Kremer, M.: Intuitive consequences of the revision theory of truth. Analysis 62, 330–336 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  19. Kreutzer, S.: Partial Fixed-Point Logic on Infinite Structures. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol. 2471, pp. 337–351. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Kühnberger, K.-U., Löwe, B., Möllerfeld, M., Welch, P.: Comparing inductive and circular definitions: parameters, complexities and games. Studia Logica 81, 79–98 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  21. Liberatore, P.: The complexity of iterated belief revision. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 276–290. Springer, Heidelberg (1996)

    Google Scholar 

  22. Liberatore, P.: The complexity of belief update. Artificial Intelligence 119, 141–190 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  23. Löwe, B.: Revision sequences and computers with an infinite amount of time. Journal of Logic and Computation 11, pp. 25–40 (2001); also In: Wansing, H. (ed.), Essays on Non-Classical Logic, Singapore 2001 [Advances in Logic 1], pp. 37–59

    Google Scholar 

  24. Löwe, B.: Determinacy for infinite games with more than two players with preferences. ILLC Publication Series PP-2003-19

    Google Scholar 

  25. Löwe, B., Welch, P.D.: Set-Theoretic Absoluteness and the Revision Theory of Truth. Studia Logica 68, 21–41 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  26. Welch, P.D.: On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the Next Stable Set. Bulletin of Symbolic Logic 7, 345–360 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  27. Welch, P.D.: On Revision Operators. Journal of Symbolic Logic 68, 689–711 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  28. Welch, P.D.: Ultimate Truth vis à vis stable truth (preprint) (November 7, 2003)

    Google Scholar 

  29. Yablo, S.: Paradox without self-reference. Analysis 53, 251–252 (1993)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Logic, Language and Computation, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands

    Benedikt Löwe

Authors
  1. Benedikt Löwe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Communication and Psychology, Aalborg University,  

    Henrik Schärfe

  2. AIFB Institute, Universität Karlsruhe (TH), D-76128, Karlsruhe, Germany

    Pascal Hitzler

  3. Department of Communication, Aalborg University, Kroghstraede 3, 9220, Aalborg, Denmark

    Peter Øhrstrøm

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Löwe, B. (2006). Revision Forever!. In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds) Conceptual Structures: Inspiration and Application. ICCS 2006. Lecture Notes in Computer Science(), vol 4068. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11787181_3

Download citation

  • DOI: https://doi.org/10.1007/11787181_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35893-0

  • Online ISBN: 978-3-540-35902-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation