MWF 11:15am–12:05pm in 374 Bartlett.
Course description: Introduction to various non-classical logical systems, including conditional logics, relevance logics, intuitionist logics, paraconsistent logics and fuzzy logics. Focus will be on propositional systems and tableau-style proofs, with a smattering of formal semantics, metatheory and quantification theory.
Prerequisite: Phil 310 (Intermediate Logic) or equivalent, or instructor permission.
Most course content available through UMass Moodle: https://moodle.umass.edu/.