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
(85284) |
58 |
2026-01-05 - 2026-04-10 (T)
18:00 - 21:00
|
|
| 55 |
2026-01-05 - 2026-04-10 (MWF)
13:00 - 13:50
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE A01
(51920) |
100 |
2026-09-01 - 2026-12-08 (MWF)
13:00 - 13:50
|
|
|
LECTURE X01
(56464) |
55 |
2026-09-01 - 2026-12-08 (W)
18:00 - 21:00
|
|
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
|
LECTURE 850
(79243) |
55 |
2027-01-04 - 2027-04-09 (R)
18:00 - 21:00
|
|
|
LECTURE B01
(75202) |
55 |
2027-01-04 - 2027-04-09 (TR)
09:30 - 10:50
|
|