Skip to main content

PHILS29

Logic: Possibility, Proofs, and Paradox

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

-