Please note:

To view the current Academic Calendar, go to

Formal Methods COGS 315 (3)

A survey of formal methods used in philosophy, cognitive science, linguistics and related disciplines. Topics will include some of the following: prepositional 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. Students with credit for PHIL 315 may not take this course for further credit.

Section Instructor Day/Time Location
D100 Mo 12:30 PM – 1:20 PM
Th 12:30 PM – 2:20 PM
AQ 4130, Burnaby
WMC 2200, Burnaby