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. Not offered 2012-2013.