PHIL 49 - Survey of Formal Methods

Description
Survey of important formal methods used in philosophy. The course covers the basics of propositional and elementary predicate logic, probability and decision theory, game theory, and statistics, highlighting philosophical issues and applications. Specific topics include the languages of propositional and predicate logic and their interpretations, rationality arguments for the probability axioms, Nash equilibrium and dominance reasoning, and the meaning of statistical significance tests. Assessment is through a combination of problems designed to solidify competence with the mathematical tools and short-answer questions designed to test conceptual understanding.
Credits
4
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Spring 2019, Spring 2018
Offered
TuTh
Avg. Class Size
30
Avg. Sections
1