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 | Dates + Times | Instructor(s) |
---|---|---|---|
LECTURE 851
(49433) ONLINE |
60 |
2023-01-05 - 2023-04-12
T 18:00 - 21:00
|
Primary Instructor: Paolo Verdini
|
50 |
2023-01-05 - 2023-04-12
TH 11:00 - 12:20 (T 1-125)
|
Primary Instructor: Hassan Masoud
|
Section | Capacity | Dates + Times | Instructor(s) |
---|---|---|---|
LECTURE 800
(70810) ONLINE |
50 |
2023-07-10 - 2023-08-16
MW 18:00 - 21:10
|
|