Studia Logica 44 (4):405 - 422 (1985)
Authors |
|
Abstract |
This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and under various natural constraints
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1007/BF00370430 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions.Carlos E. Alchourron & David Makinson - 1982 - Theoria 48 (1):14-37.
Epistemic Importance and Minimal Changes of Belief.Peter Gärdenfors - 1984 - Australasian Journal of Philosophy 62 (2):136 – 157.
New Studies in Deontic Logic.C. E. Alchourrón & D. Makinson - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic. Dordrecht: Reidel. pp. 125--148.
How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change.David Makinson - 1985 - Synthese 62 (3):347 - 363.
Citations of this work BETA
Propositional Reasoning That Tracks Probabilistic Reasoning.Hanti Lin & Kevin Kelly - 2012 - Journal of Philosophical Logic 41 (6):957-981.
Reliabilism, Stability, and the Value of Knowledge.Erik J. Olsson - 2007 - American Philosophical Quarterly 44 (4):343 - 355.
On the Status of the Postulate of Recovery in the Logic of Theory Change.David Makinson - 1987 - Journal of Philosophical Logic 16 (4):383 - 394.
Iterated Revision and Minimal Change of Conditional Beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.
Iterated Belief Change Based on Epistemic Entrenchment.Abhaya C. Nayak - 1994 - Erkenntnis 41 (3):353-390.
View all 84 citations / Add more citations
Similar books and articles
Infobase Change: A First Approximation. [REVIEW]Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema - 2000 - Journal of Logic, Language and Information 9 (3):353-377.
How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change.David Makinson - 1985 - Synthese 62 (3):347 - 363.
How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change.David Makinson - 1986 - Synthese 68 (1):185 - 186.
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
On the Logic of Theory Change: Contraction Without Recovery. [REVIEW]Eduardo L. Fermé - 1998 - Journal of Logic, Language and Information 7 (2):127-137.
Foundational Belief Change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Changing the Theory of Theory Change: Towards a Computational Approach.Neil Tennant - 1994 - British Journal for the Philosophy of Science 45 (3):865-897.
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.
Maps Between Some Different Kinds of Contraction Function: The Finite Case.Carlos E. Alchourrón & David Makinson - 1986 - Studia Logica 45 (2):187 - 198.
Analytics
Added to PP index
2009-01-28
Total views
62 ( #182,318 of 2,498,762 )
Recent downloads (6 months)
1 ( #422,193 of 2,498,762 )
2009-01-28
Total views
62 ( #182,318 of 2,498,762 )
Recent downloads (6 months)
1 ( #422,193 of 2,498,762 )
How can I increase my downloads?
Downloads