A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE 850
(75867) |
50 |
2025-01-06 - 2025-04-09 (T)
18:00 - 21:00
|
|
|
LECTURE B1
(70264) |
50 |
2025-01-06 - 2025-04-09 (TR)
09:30 - 10:50
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE X01
(31178) |
55 |
2025-05-05 - 2025-06-11 (MW)
18:00 - 20:50
|
|