The unprovability of consistency: an essay in modal logic

New York: Cambridge University Press (1979)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Unprovability of Consistency. An Essay in Modal Logic.C. Smoryński - 1979 - Journal of Symbolic Logic 46 (4):871-873.
An Essay in Modal Logic.Georg Henrik von Wright - 1951 - Amsterdam, Netherlands: North-Holland.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Propositional Provability Logics.Seyed Ahmad Mirsanei & Lotfollah Nabavi - 2022 - Philosophical Thought 1 (4):313-339.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
A modal provability logic of explicit and implicit proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.

Analytics

Added to PP
2009-01-28

Downloads
149 (#134,319)

6 months
23 (#163,240)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.

View all 63 citations / Add more citations

References found in this work

No references found.

Add more references