Synopsis
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.
"synopsis" may belong to another edition of this title.
Book Description
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for The Unprovability of Consistency: An Essay in Modal...
Stock Image
The Unprovability of Consistency: An Essay in Modal Logic
Published by
Cambridge University Press, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Used
Hardcover
Seller: The Bookseller, Edmonton, AB, Canada
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. Minor shelf wear to book and dust jacket. Otherwise a tight, unmarked book. Index. viii, 184 pp. Seller Inventory # 050113
Seller Image
The unprovability of consistency An essay in modal logic
Published by
Cambridge University Press, Cambridge, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Used
Hardcover
Seller: Di Mano in Mano Soc. Coop, Cambiago, MI, Italy
Seller rating 5 out of 5 stars
Cartonato con sovracoperta. Testo in inglese. Text in English. Numero di tavole: 0 pp.184 9780521218795 altezza 31 larghezza 0 Esemplare in buone condizioni. Esemplare in buone condizioni.Sovraccoperta con leggere macchie di polvere e lievi segni di usura ai bordi e agli angoli. Testo in inglese.Text in English. Book in good condition. Seller Inventory # LIFITE0290008-212403
Stock Image
MICHELANGELO ANTONIONI An Introduction
Published by
Simon and Schuster., 1963
ISBN 10: 0521218799
ISBN 13: 9780521218795
Used
Hardcover
First Edition
Seller: ODYSSEY, Pointe Claire, QC, Canada
Seller rating 5 out of 5 stars
Hardcover. Condition: Fine. Dust Jacket Condition: Very Good. 1st Edition. Type: Book 1st printing stated; 207 pp., black cloth bdg. with siver-stamped spine. Illustrated with numerous stills as well as photographs of Antonioni's work, many never published before. A FINE copy in a DJ(slightly scuffed edges spine and corners of flaps, otherwise very clean, price clipped) Photo scan available. Shipments to USA, USPS via Canada Post Express; FREE OF CUSTOMS OR DUTY CHARGE. Seller Inventory # 1432H
Stock Image
The Unprovability of Consistency: An Essay in Modal Logic
Published by
Cambridge University Press, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
New
Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0521218799