The Logic of Provability

Cambridge and New York: Cambridge University Press (1993)
  Copy   BIBTEX


This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency. Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency.



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.
George Boolos, The Logic of Provability Reviewed by.Helen Billinge - 1995 - Philosophy in Review 15 (5):310-312.
G. BOOLOS "The logic of provability". [REVIEW]G. Helman - 1995 - History and Philosophy of Logic 16 (2):284.
The predicate modal logic of provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
The modal logic of provability: Cut-elimination. [REVIEW]Silvio Valentini - 1983 - Journal of Philosophical Logic 12 (4):471 - 476.
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
The Logic of Provability.Giorgi Japaridze & Dick de Jongh - 2000 - Bulletin of Symbolic Logic 6 (4):472-473.
The Logic of Provability.André Fuhrmann - 1996 - Philosophical Books 37 (1):48-50.


Added to PP

15 (#244,896)

6 months
75 (#214,440)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.

View all 90 citations / Add more citations

References found in this work

No references found.

Add more references