Home » Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic

Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic

Cover Page

Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel’s completeness and incompleteness theorems. Links to download parts for sentential logic, for the first and second volumes of the text, and for the complete work. These are formatted for either single- or double-sided printing. There are also answers to selected exercises—answers are on large pages, and best viewed on a larger monitor. Consistent with the license, I am happy for anyone to use this material. And I appreciate comments—which you may make via the Textbook Blog!

From the Preface: There is, I think, a gap between what many students learn in their first course in formal logic, and what they are expected to know for their second. While courses in mathematical logic with metalogical components often cast only the barest glance at mathematical induction or even the very idea of reasoning from definitions, a first course may also leave these untreated, and fail explicitly to lay down the definitions upon which the second course is based. The aim of this text is to integrate material from these courses and, in particular, to make serious mathematical logic accessible to students I teach. The first parts introduce classical symbolic logic as appropriate for beginning students; the last parts build to Gödel’s completeness and ıncompleteness results. A distinctive feature of the last section is a complete development of Gödel’s second ıncompleteness theorem. Complete preface to the textbook.

Textbook files (ver 9.02 — May 22, 2021):

Sentential Logic, first parts of chapters 1–7: SntL_single-sided and SntL_double-sided

Symbolic Logic: Volume I, all of chapters 1–8: SLVI_single-sided and SLVI_double-sided

Symbolic Logic: Volume II, all of chapters 9–14: SLVII_single-sided and SLVII_double-sided

Symbolic Logic, complete text: SL_single-sided and SL_double-sided

Symbolic Logic: Answers to Selected Exercises (there is also a version for instructors / request instructor password)

Some other useful files:

Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic by Tony Roy is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Creative Commons License