Trade in your item
Get a $2.00
Gift Card.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Logic and Structure Paperback – September 1, 2008

ISBN-13: 978-3540208792 ISBN-10: 3540208798 Edition: 4th

7 New from $58.30 16 Used from $13.60
Amazon Price New from Used from
Paperback, September 1, 2008
$58.30 $13.60

There is a newer edition of this item:

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Customers Who Viewed This Item Also Viewed

NO_CONTENT_IN_FEATURE

Up to 50% Off Select Medical Titles
For a limited time, enjoy special savings on select medical books from Springer. Learn more

Product Details

  • Series: Universitext
  • Paperback: 263 pages
  • Publisher: Springer; 4th edition (September 1, 2008)
  • Language: English
  • ISBN-10: 3540208798
  • ISBN-13: 978-3540208792
  • Product Dimensions: 9.3 x 6.1 x 0.6 inches
  • Shipping Weight: 15.5 ounces
  • Average Customer Review: 3.8 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #1,464,956 in Books (See Top 100 in Books)

Editorial Reviews

Review

From the reviews of the fourth edition: "This book teaches logic to mathematicians in just the way I would have wished. … Beginning with the propositional calculus by means of truth-tables, i.e. the semantics, it proceeds to the syntactics in the form of Gentzen’s natural deduction. … this fourth edition has a long final chapter added, on Gödel’s incompleteness theorem. … The chapter follows traditional lines but preserves the excellent quality of the earlier chapters. This is a delightful textbook, with plenty of examples for the reader." (C.W. Kilmister, The Mathematical Gazette, Vol. 89(515), 2005) "This is the fourth edition of van Dalen’s classic textbook on logic in the popular ‘Universitext’ -series. … this book explains clearly all aspects of logic which a novice in this matter should learn by heart. … Reading this book was a real delight. A lot of the fun was in the exercises … heartily recommend this excellent textbook; … Current students may have little interest in formal mathematics … the problem will solve itself when they all have a copy on their personal bookshelf." (Pieter Audenaert, Bulletin of the Belgian Mathematical Society, Vol. 12 (3), 2005)

From the Back Cover

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically. Finally, this edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.

More About the Author

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

Customer Reviews

3.8 out of 5 stars
Share your thoughts with other customers

Most Helpful Customer Reviews

9 of 9 people found the following review helpful By Customer on April 7, 2011
Format: Paperback
There are some things not explicit in the posted summary that buyers of this book should know. Researchers will also find these comments valuable

This book is an introductory treatment of mathematical logic, written entirely from the perspective of GENTZEN natural deduction. Standard texts are written from the viewpoint of Hilbert axiomatics or from (an alternative from Gentzen) natural deduction. Thus, for one wanting any discussion of the Gentzen calculus ND this book is the only full, start from scratch, treatment that I know of. Note, however, that the Gentzen sequent calculus is NOT discussed.

Another (great) feature of the text is the chapter on ND in intuitionistic systems. Again, other than texts on structural proof theory (e.g. Negri and Von Plato.), such discussions are hard to find in an introductory setting. It also beats digging through journals or symposium proceedings.

Also, another (great) component, found only in the 4th edition, is the treatment of Godel's first famous result, but entirely handled via the aforementioned Gentzen calculus.

Finally, to give a general comment, there are are reasons for wanting to treat Hilbert systems rather than the Gentzen systems; these are most easily extended to study theories of arithmetic. But from the strictly logical, proof theoretic aspects, Hilbert systems prove to be less appealing. Note however that Gentzen systems are being pushed further all the time to handle arithmetic theories, though these still might be less elegant than their counterparts. Anyway, whether you choose Gentzen or the more standard treatment of Hilbert systems, one will unavoidably be making some concessions; but if Gentzen is what you want, there really isn't another alternative than this. Anecdote: Sometimes I hear, Gentzen is the more pedagogically effective route, but I'm not sure about this.
3 Comments Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
3 of 4 people found the following review helpful By CaRaPr on July 2, 2010
Format: Paperback Verified Purchase
I used parts of the first two chapters in a class. As with everything in logic, it may take some time to be understood, but it will rewire your brain once you get the point. The book is aimed at mathematicians, so be careful.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
3 of 7 people found the following review helpful By André Gargoura on January 20, 2013
Format: Paperback Verified Purchase
Terrible layout : paragraphs, concepts, titles, definitions, theorems... are all dumped in, indiscriminately.

More fundamentally, Van Dalen skips a lot of necessary explanations and some of his statements are ambiguous, confused, confusing as he attempts to relieve the reader from the difficulties of over-formalization found in other authors of logic indigestions such as Enderton and Mendelson : so we fall from Charybdis into Scylla !!!

I stopped losing my time with this book and turned to Kleene's beautiful and masterful achievements "Introduction to Metamathematics" and "Mathemathical Logic" (see my reviews).

Fortunately, there are other books on the subject ! Here is a list of key books :

1. A. Tarski's "Introduction to Logic", a jewel, followed by P. Smith's superb entry-point "An introduction to Formal logic" and the lovely "Logic, a very short introduction" by Graham Priest

2. D. Goldrei's "Propositional and Predicate calculus"

3. Wilfrid Hodges' "Logic", followed by Smullyan's "First-order logic".

4. P. Smith's "An introduction to Gödel's theorems".

5. Kleene's "Introduction to metamathematics" & "Mathematical Logic".

6. G. Priest's " Introduction to non-classical logic".

Hence forgetting altogether Van Dalen's indigestible "Logic & Stucture" as well as
the even more indigestible Enderton, Mendelson & al...
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
2 of 11 people found the following review helpful By Guilherme B. G. Lima on August 25, 2009
Format: Paperback
One of the most finest books in logics. For academics or just for fun, like me.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

What Other Items Do Customers Buy After Viewing This Item?