The Logic of Provability

Cambridge University Press (1993)
Abstract
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 $28.00 used (60% off)   $39.00 new (41% off)   $64.39 direct from Amazon (9% off)    Amazon page
Call number BC199.M6.B65 1993
ISBN(s) 0521483255   9780521483254
Options
 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: 12,068
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.

Citations of this work BETA
Hirohiko Kushida (2010). The Modal Logic of Gödel Sentences. Journal of Philosophical Logic 39 (5):577 - 590.
Moritz Schulz (2010). Wondering What Might Be. Philosophical Studies 149 (3):367 - 386.

View all 18 citations

Similar books and articles
Analytics

Monthly downloads

Added to index

2009-01-28

Total downloads

34 ( #54,892 of 1,101,859 )

Recent downloads (6 months)

5 ( #68,243 of 1,101,859 )

How can I increase my downloads?

My notes
Sign in to use this feature


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