An Introduction to Metalogic

An Introduction to Metalogic

Paperback

By (author) Aladdin M. Yaqub

$34.94
List price $41.40
You save $6.46 15% off

Free delivery worldwide
Available
Dispatched in 2 business days
When will my order arrive?

  • Publisher: Broadview Press Ltd
  • Format: Paperback | 300 pages
  • Dimensions: 178mm x 226mm x 18mm | 600g
  • Publication date: 30 December 2014
  • Publication City/Country: Peterborough
  • ISBN 10: 1554811716
  • ISBN 13: 9781554811717
  • Sales rank: 414,614

Product 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. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness Theorems, Turing machines, the Halting Problem, predicate logic theories and their properties, elementary equivalence, isomorphism, Peano Arithmetic, second-order predicate logic and more.

Other people who viewed this bought:

Showing items 1 to 10 of 10

Other books in this category

Showing items 1 to 11 of 11
Categories:

Author information

Aladdin M. Yaqub is Associate Professor of Philosophy at Lehigh University.

Back cover copy

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. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness Theorems, Turing machines, the Halting Problem, predicate logic theories and their properties, elementary equivalence, isomorphism, Peano Arithmetic, second-order predicate logic, and more.

Table of contents

IntroductionChapter One: First-Order Predicate Logic1. The Syntax of PL2. The Semantics of PL3. Logical Concepts in PL4. PL Proof Theory5. ExercisesChapter Two: Resources of the Metatheory1. Linguistic and Logical Resources2. Arithmetical Resources3. Set-Theoretic Resources4. An Economical Version of PL5. ExercisesChapter Three: The Soundness and Completeness Theorems1. The Soundness Theorem2. The Completeness Theorem3. The Compactness Theorem4. PL Interpretations and PL Sets5. The Lowenheim-Skolem Theorem6. ExercisesChapter Four: Computability1. Effective Procedures and Computable Functions2. Turing Computability3. The Halting Problem4. Partial Recursive Functions5. ExercisesChapter Five: The Incompleteness Theorems1. Peano Arithmetic2. Representability in Peano Arithmetic3. The Arithmetization of the Metatheory4. Diagonalization and the First Incompleteness Theorem5. Consequences of Diagonalization and Incompleteness6. The Incompleteness of Second-Order Predicate Logic7. Godel's Second Incompleteness Theorem8. Exercises