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?).
PHIL distribution - L
Prerequisite: PHIL 012, or PHIL 012A or PHIL 012B
Humanities.
1 credit.
Eligible for COGS
Spring 2026. Baker.
Catalog chapter: Philosophy
Department website: http://www.swarthmore.edu/philosophy

Access the class schedule to search for sections.