Title
The Unprovability of Consistency: An Essay in Modal Logic,Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 3–5 business days
- Estimated Delivery: 6–10 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
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.