The mathematics of logic: a guide to completeness theorems and their applications

New York: Cambridge University Press (2007)
  Copy   BIBTEX

Abstract

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Mathematical logic.Ian Chiswell - 2007 - New York: Oxford University Press. Edited by Wilfrid Hodges.
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
42 (#381,522)

6 months
7 (#440,443)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Deduction Theorem (Before and After Herbrand).Curtis Franks - 2021 - History and Philosophy of Logic 42 (2):129-159.
König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.

Add more citations

References found in this work

No references found.

Add more references