PHIL 413
Formal Philosophical Methods
This course surveys the formal tools used in contemporary philosophy. It covers elements of propositional and quantified modal logic, formal semantics, counterfactuals, probability theory, and decision theory. Each class begins with an introduction to formal material and ends with a contemporary philosophical paper that presupposes that material.
Prerequisites & course information
One of the following: ECON 251, ECON 309, MATH 116, MATH 121, PHIL 303, STATS 280, or STATS 412. (Prerequisites enforced at registration.) (3; 2 in the half-term). (BS). May not be repeated for credit.
Sources
- Course catalogue ↗2026-2027
- Catalogue entry ↗
Catalogue variants
- Formal Philosophical Methods · Graduate credit