The Logic of Provability - George S. Boolos

Instant online reading.
Don't wait for delivery!
Go digital and save!

The Logic of Provability

By: George S. Boolos

Write A Review

Paperback | 4 September 1995

At a Glance

Paperback
316 Pages

Dimensions(cm)
15.5 x 22.8 x 1.9

Paperback

$59.95

or 4 interest-free payments of $14.99 with

or

Aims to ship in 7 to 10 business days

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.

Industry Reviews

"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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Paperback

RRP $27.99

$23.75

15%
OFF

Critical Thinking Skills

Effective Analysis, Argument and Reflection

Paperback

RRP $36.99

$35.25

Aristotle's Organon in Old and New Logic

1800-1950

Hardcover

RRP $170.00

$141.35

17%
OFF

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Paperback

RRP $24.99

$21.75

13%
OFF

Contemporary Debates in African and Western Philosophy

Analytic and Intercultural Approaches

Hardcover

RRP $260.00

$216.25

17%
OFF

The Future of Normativity : Mind Association Occasional Series - Simon Kirchin

$170.25

10%
OFF

Metaphysics of Nature and Failure in Kant's Opus postumum

Hardcover

RRP $170.00

$141.40

17%
OFF

Andrea Cesalpino and Renaissance Aristotelianism

Natural Philosophy in the Sixteenth Century

Paperback

RRP $59.99

$54.50

Straight and Crooked Thinking

Paperback

RRP $29.99

$24.90

17%
OFF

Byzantine and Renaissance Philosophy : A History of Philosophy Without Any Gaps, Volume 6 - Peter Adamson

$40.75

23%
OFF

Inductive Probability

Routledge Revivals

Hardcover

RRP $231.00

$192.25

17%
OFF

New Essays on Normative Realism - Paul Boghossian

$201.25

17%
OFF

The Concept of Holiness

Routledge Revivals

Hardcover

RRP $189.00

$157.25

17%
OFF

Logic Between the Lines

Making Philosophical Sense of Logic and Logical Sense of Philosophy

Paperback

RRP $283.00

$254.90

10%
OFF

Logic and Criticism : Routledge Revivals - William Righter

Philosophical Writings and Documents in the Context of the Vienna Circle: Volume II : During and After the Second World War

Hardcover

$273.07

GL and other systems of propositional modal logic
Peano arithmetic
The box as Bew(x)
Semantics for GL and other modal logics
Completeness and decidability of GL and K, K4, T, B, S4, and S5
Canonical models
On GL
The fixed point theorem
The arithmetical completeness theorems for GL and GLS
Trees for GL
An incomplete system of modal logic
An S4 -preserving proof-theoretical treatment of modality
Modal logic within set theory
Modal logic within analysis
The joint provability logic of consistency and w-consistency
On GLB: the fixed point theorem, letterless sentences, and analysis
Quantified provability logic with one one-place predicate letter
Notes
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

The Logic of Provability

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Critical Thinking Skills

Effective Analysis, Argument and Reflection

Aristotle's Organon in Old and New Logic

1800-1950

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Contemporary Debates in African and Western Philosophy

Analytic and Intercultural Approaches

The Future of Normativity

Mind Association Occasional Series

New Essays on Normative Realism

The A Priori

Its Significance, Sources, and Extent

Teaching as Radical Logic

Dialectic, Analectic, and Education

Metaphysics of Nature and Failure in Kant's Opus postumum

Andrea Cesalpino and Renaissance Aristotelianism

Natural Philosophy in the Sixteenth Century

Straight and Crooked Thinking

Byzantine and Renaissance Philosophy

A History of Philosophy Without Any Gaps, Volume 6

Naming and Necessity

50th Anniversary Edition

Inductive Probability

Routledge Revivals

New Essays on Normative Realism

The Sources of Necessity Essence, Laws, and Logic

Essence, Laws, and Logic

Wittgenstein's Critique of Russell's Multiple Relation Theory of Judgement

Anthem Studies in Wittgenstein

Oxford Studies in Metaphysics Volume 14

Volume 14

Experiential Realism

Routledge Revivals

The Concept of Holiness

Routledge Revivals

Logic Between the Lines

Making Philosophical Sense of Logic and Logical Sense of Philosophy

Logic and Criticism

Routledge Revivals

Josef Sch¤chter

Philosophical Writings and Documents in the Context of the Vienna Circle: Volume II : During and After the Second World War

This product is categorised by