Open Access. Powered by Scholars. Published by Universities.®

Philosophy Commons

Open Access. Powered by Scholars. Published by Universities.®

Philosophy

Physical Sciences and Mathematics

California State University, San Bernardino

Articles 1 - 2 of 2

Full-Text Articles in Philosophy

Sentential Logic, Tony Roy Jul 2016

Sentential Logic, Tony Roy


Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel's completeness and incompleteness theorems. Excerpted from the longer text including chapter 1 and the first parts of chapters 2 - 7.

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 ...


Symbolic Logic, Tony Roy Jul 2016

Symbolic Logic, Tony Roy


Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel's completeness and incompleteness theorems.


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 ...