Cambridge and New York: 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. 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.
Keywords Modality (Logic  Proof theory
Categories (categorize this paper)
Reprint years 1995, 2010, 2011
Buy this book $24.99 used (31% off)   $25.00 new (31% off)   Amazon page
Call number BC199.M6.B65 1993
ISBN(s) 0521433428   9780511882258   0521483255   9780521433426
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,066
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

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.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.

View all 78 citations / Add more citations

Similar books and articles

The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
A Modal Provability Logic of Explicit and Implicit Proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.
Logic of Proofs and Provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
Logics of Provability. [REVIEW]Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110 - 116.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Provability Logics with Quantifiers on Proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
Around Provability Logic.Leo Esakia - 2010 - Annals of Pure and Applied Logic 161 (2):174-184.
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
Provability, Truth, and Modal Logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.
The Knower Paradox in the Light of Provability Interpretations of Modal Logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.

Analytics

Added to PP index
2009-01-28

Total views
107 ( #108,064 of 2,498,786 )

Recent downloads (6 months)
4 ( #170,176 of 2,498,786 )

How can I increase my downloads?

Downloads

My notes