Descriptor Revision

Studia Logica 102 (5):955-980 (2014)
  Copy   BIBTEX

Abstract

A descriptor is a set of sentences that are truth-functional combinations of expressions of the form \ , where \ is a metalinguistic belief predicate and p a sentence in the object language in which beliefs are expressed. Descriptor revision ) is an operation of belief change that takes us from a belief set K to a new belief set \ where \ is a descriptor representing the success condition. Previously studied operations of belief change are special cases of descriptor revision, hence sentential revision can be represented as \ , contraction as \ , multiple contraction as \ , replacement as \ , etc. General models of descriptor revision are constructed and axiomatically characterized. The common selection mechanisms of AGM style belief change cannot be used, but they can be replaced by choice functions operating directly on the set of potential outcomes . The restrictions of this construction to sentential revision ) and sentential contraction give rise to operations with plausible properties that are also studied in some some detail

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,419

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

Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.
Resource-bounded belief revision and contraction.Mark Jago - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 141--154.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Foundational belief change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Belief revision in a temporal framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Transmission Failure, AGM Style.Jake Chandler - 2013 - Erkenntnis 78 (2):383-398.
Coherentist contraction.SvenOve Hansson - 2000 - Journal of Philosophical Logic 29 (3):315-330.

Analytics

Added to PP
2013-09-17

Downloads
34 (#346,015)

6 months
3 (#227,001)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sven Ove Hansson
Royal Institute of Technology, Stockholm

Citations of this work

Logic of belief revision.Sven Ove Hansson - 2008 - Stanford Encyclopedia of Philosophy.
Revising Probabilities and Full Beliefs.Sven Ove Hansson - 2020 - Journal of Philosophical Logic 49 (5):1005-1039.
Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals.Sven Hansson - 2016 - Journal of Philosophical Logic 45 (4):429-450.
A Monoselective Presentation of AGM Revision.Sven Ove Hansson - 2015 - Studia Logica 103 (5):1019-1033.

View all 13 citations / Add more citations

References found in this work

A Textbook of Belief Dynamics: Theory Change and Database Updating.Sven Ove Hansson - 1999 - Dordrecht and Boston: Kluwer Academic Publishers.
A Textbook of Belief Dynamics: Solutions to Exercises.Sven Ove Hansson - 1999 - Dordrecht, Netherland: Kluwer Academic Publishers.
Subjunctives, dispositions and chances.Isaac Levi - 1977 - Synthese 34 (4):423 - 455.
Theory contraction through base contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.

View all 10 references / Add more references