If you need an accessible version of this item please contact JSTOR User Support

On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set

P. D. Welch
The Bulletin of Symbolic Logic
Vol. 7, No. 3 (Sep., 2001), pp. 345-360
DOI: 10.2307/2687753
Stable URL: http://www.jstor.org/stable/2687753
Page Count: 16
  • Download PDF
  • Cite this Item

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.

If you need an accessible version of this item please contact JSTOR User Support
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set
Preview not available

Abstract

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified (in terms of definitional complexity) account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

Page Thumbnails

  • Thumbnail: Page 
345
    345
  • Thumbnail: Page 
346
    346
  • 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