Introduces formal methods used in contemporary philosophy beyond classical first-order logic. Specific topics may vary. Examples: extensions of and alternatives to first-order logic (including propositional and quantified modal logic and higher-order and plural logic), alternatives to classical logic (including many-valued and intuitionistic systems), generalized and substitutional quantifiers, the lambda calculus, indicative and subjunctive conditionals, probability theory, inductive logic, and decision theory. Same as PHIL 4480.
instructor(s)
Saucedo, Raul
Primary Instructor
- Fall 2020 / Fall 2021 / Fall 2024
