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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
