Fall Term 2024 (1890)
PHIL 220 - Symbolic Logic II
3 units (fi 6)(EITHER, 3-0-0)
A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems. Prerequisite: PHIL 120 or consent of Department.
LECTURE A1 (48565)
2024-09-03 - 2024-12-09
MWF 14:00 - 14:50
PHIL 365 - Philosophy of Computing
3 units (fi 6)(EITHER, 3-0-0)
Philosophical issues arising from computation and computer science. No previous familiarity with computing is necessary.
LECTURE A1 (51028)
2024-09-03 - 2024-12-09
MWF 12:00 - 12:50
Winter Term 2025 (1900)
PHIL 325 - Risk, Choice, and Rationality
3 units (fi 6)(EITHER, 3-0-0)
A study of the formal theory of rationality including probability and induction, and elementary decision theory, with attention to the paradoxes of choice.
LECTURE B1 (76139)
2025-01-06 - 2025-04-09
MWF 14:00 - 14:50
PHIL 422 - Topics in Advanced Symbolic Logic
3 units (fi 6)(EITHER, 3-0-0)
Prerequisite: PHIL 220 or consent of Department.
LECTURE B1 (76144)
2025-01-06 - 2025-04-09
MWF 12:00 - 12:50
PHIL 522 - Topics in Logic
3 units (fi 6)(EITHER, 3-0-0)
LECTURE B1 (75222)
2025-01-06 - 2025-04-09
MWF 12:00 - 12:50