Notes on Logic [Book Review]

Review of Metaphysics 21 (1):161-162 (1967)
  Copy   BIBTEX

Abstract

A prodigious amount of material is contained within the pages of this short book. The various chapters comprise a quick but rigorous survey of the main results presented in advanced level courses in mathematical logic. The accent here is on the development of proofs for theorems, and not upon topics in the philosophy of mathematics or in "foundational studies." This is not a weakness. No worthwhile investigation of the philosophy or foundations of mathematics can today take place except on the prior basis of such material as is so succinctly presented in this book. Lyndon has thus rendered a service to those who find that they must digest a large dose of modern mathematical logic and then move on to rather more esoteric topics. Among the subjects dealt with are: interpretations and structures, semantic implication, sentential logic, boolean algebra, variants of sentential logic, decidable theories, the compactness theorem, the Löwenheim-Skolem theorem, categoricity [[sic]], the Herbrand-Gentzen theorem, Craig's theorem, diagonal arguments and the paradoxes, Church's theorem, and the Gödel theorems on incompleteness and consistency. The particular methods used in this book reflect the recent interest in the algebraic properties of formal logical structures. The text includes numerous non-trivial exercises which are left to the student, and a short but well-chosen bibliography. Finally, one would think that the price being asked for this admittedly high-quality book is a bit high.—H. P. K.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
Introduction to Mathematical Logic. [REVIEW]P. K. H. - 1968 - Review of Metaphysics 21 (3):557-557.
Boolean Algebra. [REVIEW]P. K. H. - 1968 - Review of Metaphysics 21 (4):751-751.
Thirty Years of Foundational Studies. [REVIEW]P. K. H. - 1967 - Review of Metaphysics 20 (4):725-726.
First Order Mathematical Logic. [REVIEW]P. K. H. - 1968 - Review of Metaphysics 21 (3):556-556.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
Elements of Mathematical Logic. [REVIEW]P. K. H. - 1968 - Review of Metaphysics 21 (4):754-754.

Analytics

Added to PP
2012-03-18

Downloads
48 (#480,117)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references