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.

The Unprovability of Consistency: An Essay in Modal Logic

Politics & Social Sciences

Boolos, George

Philosophy

Cambridge University Press

Book by Boolos, George, Jeffrey, Richard C.

Computability and Logic

Science & Math

Jeffrey, Richard C.

Mathematics

Computability and Logic 2ed

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem.  John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gdel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.

Logic, Logic, and Logic

Harvard University Press

See the best price to sell, buy, or rent books by Boolos, George. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Boolos, George

See the best price to sell, buy, or rent books by Boolos, George. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

The Unprovability of Consistency: An Essay in Modal Logic

Computability and Logic

The Unprovability of Consistency: An Essay in Modal Logic

Computability and Logic 2ed

Computability and Logic 2ed

Logic, Logic, and Logic