PHILS29
Logic: Possibility, Proofs, and Paradox
Philosophy
BC
Subject code
PHIL
Course Number
S29
Department(s)
Instructor(s)
L. Ashwell
Course Long Title
Logic: Possibility, Proofs, and Paradox
Description
Building on PHIL 195 (Introduction to Logic), students consider the relationship between logic and reasoning, learn about modal logic (the logic of possibility and necessity), Turing machines, and alternative logics, prove some surprising metalogical results, and puzzle through some logical paradoxes. Prerequisite(s): PHIL 195.
Modes of Inquiry
Quantitative and Formal Reasoning [QF]
Writing Credit
No writing credit
GEC This Course Belongs To
-