Studia Logica 44 (4):405 - 422 (1985)

Authors
David Makinson
London School of Economics
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,060
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

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.

Add more references

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.
Belief Contraction Without Recovery.Sven Ove Hansson - 1991 - Studia Logica 50 (2):251 - 260.
Constraints for Input/Output Logics.David Makinson & Leendert van der Torre - 2001 - Journal of Philosophical Logic 30 (2):155 - 185.

View all 62 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
62 ( #159,255 of 2,403,718 )

Recent downloads (6 months)
1 ( #550,229 of 2,403,718 )

How can I increase my downloads?

Downloads

My notes