Logic of Provability

Discover the profound insights of Logic of Provability, authored by one of the most distinguished contemporary philosophers of mathematics. This book, published by Cambridge University Press in 1995, serves as a fully rewritten and updated successor to the author’s earlier work, The Unprovability of Consistency (1979). Spanning 316 pages, it delves into the intricate relationship between provability and modal logic—a branch of logic that dates back to Aristotle but has often been overlooked by philosophers and mathematicians alike. Whether you're a student of philosophy, mathematics, or logic, this engaging text invites you to explore the complexities of provability and its philosophical implications. Enhance your understanding of this critical field with a book that challenges conventional perspectives.