PHIL150: Symbolic Logic/Tom Ryckman/Fall Term 2012-13
Text: Language, Proof and Logic by Barwise and Echemenedy.
Requirements: You will pass if, but only if, you take both exams (mid-term and final) and only if you earn at least 60 of the possible 100 points.
Grade: Of the 100 points possible, 40 are from the mid-term exam, 40 are from the final exam, and 20 are from four of the five pop-quizzes.
Content: We will cover all of the non-optional sections of Parts I and II of Language, Proof and Logic. We will consider both the syntax and the semantics of First Order Logic (FOL). In considering the syntax, we will focus on both the language of FOL and a derivation system for FOL. In considering the semantics, we will attend to the basic semantic concept of truth on a model, or relative to a structure. We will also examine relationships between certain syntactic concepts, such as derivability, and certain semantic concepts, such as logical truth. In addition, we shall consider such topics as the nature of scientific inference, Russell’s Paradox, Russell’s Theory of Descriptions, and non-standard logics.
Please note: Logic is NOT a spectator sport. There are plenty of exercises in the textbook, and it is highly unlikely that you will do well if you do not complete the bulk of them successfully. Also, please understand that your grade is a function only of your performance on exams and quizzes.
Schedule:
| Week | Day | Assigned Readings | Exercises |
| 1 | Tu | Introduction & Chapter 1 | 1.2-1.5, 1.7, 1.9. 1.19 (Note: you are already behind!) |
| 1 | Th | Sections 2.0-2.4 | 2.1 2.8 2.10 2.11 2.13 2.14 2.15 |
| 2 | Tu | Section 2.5 | 2.16 2.17 2.19 2.21 2.24 2.26 |
| 2 | Th | Chapter 3 | 3.2 3.3 3.5-3.10 3.12-3.14, 3.16 3.18, 3.20-3.23 |
| 3 | Tu | Section 4.0-4.3 | 4.1 4.2 4.4 4.6 4.9 4.12 4.14 4.16 |
| 3 | Th | Section 4.4, 4.5 & Chapter 5 | 4.18 4.22 4.24 4.26 4.27 4.30 4.31 4.32 5.9 5.16 5.18 |
| 4 | Tu | Sections 6.1-6.3 | 6.1-6.15 (odd) |
| 4 | Th | Sections 6.4-6.6 | 6.17-6.41 (odd) |
| 5 | Tu | Chapter 7 | 7.2-7.18 (even) |
| 5 | Th | Chapter 8 | 8.2 8.10 8.18-8.36 (even) 8.37 |
| 6 | Tu |
Mid-term EXAM |
|
| 6 | Th |
Mid-Term BREAK |
|
| 7 | Tu | Chapter 9 | 9.2-9.16 (even) |
| 7 | Th | Sections 10.0-10.5 | 10.8 10.9 10.22 10.25 10.27 10.29 |
| 8 | Tu | Sections 11.0-11.1 | 11.1-11.7 |
| 8 | Th | Sections 11.2-11.5 | 11.8-11.21 11.39 |
| 9 | Tu | Sections 12.0-12.3 | 12.4-12.10 (even) |
| 9 | Th | Section 12.4 and Sections 13.0-13.1 | 12.16 12.17 12.18 12.20 12.23 13.1 13.2 13.4 13.9 13.10 13.11 13.13 13.15 |
| 10 | Tu | Sections 13.2-13.3 | 13.19-13.39 (odd) |
| 10 | Th | Review-Exam Prep. | |