The Logic of Provability

Cambridge University Press (1993)
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 (CUP, 1979). 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 near probability and consistency. It contains the first application of quantified modal logic to formal probability, and shows the results of applying modal logic to formal provability.
Keywords Modality (Logic  Proof theory
Categories (categorize this paper)
Buy the book $40.98 used (46% off)   $55.81 new (26% off)   $57.25 direct from Amazon (19% off)    Amazon page
Call number BC199.M6.B65 1993
ISBN(s) 0521483255   9780521483254  
DOI 10.2307/2956313
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,667
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Sergei Artemov (2008). The Logic of Justification. Review of Symbolic Logic 1 (4):477-513.

View all 32 citations / Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

46 ( #74,008 of 1,726,249 )

Recent downloads (6 months)

9 ( #74,830 of 1,726,249 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.