| Course: | Philosophy 251 Elementary Symbolic Logic. |
| Time: | Summer 2014, MTWRF: 12:00 - 1:45 |
| Location: | North Court 202 |
| Instructor: | Geoff Goddu, x8733 or 330-2904 (absolutely no later than 10 pm!) |
| Office Hours: | TW: 11:00-12:00; 2:00 - 3:00; and by appt. North Court 216 |
| Requirements: | Three one-hour in-class Exams: | 57% |
| Homework Assignments: | 10% | |
| Final Exam: | 33% |
You may, if you wish, work in groups to solve the homework problems, but each student must hand in his or her own homework on time. Homework Assignments, if handed in on time, will be graded out of 10. Late assignments will be graded out of 9. Assignments will be accepted any day prior to the exam for which the assignment is practice.
Honor Code: All four Exams must be your own individual and independent work and must satisfy the conditions of the honor pledge.
Attendance: Attendance is not required, but is highly recommended. Note that you are responsible for all assigned material.
Fields of Study Requirement: Elementary Symbolic Logic satisfies the Symbolic Reasoning Field of Study (FSSR). For specific details see the attached Purpose Statement for this course.
Provisional Schedule: [All readings and exercises are due at the beginning of class.]
| Day | Date | Topic | Requirements Due |
| 1 | M 5/19 | Introduction/Standard Form | |
| 2 | T 5/20 | Sentential Logic/Translations | Handout 1 |
| 3 | W 5/21 | SL Translations | Handout 2 |
| 4 | R 5/22 | SL Translations | |
| 5 | F 5/23 | EXAM #1 | |
| 6 | M 5/26 | No Class--Memorial Day | |
| 7 | T 5/27 | Truth Tables | |
| 8 | W 5/28 | Countermodels/Truth Trees | Handout 4 |
| 9 | R 5/29 | Truth Trees | Handout 5 |
| 10 | F 5/30 | Handout 6; EXAM #2 | |
| 11 | M 6/2 | SL Derivations | |
| 12 | T 6/3 | SL Derivations | Handout 7 |
| 13 | W 6/4 | SL Derivations | Handout 8, XV |
| 14 | R 6/5 | SL Derivations | Handout 8, XVI |
| 15 | F 6/6 | SL Derivations | Handout 9 |
| 16 | M 6/9 | SL Derivations | Handout 10; EXAM #3 |
| 17 | T 6/10 | Predicate Logic/Translations | |
| 18 | W 6/11 | PL Translations | Handout 11 |
| 19 | R 6/12 | PL Translations | Handout 12 |
| 20 | F 6/13 | PL Translations/Derivations | Handout 13 |
| 21 | M 6/16 | PL Derivations | Handout 14 |
| 22 | T 6/17 | PL Derivations | Handout 15 |
| 23 | W 6/18 | PL Derivations | Handout 16 |