A Mathematical Introduction to Logic. Book • 2nd Edition • Authors: Herbert B. Enderton. Browse book content. About the book. Search in this book. A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. Purchase A Mathematical Introduction to Logic – 2nd Edition. Print Book & E-Book . Authors: Herbert Enderton. Hardcover ISBN: eBook ISBN.
|Country:||Saint Kitts and Nevis|
|Published (Last):||19 May 2004|
|PDF File Size:||20.39 Mb|
|ePub File Size:||12.93 Mb|
|Price:||Free* [*Free Regsitration Required]|
The first edition of Herbert B. A second edition was published inand a glance at the section headings indicates much the same overall enverton The author died inbut his webpages live on, including one with his own comments on his second edition. A final chapter covers second-order logic and some other matters. A Mathematical Introduction to Logic eventually became part of a logical trilogy, with the publication of the wonderfully lucid Elements of Set Theory and Computability Theory The first volume, by contrast, is not the most approachable first pass through its material.
Some might think this chapter to be slightly odd. For the usual introruction for separating off propositional logic and giving it an extended treatment at the beginning of a book at this level is that this enables us to introduce and intfoduction the key ideas of semantic entailment and of provability in a formal deductive system, and then explain strategies for soundness and completeness proofs, all in a helpfully simple and uncluttered initial framework.
There was a problem providing the content you requested
So what does happen in this chapter? We also get introdution exploration which can be postponed of the idea of proofs by induction and the Recursion Theorem, and based on these we get proper proofs of unique readability and the uniqueness of the extension of a valuation of atoms to a valuation of a set of sentences containing them perhaps not the most logicc things for a beginner to be pausing long over. We get a direct proof of compactness.
And we get a first look at the ideas of effectiveness and computability. It starts with an account of first-order languages, and then there is a lengthy treatment of the idea of truth in a structure.
This is mathematicl clearly done and mathematicians should be able to cope quite well but does Enderton forget his officially intended audience on p. Enderton then at last introduces a deductive proof system pages into the book.
A Mathematical Introduction to Logic
The chapter ends with enedrton little model theory — compactness, the LS theorems, interpretations between theorems — all rather briskly done, and there is an application to the construction of infinitesimals in non-standard analysis which is surely going to be too compressed for a first encounter with the ideas.
The discussion then turns to the notions of definability and representability. We are taken through a long catalogue of functions and relations representable in Robinson-Arithmetic-with-exponentiation, including functions for encoding and decoding sequences. Mahematical is revealed by marhematical quick description there really is a lot in Ch.
To be sure, the material here is not mathematically difficult in itself indeed it is one of the delights of this area that the initial Big Results come so quickly.
However, I do doubt that such an action-packed presentation is the best way to first meet this material. It would, however, make for splendid revision-consolidation-extension reading after tackling e.
This goes very briskly at the outset. However, if you have already read an entry-level presentation of first order herberrt e.
And if you have already read an entry-level presentation on incompleteness e. Your email address will not be published.
Herbert B. Enderton, A Mathematical Introduction to Logic – PhilPapers
A theory of natural numbers with just the successor function built in which is shown to be complete and decidable, and a decision procedure by elimination of quantifiers is given. A theory with successor mwthematical the order relation also shown to admit elimination of quantifiers and to be complete.
Presburger arithmetic shown to be decidable by a quantifier elimination procedure, and introductionn not to define multiplication Robinson Arithmetic with exponentiation. Leave a Reply Cancel reply Your email address will not be published. Back to Math Logic book pages.