Please note:

To view the current Academic Calendar go to

Formal Methods in Philosophy PHIL 315 (3)

A survey of formal methods used in philosophy. Topics will include some of the following: propositional logic, predicate logic, formal syntax, formal semantics, the probability calculus, decision theory, game theory and formal causal modeling. Prerequisite: One of: PHIL 110, 210, 310, 314, MACM 101, BUEC 232 or STAT 270.

Section Instructor Day/Time Location
D100 Jennifer Wang
Mo 10:30 AM – 12:20 PM
We 10:30 AM – 11:20 AM
WMC 3255, Burnaby
WMC 3255, Burnaby