Carnegie Mellon University


The program's course requirements are designed to provide students with a shared introduction to basic tools of philosophical analysis, a shared background of philosophical issues, significant interdisciplinary competence and an introduction to research topics in the department.

Core Philosophy requirements (4 courses)

  • 80-600 Philosophy Core Seminar: Survey of crucial research in philosophy, logic, and related areas
  • 80-601 Philosophy Core Seminar II: Continued survey of crucial research in philosophy, logic, and related areas
  • 80-616 Formal Methods (1.5 semester): An introduction to contemporary formal frameworks, including Bayes Nets, Decision Theory, Game Theory, and Formal Learning Theory
  • 80-618 Topics in Logic II (half semester): The theory of computability, and Gödel's incompleteness theorems
  • Professional development seminar: Students must enroll in the professional development seminar in the spring semester of each of their first three years

Mathematics requirements (8 courses, sufficient to earn an MS in Mathematical Sciences)

  • One course in algebra (such as 21-610 Algebra I, 21-611 Topics in Algebra, or 80-713 Category Theory)
  • One course in topology (such as 21-651 General Topology)
  • One course in analysis (such as 21-720 Measure and Integration or 21-721 Probability)
  • Three courses in logic (such as 21-602 Set Theory, 21-603 Model Theory, 21-604 Recursion Theory, or 80-711 Proof Theory)
  • Two electives in mathematics or computer science

At most two of the eight courses can be taken outside of Mathematics. Students should contact the Director of Graduate Studies of the Mathematics Department to determine if courses taught outside of Mathematics will satisfy this requirement.

Breadth (2 courses)

  • One course in the analytic tradition (such as 80-605 Rational Choice, 80-612 Philosophy of Mathematics, or  80-680 Philosophy of Language)
  • One course in the history of philosophy (such as 80-254 Analytic Philosophy, or 80-255 Pragmatism)

Electives (4 courses)

  • Four unconstrained electives (including directed reading and dissertation research)

These requirements can be filled in three years by taking three courses each semester. Coursework must be completed by the end of the fourth year, at the latest. Electives should be chosen in consultation with the Director of Graduate Studies and the student's advisor, to ensure that the courses chosen will support the student's career goals.