Call Boomerang Books 1300 36 33 32

Description - The Unprovability of Consistency by George Boolos

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.

Buy The Unprovability of Consistency by George Boolos from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521092975
ISBN-10: 0521092973
Format: Paperback
(216mm x 140mm x 11mm)
Pages: 196
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 1-Jan-2009
Country of Publication: United Kingdom

Other Editions - The Unprovability of Consistency by George Boolos

Book Reviews - The Unprovability of Consistency by George Boolos

» Have you read this book? We'd like to know what you think about it - write a review about Unprovability of Consistency book by George Boolos and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By George Boolos

Meaning and Method by George Boolos
Paperback, March 2009
$52.16
Logic, Logic and Logic by George Boolos
Paperback, September 1999
$80.10