THE UNPROVABILITY OF CONSISTENCY by George Boolos ( 9780521092975 )

Item Details

Title:

THE UNPROVABILITY OF CONSISTENCY
AN ESSAY IN MODAL LOGIC

By:

George Boolos

Format:

Paperback

List price:

£47.99

Our price:

£41.99

Discount:

12.5% off

You save:

£6.00

ISBN 10:

0521092973

ISBN 13:

9780521092975

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

CAMBRIDGE UNIVERSITY PRESS

Pub. date:

1 January, 2009

Pages:

196

Description:

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic.

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.

Publication:

Imprint:

Cambridge University Press

Returns:

Returnable

Some other items by this author:

COMPUTABILITY AND LOGIC (HB)

COMPUTABILITY AND LOGIC (PB)

COMPUTABILITY AND LOGIC 2ED (HB)

COMPUTABILITY AND LOGIC 2ED (PB)

LOGIC, LOGIC AND LOGIC (PB)

MEANING AND METHOD (PB)