An Introduction to Metalogic

Author:   Aladdin M. Yaqub
Publisher:   Broadview Press Ltd
ISBN:  

9781554811717


Pages:   310
Publication Date:   24 October 2014
Format:   Paperback
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $96.36 Quantity:  
Add to Cart

Share |

An Introduction to Metalogic


Add your own review!

Overview

Full Product Details

Author:   Aladdin M. Yaqub
Publisher:   Broadview Press Ltd
Imprint:   Broadview Press Ltd
Dimensions:   Width: 17.80cm , Height: 1.60cm , Length: 22.90cm
Weight:   0.280kg
ISBN:  

9781554811717


ISBN 10:   1554811716
Pages:   310
Publication Date:   24 October 2014
Audience:   General/trade ,  College/higher education ,  Professional and scholarly ,  General ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Introduction Chapter One: First-Order Predicate Logic 1. The Syntax of PL 2. The Semantics of PL 3. Logical Concepts in PL 4. PL Proof Theory 5. Exercises Chapter Two: Resources of the Metatheory 1. Linguistic and Logical Resources 2. Arithmetical Resources 3. Set-Theoretic Resources 4. An Economical Version of PL 5. Exercises Chapter Three: The Soundness and Completeness Theorems 1. The Soundness Theorem 2. The Completeness Theorem 3. The Compactness Theorem 4. PL Interpretations and PL Sets 5. The Löwenheim-Skolem Theorem 6. Exercises Chapter Four: Computability 1. Effective Procedures and Computable Functions 2. Turing Computability 3. The Halting Problem 4. Partial Recursive Functions 5. Exercises Chapter Five: The Incompleteness Theorems 1. Peano Arithmetic 2. Representability in Peano Arithmetic 3. The Arithmetization of the Metatheory 4. Diagonalization and the First Incompleteness Theorem 5. Consequences of Diagonalization and Incompleteness 6. The Incompleteness of Second-Order Predicate Logic 7. Gödel's Second Incompleteness Theorem 8. Exercises

Reviews

“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


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 Lowenheim-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 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 Loewenheim-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 Comments: 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 Loewenheim-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


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 Lowenheim-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 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 Loewenheim-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 Comments: 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 Loewenheim-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


“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


Comments: “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


Author Information

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.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List