On the logic of theory change: Safe contraction |
| |
Authors: | Carlos E. Alchourrón David Makinson |
| |
Affiliation: | (1) Faculdad de Derecho, Universidad de Buenos Aires, Argentina;(2) Division of Philosophy and Human Sciences, Unesco, Paris, France |
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |
|