Formal Methods 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, BUS 232, or STAT 270. Students with credit for COGS 315 cannot take this course for further credit.