To earn the certificate, students must complete three logic courses with a grade of B+ or better. Courses to choose from include:
Elementary techniques of symbolic logic and their application to arguments in natural languages, truth functions, first-order quantification.
Basic concepts of probability and statistics. Rival interpretations and applications.
Various advanced topics in deductive logic such as proof theory and model theory, set theory, modal logic, metalogic, e.g. completeness, and computability.
Advanced topics in probabilistic and statistical inference.
Various advanced topics in formal decision theory, game theory and evolutionary game theory.
Please contact Connie Corbett, the Philosophy Department’s Academic Advisor, when all three classes have been taken and the grades recorded: firstname.lastname@example.org