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 012, or PHIL 012A  or PHIL 012B  
1 credit.
Eligible for COGS
Spring 2024. Baker.
Catalog chapter: Philosophy  
Department website:

Access the class schedule to search for sections.

Print-Friendly Page (opens a new window)