PHIL 5480 - Formal Methods in Philosophy uri icon



  • 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.