Philosophy
PHIL115 Formal Methods in Philosophy
Study of formal methods commonly used in analytic philosophy. Emphasis is on developing the technical tools to enable one to read and do modern analytic philosophy. Applications of various formal tools to philosophical problems will also be discussed.