Cambridge University Press (1979)

Abstract
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields.
Keywords Modality (Logic  Proof theory
Categories (categorize this paper)
Buy the book $4.99 used (90% off)   $49.64 new (1% off)    Amazon page
Call number BC199.M6.B66
ISBN(s) 0521218799   0521092973  
DOI 10.2307/2273239
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,391
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 Modal Logic of Provability. The Sequential Approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 77--93.

View all 50 citations / Add more citations

Similar books and articles

First Steps in Modal Logic.Sally Popkorn - 1994 - Cambridge University Press.
Proof Theory of Modal Logic.H. Wansing (ed.) - 1996 - Kluwer Academic Publishers.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Modality, Si! Modal Logic, No!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.

Analytics

Added to PP index
2009-01-28

Total views
70 ( #131,063 of 2,326,290 )

Recent downloads (6 months)
7 ( #104,722 of 2,326,290 )

How can I increase my downloads?

Downloads

My notes