David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
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
Eduardo Fermé & Maurício D. L. Reis (2013). Epistemic Entrenchment-Based Multiple Contractions. Review of Symbolic Logic 6 (3):460-487.
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 downloads5 ( #178,845 of 1,089,079 )
Recent downloads (6 months)2 ( #42,757 of 1,089,079 )
How can I increase my downloads?