On the status of the postulate of recovery in the logic of theory change. (English) Zbl 0632.03008

Makinson, David

J. Philos. Logic 16, 383-394 (1987).

The author discusses two closely related issues arising in the logic of theory change. One of these is the rather special and problematic status of the postulate of “recovery” amongst the formal postulates for contraction. Consideration of this question leads the author to the other issue: whether the procedures of contraction and revision in the logic of theory change are best seen as applied to theories themselves (i.e. to sets of propositions closed under consequence), or to bases for theories.

MSC:

03A05	Philosophical and critical aspects of logic and foundations
03B05	Classical propositional logic

Keywords:

logic of theory change; contraction; revision

References:

[1]	AlchourrónCarlos E., PeterGärdenfors and DavidMakinson, ?On the logic of theory change: Partial meet contraction and revision functions?, The Journal of Symbolic Logic 50 (1985), 510-530. · Zbl 0578.03011
[2]	AlchourrónCarlos E. and DavidMakinson, ?On the logic of theory change: Contraction functions and their associated revision functions?, Theoria 48 (1982), 14-37.
[3]	AlchourrónCarlos E. and DavidMakinson, ?On the logic of theory change: Safe contraction?, Studia Logica 44 (1985), 405-422. · Zbl 0605.03002
[4]	GärdenforsPeter, ?Conditionals and changes of belief?, Acta Philosophica Fennica 30 (1978), 381-404. · Zbl 0413.03011
[5]	Gärdenfors, Peter, ?Rules for rational changes of belief?, in T. Pauli (ed.), 320311: Philosophical Essays Dedicated to Lennart Aqvist on his Fiftieth Birthday, Philosophical Studies No. 34, Department of Philosophy, University of Uppsala, 1982, 88-101.
[6]	MakinsonDavid, ?How to give it up: A survey of some formal aspects of the logic of theory change?, Synthese 62 (1985), 347-363 and 68 (1986), 185-186.