Carnegie Mellon University

M.S. Program in Logic, Computation and Methodology

The M.S. program in Logic, Computation, and Methodololgy offers unique opportunities for studies over two years in areas where the department has distinguished formal research strengths. These are the same research areas that are open to Ph.D. candidates. As a two-year program, it is well suited for students who are looking to enhance their training in selected areas of Formal Philosophy, in order either to pursue a vocation outside academe, e.g. designing expert systems for consulting firms that specialize in AI methods, or to prepare for further graduate study in Analytic Philosophy, Cognitive Psychology, Computer Science, Mathematics, or Statistics.

Both Master’s degrees are designed to be completed in two years of study.  Students on the thesis track often take into the summer after their second year to finish their thesis. In some circumstances, students will take an extra semester to finish their thesis.  While discouraged, this is allowed.  Students must complete their coursework within two years unless they receive permission from the department.

Philosophical Areas:

In the course requirements we refer to “philosophical areas.”  For the purpose of this document the five philosophical areas are:

  • Area 1: Philosophy of Science, Methodology, and Epistemology
  • Area 2: Value Theory
  • Area 3: History of Philosophy
  • Area 4: Philosophy of Mind, Philosophy of Language, Linguistics, and Metaphysics
  • Area 5: Philosophy of Mathematics and Logic

Course Requirements: Logic, Computation and Methodology

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 requirements

  • 80-600 Philosophy Core Seminar: Survey of crucial research in philosophy, logic, and related areas (12 units)
  • 80-602 Philosophy Core Seminar II: Continued survey of crucial research in philosophy, logic, and related areas (12 units)
  • 80-610 Formal Logic: The syntax and semantics of first-order logic, and related topics (12 units)
  • 80-611: Undecidability and Incompleteness (half semester): The theory of computability or Gödel's incompleteness theorems (6 or 12 units)
  • Formal Methods: Students should choose three different "mini" (i.e., half-semester) courses from among the available options.  These courses cover a range of formal frameworks including Bayes Nets, Decision Theory, Game Theory, and Formal Learning Theory (6 units each x 3)
  • 80-603 Formal Methods: Tools and Techniques
  • 80-606: Formal Methods: Evolutionary Game Theory
  • 80-616: Formal Methods: Decisions and Games
  • 80-617: Formal Methods: Causation
  • 80-619: Formal Methods: Epistemic Logic and Topology
  • 80-811 Professional development seminar: This class is for professional development of masters and PhD students in the philosophy department. All students who are in their first three years of graduate programs should enroll in this course. (6 units x 2)
  • Two courses from two different philosophical areas (12 units x 2)

With approval of the Director of Graduate Studies, other courses in logic may be substituted for 80-610.

Philosophy electives

  • Course-based option: Two graduate level courses from any of the five philosophical areas (12 units x 2)
  • Thesis option: Two course of independent thesis research (Var. units x 2)

Interdisciplinary requirement

An interdisciplinary elective, e.g. in logic, computer science, statistics, game theory, linguistics, economics, or psychology, to develop formal skills that will support thesis research. These courses need to be approved by the Director of Graduate Studies. Suitable courses include:

  • 10-701 Machine Learning (12 units)
  • 15-210 Parallel and Sequential Data Structures and Algorithms (12 units)
  • 21-603 Model Theory I (12 units)
  • 85-719 Introduction to Parallel Distributed Processing (12 units)
  • 85-765 Cognitive Neuroscience (12 units) 

Additional courses

Two additional graduate level courses (12 units x 2)

NOTE: A maximum of two directed readings may be used to fulfill the requirements for the course-based master’s degree without special permission from the Director of Graduate Studies. Students in the course-based option are encouraged, however, to consider taking at least one directed reading to further delve into an area of a previous course.

The department's interdisciplinary research thrust affords an unusually broad range of career possibilities. Graduates of the program have been offered positions in Philosophy, Mathematics, Psychology, Computer Science, and Statistics, as well as research positions in industry. This wide range of interesting career opportunities reflects the department's unique dedication to serious, interdisciplinary research ties.

For a complete listing of our graduates and placement record, see our Masters alumni page.

The Philosophy Department offers qualified M.S. students up to a 50% tuition fellowship, added to whatever outside fellowships or other tuition awards the student has gained on her or his own. In addition, qualified MS students have the opportunity to serve as teaching assistants or graders for undergraduate courses, for a stipend rate set annually by the department. In the 2015-2016 academic year, by TAing or grading one course per term for each of two terms, an M.S. student earns $8,000 in stipend. In addition, the department provides approximately $1,100 to cover the cost of a Carnegie Mellon health insurance policy.

The M.S. program requires two years of coursework. Students are not required to write an M.S. Thesis, although there is an option to do so. The normal full time graduate course load in Philosophy is a minimum of three (12 credit) courses per term, for a total of (at least) 144 credits. Students must pass all required courses with a grade of B or better. In order to receive a masters degree, students must have a cumulative QPA of 3.25 or higher.

Advanced students can sometimes complete the program in a single year (including the following summer), corresponding to the fifth year of the combined 5-year B.S./M.S. degree. Also, there is a part-time version M.S. program, designed for students, such as qualified CMU staff employees using their staff benefits, who are able to pursue graduate study with only 1 or 2 courses per term.