The Logic of Provability (Paperback)

George S. Boolos

ISBN 10: 0521483255 / ISBN 13: 9780521483254

Published by Cambridge University Press, Cambridge, 1995

About this Item

Paperback. 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. The relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Seller Inventory # 9780521483254

Bibliographic Details

• Title: The Logic of Provability (Paperback)
• Publisher: Cambridge University Press, Cambridge
• Publication Date: 1995
• Language: English
• ISBN 10: 0521483255
• ISBN 13: 9780521483254
• Binding: Paperback
• Condition: new

About this title

Synopsis

Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.

From the Back Cover

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.