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)|
|Through your library||Configure|
Similar books and articles
Douglas Bridges & Steeve Reeves (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica 7 (1):65-104.
John Bacon (1988). Four Modal Modelings. Journal of Philosophical Logic 17 (2):91 - 114.
Otávio Bueno (2008). Structural Realism, Scientific Change, and Partial Structures. Studia Logica 89 (2):213 - 235.
Guillaume Rochefort-Maranda (2011). Constructive Empiricism and the Closure Problem. Erkenntnis 75 (1):61-65.
Robert S. Lubarsky & Michael Rathjen (2008). On the Constructive Dedekind Reals. Logic and Analysis 1 (2):131-152.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
Thomas Meyer (2001). Basic Infobase Change. Studia Logica 67 (2):215-242.
Peter Lipton (2006). What Can Bas Believe? Musgrave and Van Fraassen on Observability. Analysis 66 (3):226 - 233.
Wolfram Hinzen (2003). Constructive Versus Ontological Construals of Cantorian Ordinals. History and Philosophy of Logic 24 (1):45-63.
H. Luckhardt (1980). On Constructive Functions Ranging Over Propositions. Studia Logica 39 (4):371 - 374.
Paul Dicken (2007). Constructive Empiricism and the Metaphysics of Modality. British Journal for the Philosophy of Science 58 (3):605 - 612.
M. R. Yilmaz (1997). In Defense of a Constructive, Information-Based Approach to Decision Theory. Theory and Decision 43 (1):21-44.
Michael E. Levin (1979). On Theory-Change and Meaning-Change. Philosophy of Science 46 (3):407-424.
Steven M. Rosen (1981). Meta-Modeling as a Strategy for Constructive Change. Man-Environment Systems 11 (4):150-160.
Elliott Sober (1985). Constructive Empiricism and the Problem of Aboutness. British Journal for the Philosophy of Science 36 (1):11-18.
Added to index2010-08-24
Total downloads3 ( #213,434 of 722,932 )
Recent downloads (6 months)1 ( #61,087 of 722,932 )
How can I increase my downloads?