PHIL 031. Advanced Logic

A survey of various technical and philosophical issues arising from the study of deductive logical systems. Topics are likely to include extensions of classical logic (e.g., the logic of necessity and possibility [modal logic], the logic of time [tense logic], etc.); alternatives to classical logic (e.g., intuitionistic logic, paraconsistent logic); metatheory (e.g., soundness, compactness, Gödel's incompleteness theorem); philosophical questions (e.g., What distinguishes logic from non-logic? Could logical principles ever be revised in the light of empirical evidence?).
Prerequisite: PHIL 012A  or PHIL 012B
1 credit.
Eligible for COGS
Spring 2021. Baker.
Catalog chapter: Philosophy  
Department website:

Check the Spring 2020 Schedule of Courses

Check the Fall 2020 Schedule of Courses

Print-Friendly Page (opens a new window)