Unprovability of Consistency by George Boolos
Look inside with Google Book Preview
Unprovability of Consistency
By George Boolos

The Unprovability of Consistency

An Essay in Modal Logic

By (author) See other recent books by George Boolos
Format: Paperback

Normal Price: $84.95
Your Price: $76.46 AUD, inc. GST
Shipping: $7.95 per order
You Save: $8.50! (10% off normal price)
Plus...earn $3.82 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply

Unprovability of Consistency by George Boolos

Book Description

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 Unprovability of Consistency book by George Boolos from Australia's Online 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: 8-Jan-2009
Country of Publication: United Kingdom

Other Editions...

Books By Author George Boolos

Meaning and Method by George Boolos Meaning and Method, Paperback (July 2009)

This volume is a report on the state of philosophy in a number of significant areas.

Logic, Logic and Logic by George Boolos Logic, Logic and Logic, Paperback (September 1999)

This collection of George Boolos work includes 30 papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Godel theormes.

» View all books 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 member - it's free to sign up!)

Write a book review

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by George Boolos close
Meaning and Method by George Boolos
Logic, Logic and Logic by George Boolos
BoomerangBooks.com.au close