First-Order Logic (Dover Books on Mathematics) [Paperback]

Raymond M. Smullyan (Author)

Book Description

ISBN-10: 0486683702 | ISBN-13: 978-0486683706 | Publication Date: January 30, 1995

Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.

Product Details

• Paperback: 158 pages
• Publisher: Dover Publications (January 30, 1995)
• Language: English
• ISBN-10: 0486683702
• ISBN-13: 978-0486683706
• Product Dimensions: 8.5 x 5.4 x 0.4 inches
• Shipping Weight: 2.4 ounces (View shipping rates and policies)
• Average Customer Review: 4.2 out of 5 stars  See all reviews (8 customer reviews)
• Amazon Best Sellers Rank: #274,998 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

55 of 57 people found the following review helpful:

4.0 out of 5 stars A Stripped-Down Exposition of a Bare-bones Subject, June 15, 2001

By 

James R. Mccall (Libertyville, IL USA) - See all my reviews
(REAL NAME)   

This review is from: First-Order Logic (Dover Books on Mathematics) (Paperback)

This is a book by a man I knew for his books of puzzles-chatty books of great originality that have fun with the paradoxical possibilities of logic. Here he is the teacher of logic, and aside from an occasional phrase, the serious mathematician. However, Smullyan's originality shines through in this book as well. He presents logic as a branch of mathematics rather than an abstraction of ordinary language. And he uses a method from the recent literature, tableaux, to build his proofs in a simple and satisfying way. He gets directly to the main result as to the provability of valid sentences using this method for both the propositional calculus and the predicate calculus.

Smullyan procedes rapidly because he makes some assumptions about the reader's knowledge. The reader must understand the difference between mathematics and meta-mathematics-that is, should be able to separate out the talking about the sentences of the system, which may contain (among other signs) the conjunction, disjunction, and negation, from the more-or-less informal arguments that prove assertions about these sentences using natural language, with its "and", "or", and "not". Moreover, the concept of "proof" is used at two levels: the particular tableau that constitutes a proof of a sentence, and the "proofs" about tableaux and other concepts of the "system".

Besides this, the reader should have a good feel for recursive definitions, which are used everywhere. Finally, this model reader should know the difference between countably-infinite sets and uncountably-infinite sets.

I knew all that, but still found the text slow going, maybe because I have been away from mathematics for decades. But there is another reason, too. Smullyan has divorced logic from its roots: logics are simply recursively-defined sets of sentences and mappings, and that is that. No discussions, ala WvO Quine, on the history or linguistic difficulties of a concept, just definition and proof. This is an abstraction of a subject which is already an abstraction. So I usually found myself trying to understand what it all meant, in other than these stark set-and-mapping terms. On the other hand, many difficulties caused by the details of historical development of the subject vanish, and the results stand-... simple, directly derived.

This is a slender Dover volume, of high quality and low cost. I would have given the book 5 stars, but for two things. The exercises are too hard, sometimes, and without answers, and the index is very poor. Still, I think the treatment is the best around for those who want to use logic as a basis for studying incompleteness or proof theory. It is not to be confused with a more full-blown treatment that also treats logic as a branch of the humanities.

30 of 30 people found the following review helpful:

4.0 out of 5 stars Great stuff., March 2, 2004

By 

Jason T (Canada) - See all my reviews

This review is from: First-Order Logic (Dover Books on Mathematics) (Paperback)

First, this isn't one of Smullyan's popular puzzle books- its a serious mathematics text. Second, don't use this as your first exposure to first-order logic (note the title doesnt say "Introduction to ...")- although logically self-contained, it requires some experience to appreciate what a neat little book this is.

It's not a general mathematical logic text- there is no model theory (beyond basic Skolem-Lowenheim), incompleteness, recursion theory, or set theory. It covers tableaux (this alone is worth the price of the book), Hilbert-style axiomatic systems (briefly), sequent systems, Gentzen's Hauptsatz and Extended Hauptsatz, Craig's and Beth's theorems, and more. But the heart of the book is completeness theorems, their proofs, and closely related material such as compactness and Herbrand-like theorems. Smullyan shows there are two main approaches to completeness (analytic vs. synthetic), breaks each into stages, provides nice abstracted formulations, and usually gives several different proofs of each result. The centerpiece is his "Fundamental Theorem of Quantification Theory", a theorem associating a truth-table tautology with every valid first-order sentence (check out the amazingly slick proof of completeness for the the Hilbert-style system that this provides). Similar constructions such as magic sets are also discussed. All this forms a much more extensive and illuminating look at completeness proofs than I've seen elsewhere.

The first-order logic used in the book has no equality and no function signs. There are few exercises, most of them simple. Smullyan writes clearly and with an appropriate amount of rigor (but its not as polished as his later books). Makes a great supplement to more general-purpose introductory mathematical logic books. If you haven't seen the tableau method yet buy this book immediately. Experienced readers will appreciate the sophisticated coverage of completeness proofs.

18 of 18 people found the following review helpful:

5.0 out of 5 stars a classic, February 15, 2002

By 

Todd Ebert (Long Beach California) - See all my reviews

Amazon Verified Purchase

This review is from: First-Order Logic (Dover Books on Mathematics) (Paperback)

I mainly bought this book because of the influence it has had on numerous modern-day logic texts. If you are unfamiliar with the tableaux method for structural proofs, then you will gain alot from reading this, as it provides a different perspective from the more popular Hilbert-system approach. Tableaux systems, of course, have been made popular because they are easy to program with a computer. Please see Gallier's "Logic for Computer Scientists" for more on this matter.