3.0

credits

Average Course Rating

This course is a survey of various topics in philosophical login. We begin with a review of the model theory of classical first-order logic (FOL). In our first unit, we will then move beyond the standard existential and universal quantifiers of FOL and consider generalized quantifiers, substitutional quantifiers, and plural quantification. In our second unit, we investigate the theory of propositional modal logic, considering its syntax, semantics, proof theory, and some of its applications. In our fourth unit, we inquire into the nature and normativity of logical validity.