Constructive Modelings for Theory Change

Notre Dame Journal of Formal Logic 36 (1):120-133 (1995)
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)
DOI 10.1305/ndjfl/1040308831
 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
Our Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 25,046
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Four Modal Modelings.John Bacon - 1988 - Journal of Philosophical Logic 17 (2):91 - 114.
On the Constructive Dedekind Reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
Basic Infobase Change.Thomas Meyer - 2001 - Studia Logica 67 (2):215-242.
Constructive Versus Ontological Construals of Cantorian Ordinals.Wolfram Hinzen - 2003 - History and Philosophy of Logic 24 (1):45-63.
On Theory-Change and Meaning-Change.Michael E. Levin - 1979 - Philosophy of Science 46 (3):407-424.
Meta-Modeling as a Strategy for Constructive Change.Steven M. Rosen - 1981 - Man-Environment Systems 11 (4):150-160.
Constructive Empiricism and the Problem of Aboutness.Elliott Sober - 1985 - British Journal for the Philosophy of Science 36 (1):11-18.

Monthly downloads

Added to index


Total downloads

63 ( #78,517 of 2,116,966 )

Recent downloads (6 months)

1 ( #395,074 of 2,116,966 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums