Sentential Logic


Sentential Logic


Tony RoyFollow



Sentential Logic is an excerpt from the longer text Symbolic Logic. Sentential Logic is no longer maintained as such. Still, the same material remains available (in updated form) from chapter 1 and the first parts of chapters 2--7 of Symbolic Logic. Please find it there.

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 adequacy and incompleteness results. A distinctive feature of the last section is a complete development of Gödel’s second incompleteness theorem.

Publication Date



philosophy, logic, sentential logic


Logic and Foundations | Philosophy


I am happy for anyone to use this material. Reviews and comments may be posted at the Textbook Blog.

This text may be found in additional formats with additional resources on the textbook website.

Sentential Logic