On the status of the postulate of recovery in the logic of theory change

✍ Scribed by David Makinson

• Publisher: Springer Netherlands
• Year: 1987
• Tongue: English
• Weight: 639 KB
• Volume: 16
• Category: Article
• ISSN: 0022-3611
• DOI: 10.1007/bf00431184

✦ Synopsis

and revision are seen as applied directly to theories, that is, to sets closed under logical consequence. We suggest, on the contrary, that such applications form an idealized mathematical exercise, and that in real life the operations are always applied to bases for theories. When contraction and revision are so applied, we show, minimal loss of content may be retained without generating eccentric formal consequences, but the body of the postulate of recovery is lost.

Some familiarity with the main lines of [l], or the survey [6], is presupposed.