Mathematical Logic

by Willard Van Orman Quine

Book Overview

W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0674554507
• ISBN13: 9780674554504
• Release Date: January 1951
• Publisher: Harvard University Press
• Length: 340 Pages
• Weight: 1.15 lbs.

Customer Reviews

Good book

I have been reading this book off and on for years. It is beautiful. However, I am not well read in mathematical logic, and the comments of a mathematical logician as to whether the proofs are correct and what should be read next would be helpful to readers interested in mathematical logic. I read the book to understand Godel. There are better books for that. However, once I starting reading this book, I appreciated the eloquence of Prof. Quine and the beauty of the axioms, definitions and proofs in the book.

Very good but be aware of omissions

This book is indeed much shorter than Principia, mainly because it is derived for lecture notes for a 1 semester PhD course. It is also a lot clearer than PM. But the notation is largely the same, which makes for hard reading if your are under 50. Quine's proof format doesn't take up much space, but has always eluded me. This book contains the best treatment of truth functional and quantificational logic prior to natural deduction and truth trees.I like the set theory of this book, but I warn you that it is very nonstandard. Even ardent lovers of Quine's NF theory hatethe ML theory of this book.The weakness of this book is its treatment of metatheory:consistency, completeness, decidability, categoricity. The treatment of Godel's incompleteness is detailed and highly original (altho' it owes more to Tarski than to Godel). But it is very difficult, and Smullyan (1991) is much better.Quine also had no clue re model theory or recursion.I respect the historical remarks a lot. Just one big omission: Quine, like nearly everyone of his generation, missed thatmath logic as we know and love it does not descend from Frege, but from an 1885 article by C S Peirce.

In Depth Look at Logic

Try this book when you know a bit about the basics of logic. The descriptions are much more lucid than those in Principia, even if the ideas are less earthshattering for there time. Quine, as he always does, gives a masterful, detailed look at logic. If you are a fan of logic and the foundations of math, this book is not to be missed.