On the logic of theory change: Safe contraction
Studia Logica 44 (4):405 - 422 (1985)
| 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesThomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. Journal of Logic, Language and Information 9 (3):353-377.
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer.
Neil Tennant (1994). Changing the Theory of Theory Change: Towards a Computational Approach. British Journal for the Philosophy of Science 45 (3):865-897.
Abhaya C. Nayak (1994). Foundational Belief Change. Journal of Philosophical Logic 23 (5):495 - 533.
Eduardo L. Fermé (1998). On the Logic of Theory Change: Contraction Without Recovery. Journal of Logic, Language and Information 7 (2):127-137.
Sven Ove Hansson (1994). Kernel Contraction. Journal of Symbolic Logic 59 (3):845-859.
Carlos E. Alchourrón, Peter Gärdenfors & David Makinson (1985). On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (2):510-530.
David Makinson (1986). How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change. Synthese 68 (1):185 - 186.
David Makinson (1985). How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change. Synthese 62 (3):347 - 363.
Carlos E. Alchourrón & David Makinson (1986). Maps Between Some Different Kinds of Contraction Function: The Finite Case. Studia Logica 45 (2):187 - 198.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads22 ( #56,280 of 549,769 )Recent downloads (6 months)1 ( #63,425 of 549,769 )How can I increase my downloads? |
My notes
Discussion
