Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

How to Give It up: A Survey of Some Formal Aspects of the Logic of Theory Change

David Makinson
Synthese
Vol. 62, No. 3 (Mar., 1985), pp. 347-363
Published by: Springer
Stable URL: http://www.jstor.org/stable/20116107
Page Count: 17
  • Download ($43.95)
  • Cite this Item
How to Give It up: A Survey of Some Formal Aspects of the Logic of Theory Change
Preview not available

Abstract

The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, and finally the operations of safe contraction and revision. Verifications and proofs are omitted, with references given to the literature but definitions and principal results are presented with rigour along with discussion of their significance.

Page Thumbnails

  • Thumbnail: Page 
[347]
    [347]
  • Thumbnail: Page 
348
    348
  • Thumbnail: Page 
349
    349
  • Thumbnail: Page 
350
    350
  • Thumbnail: Page 
351
    351
  • Thumbnail: Page 
352
    352
  • Thumbnail: Page 
353
    353
  • Thumbnail: Page 
354
    354
  • Thumbnail: Page 
355
    355
  • Thumbnail: Page 
356
    356
  • Thumbnail: Page 
357
    357
  • Thumbnail: Page 
358
    358
  • Thumbnail: Page 
359
    359
  • Thumbnail: Page 
360
    360
  • Thumbnail: Page 
361
    361
  • Thumbnail: Page 
362
    362
  • Thumbnail: Page 
363
    363