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

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

SKU: SONG0521218799 In Stock
Sale price$36.89 Regular price$52.70
Save $15.81
Quantity
Add to wishlist
Add to compare
Shipping & Tax will be calculated at Checkout.
Delivery time: 3-5 business days (USA)
Delivery time: 8-12 business days (International)
15 days return policy
Payment Options

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

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)

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.

Shipping & Returns

Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.

Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.

Shipping & Returns

Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.

Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.

Warranty

We provide a 2-year limited warranty, from the date of purchase for all our products.

If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.

This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).

Warranty

We provide a 2-year limited warranty, from the date of purchase for all our products.

If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.

This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).

Secure Payment

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.

Secure Payment

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.

Related Products

You may also like

Frequently Asked Questions

  • 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.