David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (1979)
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||$14.95 used (71% off) $44.94 new (11% off) $49.99 direct from Amazon Amazon page|
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
David D. Auerbach (1985). Intensionality and the Gödel Theorems. Philosophical Studies 48 (3):337--51.
John Kadvany (2007). Positional Value and Linguistic Recursion. Journal of Indian Philosophy 35 (5-6):487-520.
Joel I. Friedman (2005). Modal Platonism: An Easy Way to Avoid Ontological Commitment to Abstract Entities. [REVIEW] Journal of Philosophical Logic 34 (3):227 - 273.
Philippe Balbiani & Andreas Herzig (2012). A Translation From the Modal Logic of Provability Into K4. Journal of Applied Non-Classical Logics 4 (1):73-77.
Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
Similar books and articles
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
Tapio 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
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
George Boolos (1993). The Logic of Provability. Cambridge University Press.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Added to index2009-01-28
Total downloads3 ( #461,337 of 1,724,742 )
Recent downloads (6 months)2 ( #268,625 of 1,724,742 )
How can I increase my downloads?