George S. Boolos The Logic of Provability

ISBN 13: 9780521483254

The Logic of Provability

3.75 avg rating
( 8 ratings by Goodreads )
 
9780521483254: The Logic of Provability
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Book Description:

A completely rewritten and updated successor to the author's The Unprovability of Consistency (1979). This work's subject is the relations between probability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians.

Review:

"The book contains an excellent combination of values: noble subject, fresh key results, and the gentle, friendly style of the author. It can be recommended as a textbook, as a handbook, or simply as high quality reading in logic." Sergei N. Artemov, Journal of Symbolic Logic

"I found it lively, lucid, and informative...Boolos' style of writing is unusually kind to the reader. When an argument becomes tricky, he breaks it down into a lot of small steps, showing the reader in detail just how to proceed. A result is that the book is remarkably easy to read." Vann McGee, Rutgers University

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Boolos, George S.
Published by Cambridge University Press 6/24/2003 (2003)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Paperback or Softback Quantity Available: 10
Seller:
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Rating
[?]

Book Description Cambridge University Press 6/24/2003, 2003. Paperback or Softback. Condition: New. The Logic of Provability. Book. Seller Inventory # BBS-9780521483254

More information about this seller | Contact this seller

Buy New
US$ 27.05
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

2.

Boolos, George S.
Published by Cambridge University Press (2019)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Paperback Quantity Available: 18
Print on Demand
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2019. Paperback. Condition: New. Never used! This item is printed on demand. Seller Inventory # 0521483255

More information about this seller | Contact this seller

Buy New
US$ 27.32
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

George S. Boolos
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2003)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Paperback Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2003. Paperback. Condition: New. Revised ed. Language: English. Brand new Book. 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. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency. Seller Inventory # APC9780521483254

More information about this seller | Contact this seller

Buy New
US$ 29.22
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

George S. Boolos
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2003)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Paperback Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2003. Paperback. Condition: New. Revised ed. Language: English. Brand new Book. 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. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency. Seller Inventory # APC9780521483254

More information about this seller | Contact this seller

Buy New
US$ 30.48
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

George S. Boolos
Published by Cambridge University Press (1995)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Quantity Available: > 20
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1995. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521483254

More information about this seller | Contact this seller

Buy New
US$ 30.23
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

6.

George S. Boolos
Published by Cambridge University Press (1995)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1995. Paperback. Condition: New. Seller Inventory # DADAX0521483255

More information about this seller | Contact this seller

Buy New
US$ 34.94
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

7.

George S. Boolos
Published by Cambridge Univ Pr (1995)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Cambridge Univ Pr, 1995. Paperback. Condition: Brand New. 314 pages. 9.25x6.25x0.75 inches. In Stock. Seller Inventory # __0521483255

More information about this seller | Contact this seller

Buy New
US$ 32.16
Convert currency

Add to Basket

Shipping: US$ 9.64
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Boolos, George S.
Published by Cambridge University Press
ISBN 10: 0521483255 ISBN 13: 9780521483254
New PAPERBACK Quantity Available: > 20
Seller:
Russell Books
(Victoria, BC, Canada)
Rating
[?]

Book Description Cambridge University Press. PAPERBACK. Condition: New. 0521483255 Special order direct from the distributor. Seller Inventory # ING9780521483254

More information about this seller | Contact this seller

Buy New
US$ 34.99
Convert currency

Add to Basket

Shipping: US$ 7.00
From Canada to U.S.A.
Destination, rates & speeds

9.

George S. Boolos
Published by Cambridge University Press (1995)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 1995. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521483254

More information about this seller | Contact this seller

Buy New
US$ 30.90
Convert currency

Add to Basket

Shipping: US$ 11.57
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

George S. Boolos
Published by Cambridge University Press (1995)
ISBN 10: 0521483255 ISBN 13: 9780521483254
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1995. Condition: New. book. Seller Inventory # M0521483255

More information about this seller | Contact this seller

Buy New
US$ 41.30
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book