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 | ||||||||||
| Buy the book | $49.13 new (26% off) $53.53 direct from Amazon (19% off) Amazon page | |||||||||
| Call number | BC199.M6.B65 1993 | |||||||||
| ISBN(s) | 0521483255 9780521483254 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesTapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Dick Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51 - 69.
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
Sara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5-6):507 - 544.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Hirohiko Kushida (forthcoming). The Modal Logic of Gödel Sentences. Journal of Philosophical Logic.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads27 ( #46,539 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
