The Logic of Provability | 
|  | | |
 This book is also available, brand-new, from 3rd-party marketplace sellers at Amazon.com, from $42.33. |
The HTML code below can be pasted onto your web-site, your MySpace page, or blog - or any number of similar places - to create a link to this page: If, instead of a text link, you'd like to create a link to this page which will display the book cover, if it's available, then the code below will do exactly that:
Check for the same book at these other US book sites:
• [ Abebooks ] • [ Alibris ] • [ Barnes & Noble ] • [ Half.com ] • [ Powells ] … or check UK bookstores
| Editorial Review / Publisher's Information:
Product Description
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.
| Other Items You May Enjoy:
Browse Books From These Related Subjects:
Customer Reviews:
• Good Reference. 11 September, 2003
This book is an excelent reference for Logics of Provability. I consider this book a "must have" for anyone in the field, or in the field of Modal Logics.The author is a leader in the field, and this book is frequently cited in the bibliography of papers in the field.
- Reviewed by customer ID: A3T8AC805UZWZR
• Lucid Introduction And Valuable Reference 26 September, 2004
As the other reviewers note, this book is remarkable in that it both offers a reasonably gentle introduction to the subject even for those without too much mathematical background (logically-inclined philosophy students come to mind), and at the same time remains to this day an indispensable reference for the specialistâ€"this for example is the only source where you can find the proofs of Solovay's "other" modal completeness results for transitive models of set theory. George Boolos was (is) famous for, among other things, his gift of didactically brilliant exposition.
There is only one other book on the subjectâ€"C.Smory'nski's "Self-Reference and Modal Logic", now out-of-print, which provides a nice complement to Boolos with surprisingly small overlap. For an introduction, I would not hesitate to recommend Boolos over Smory'nski.
Since 1993 the "baton" has not completely "fallen out of Boolos' hands"â€"the interested reader can follow up on this via e.g. a couple of handbook-chapter expositions, easily found by googling around, that point to current research literature. However, no further textbook-level exposition appears to be forthcoming anytime soon.
As a comment to galloamericanus' review, I would note that Boolos does not restrict his monograph exclusively or even primarily to his own results. The reader gets a fair overview of the research field by 1993 as shaped by many contributors.
- Reviewed by customer ID: AX9OU64FCINFC
|
