Carnegie Mellon University

Overview

The Logic, Computation and Methodology M.S. program at Carnegie Mellon University is designed for students interested in merging formal logic with rigorous scientific and philosophical approaches. This program offers a blend of advanced coursework and research-oriented experiences, equipping graduates for further doctoral studies or research roles in both academia and industry.

• Degree: M.S. (Master of Science)
• Duration: Typically 2 years (full-time)
• Delivery: On-campus / in-person
• Tracks: Thesis track and course-based track (availability may vary)
• Language of instruction: English
• Application: Online application

What you'll study

The LCM M.S. program integrates advanced seminars with quantitative and formal coursework. Students will complete foundational courses and choose electives that align with their research interests in areas such as logic, scientific methodology, and formal decision-making.

• Core / foundational coursework (examples):
  • Tools & Techniques
  • Classical Logic
  • Mathematics
  • Computer Science
  • Statistics
  • Machine Learning
• Seminars and topic-based modules (examples):
  • Philosophy of Science
  • Philosophy of Mathematics
  • Analytic Philosophy
  • Formal Epistemology
  • Decision Theory and Game Theory
  • Causation
• Research component:
  • Thesis track: Students will complete a thesis under faculty supervision, with topics and formats determined in collaboration with the department.
  • Course-based track: Students will complete advanced coursework along with a research-oriented requirement, such as a capstone project, based on current program guidelines.
• Electives: Additional graduate-level options may be available, subject to prerequisites and departmental approval.

Entry requirements

Admission to the program is competitive and is based on the applicant's academic background, research potential, and alignment with the program's focus on formal logic and scientific methodology.

Academic background

• Applicants should hold a relevant bachelor’s degree (or equivalent) in philosophy, mathematics, computer science, statistics, or a closely related field.
• Transcripts from all previously attended colleges or universities are required.

Standardised tests

• GRE General Test: Required (scanned copies of unofficial score reports are accepted). Applicants who encounter difficulties with the GRE may request a waiver by contacting the Director of Graduate Studies.
• English language proficiency: Required for non-native English speakers.
• Accepted English tests: IELTS, TOEFL, or Duolingo English Language Test.

Application materials

• Online graduate application
• Statement of purpose / personal research statement
• Sample of original written work (e.g., a paper or scientific report)
• Three (or more) letters of recommendation
• GRE General test scores (or approved waiver request)
• No application fee for applying to graduate programs in the Department of Philosophy.

Career prospects

Graduates of the Logic, Computation and Methodology M.S. program are well-equipped for a variety of career paths in academia, research institutions, and industry roles that require strong analytical and methodological skills. The comprehensive training in logic and scientific methodology prepares them for positions that demand high-level problem-solving and critical thinking abilities.