๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

No coin nor oath required. For personal study only.

โœฆ 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.


๐Ÿ“œ SIMILAR VOLUMES


On the postulate of plasticity
โœ A.A. Il'iushin ๐Ÿ“‚ Article ๐Ÿ“… 1961 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 380 KB
On the Proof Theory of the Modal Logic G
โœ M. Borga; P. Gentilini ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 246 KB ๐Ÿ‘ 1 views
The Logic of Theory Assessment
โœ Franz Huber ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 423 KB