An Introduction to Metalogic by Aladdin M. Yaqub (PDF)

Description

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.

User’s Reviews

Editorial Reviews: Review “This is an excellent text in intermediate logic that should be warmly received by students. The well-paced exposition is remarkably clear. The choice of material, including remarks on the philosophical significance of the principal theorems and welcome sections on Second-Order logic, seems just right. And the ample exercises at the end of each chapter, which range from easy to difficult, not only test the reader’s understanding, but move the subject forward. Highly recommended.” ― David Keyt, Research Professor, University of Arizona; Professor Emeritus, University of Washington “An Introduction to Metalogic provides extensive coverage of the usual meta-theoretic results concerning the standard logical systems. It covers the completeness theorems, compactness, the Löwenheim-Skolem theorems, and the incompleteness of arithmetic. There is also a good sketch of more advanced topics, giving the enthusiastic reader and student incentive to keep studying the field. As with Professor Yaqub’s earlier logic text, An Introduction to Logical Theory, the presentation is clear and straightforward.” ― Stewart Shapiro, Ohio State University “Yaqub has produced a pedagogically sensitive, yet completely rigorous tour of the introductory metalogical terrain. His textbook will be welcomed by instructors in philosophy, mathematics, computer science and linguistics who endeavor to offer their students something more substantial than standard introductory logic.” ― Kai Wehmeier, University of California, Irvine From the Back Cover An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between. About the Author Aladdin M. Yaqub is Professor of Philosophy at Lehigh University and the author of An Introduction to Logical Theory, The Liar Speaks the Truth, and a new translation of Al-Ghazali’s Moderation in Belief. Read more

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐No problems.

⭐This is one of the beautiful books to read on logic. I enjoyed reading it from start to end. All the proofs and concepts are very nicely explained. We must be indebted to authors like this, who enlighten us on these complex topics.

Keywords

Free Download An Introduction to Metalogic in PDF format
An Introduction to Metalogic PDF Free Download
Download An Introduction to Metalogic 2014 PDF Free
An Introduction to Metalogic 2014 PDF Free Download
Download An Introduction to Metalogic PDF
Free Download Ebook An Introduction to Metalogic