Constructive Modelings for Theory Change

Notre Dame Journal of Formal Logic 36 (1):120-133 (1995)
Abstract
Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates which appear to capture much of what is required of any rational system of theory revision. This set of postulates describes a class of revision functions, however it does not provide a constructive way of defining such a function. There are two principal constructions of revision functions, namely an epistemic entrenchment and a system of spheres. We refer to their approach as the AGM paradigm. We provide a new constructive modeling for a revision function based on a nice preorder on models, and furthermore we give explicit conditions under which a nice preorder on models, an epistemic entrenchment, and a system of spheres yield the same revision function. Moreover, we provide an identity which captures the relationship between revision functions and update operators (as defined by Katsuno and Mendelzon)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,337
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

No references found.

Citations of this work BETA
Similar books and articles
John Bacon (1988). Four Modal Modelings. Journal of Philosophical Logic 17 (2):91 - 114.
Thomas Meyer (2001). Basic Infobase Change. Studia Logica 67 (2):215-242.
Paul Dicken (2007). Constructive Empiricism and the Metaphysics of Modality. British Journal for the Philosophy of Science 58 (3):605 - 612.
Elliott Sober (1985). Constructive Empiricism and the Problem of Aboutness. British Journal for the Philosophy of Science 36 (1):11-18.
Analytics

Monthly downloads

Added to index

2010-08-24

Total downloads

11 ( #131,222 of 1,096,600 )

Recent downloads (6 months)

8 ( #23,815 of 1,096,600 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.