Logic for Philosophers

3-0-9 units · Graduate

Covers various logical and formal tools most philosophers can benefit from knowing. Topics include: basic concepts in logic, how to translate from natural language into formal languages, how to work with logical systems to prove validity and invalidity of arguments, and how to prove metalogical results about the logical systems most useful to philosophers. Covers aspects of propositional logic, first order logic, modal logic, conditional logic, and basic set theory and model theory.