The Unprovability of Consistency: An Essay in Modal Logic,Used

The Unprovability of Consistency: An Essay in Modal Logic,Used

In Stock
SKU: SONG0521218799
Brand: Brand: Cambridge University Press
$43.14 $61.63
Save $18.49
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

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.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

  • Q: What is the main topic of 'The Unprovability of Consistency'? A: 'The Unprovability of Consistency' explores the connections between proof theory and modal logic, focusing on the principles of necessity, possibility, provability, and consistency.
  • Q: Who is the author of this book? A: The author of 'The Unprovability of Consistency' is George Boolos, a noted philosopher and logician.
  • Q: When was 'The Unprovability of Consistency' published? A: 'The Unprovability of Consistency' was published on April 30, 1979.
  • Q: What type of binding does this book have? A: 'The Unprovability of Consistency' is available in hardcover binding.
  • Q: How many pages are in this book? A: 'The Unprovability of Consistency' contains 208 pages.
  • Q: What condition is the book in? A: The book is in mint condition.
  • Q: What academic levels is this book suitable for? A: 'The Unprovability of Consistency' is suitable for advanced undergraduate and graduate students in logic, mathematics, and philosophy, as well as specialists in those fields.
  • Q: What logical systems does Boolos analyze in this book? A: In 'The Unprovability of Consistency', George Boolos analyzes modal logical systems using semantic methods developed by Saul Kripke.
  • Q: Is there any specific debate discussed in the book? A: Yes, the book discusses a longstanding debate in modal logic between the followers of C. I. Lewis and W. V. O. Quine.
  • Q: What is the significance of modal logic in this book? A: Modal logic is significant in this book as it provides a framework for analyzing concepts of necessity and possibility in relation to provability and consistency.

Recently Viewed