PHIL-381   Advanced Logic

Topics include the formalization of propositional and quantificational logic, alethic modal logic including semantic interpretations, various other modalities, alternative logics, and other formalisms of philosophical importance. Prerequisite: Two or more philosophy courses, or one philosophy course plus junior or senior standing.