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
Eligible for COGS
Spring 2021. Baker.
Catalog chapter: Philosophy
Department website: http://www.swarthmore.edu/philosophy
Check the Fall 2020 Schedule of Courses
Check the Spring 2021 Schedule of Courses