M.S. Program in Logic, Computation and Methodology-Department of Philosophy - 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.

Cognition, AI, and Philosophy of Psychology

  • history and philosophy of psychology
  • artificial intelligence
  • neural networks
  • knowledge representation
  • semantics and pragmatics of natural language
  • foundations of computation

Decision, Rational Choice, and Applied Ethics

  • foundations of decision theory
  • game theory
  • rational choice
  • political philosophy
  • bioethics
  • ethics and public policy

Epistemology, Scientific Method

  • epistemology
  • foundations of statistics
  • belief revision and knowledge representation
  • causal inference and discovery
  • computational learning theory
  • automated deduction

Logic and Mathematical Thought

  • proof theory
  • category theory
  • constructive logic and type theories
  • automated deduction
  • logic of computation
  • history of modern logic
  • philosophy of mathematics
  • philosophy of logic

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.

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.

See our alumni page for information on where students have gone from our M.S. program.