College Bulletin 2024-2025 
    
    Oct 31, 2024  
College Bulletin 2024-2025

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.