PhD

Pure and Applied Logic

Study mode:On campus Study type:Full-time Languages: English
Local:$ 63.9 k / Year(s) Foreign:$ 63.9 k / Year(s) Deadline: Jan 2, 2025
28 place StudyQA ranking:8489 Duration:5 years

Photos of university / #carnegiemellon

The Ph.D. Program in Pure and Applied Logic is an interdisciplinary program designed to support students seeking a career in Mathematics, but interested in working in an area of logic supported by the Department of Philosophy. As part of the program, students earn an M.S. degree from the Department of Mathematical Sciences.

Research areas include:

  • automated deduction and automated reasoning
  • category theory and categorical logic
  • computability and computable analysis
  • constructive logic and type theories
  • homotopy type theory
  • proof theory

The program's flexible requirements provide a broad curricular grounding, steady involvement in research, and the opportunity to practice the craft of teaching in an excellent undergraduate environment. Students are expected to complete a thesis by the middle of their third year, and a PhD thesis by the end of their fifth year.

Coursework

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.

Research

Students are advised to do supervised reading and research with a member of the faculty in the spring of their first year, to explore possible research topics for the MS thesis. In the spring of the second year. The MS thesis itself should be completed by the end of the second year.

In the third year, students choose a dissertation topic and committee. Students must present and defend a prospectus by the end of the fourth year, at the latest, and are expected to complete their doctoral dissertation by the end of the fifth year.

  • Graduate application
  • Sample of original written work
  • Personal research statement
  • Three (or more) letters of recommendation
  • Transcripts from all previously attended colleges or universities
  • GRE scores (Institution code: 2074; Department code: 2801)
  • TOEFL or IELTS scores for non-native English speaking applicants
  • $50 application fee

Scanned versions of official transcripts, GRE score reports, and TOEFL / IELTS scores can be uploaded in lieu of sending paper copies.


Want to improve your English level for admission?

Prepare for the program requirements with English Online by the British Council.

  • ✔️ Flexible study schedule
  • ✔️ Experienced teachers
  • ✔️ Certificate upon completion

📘 Recommended for students with an IELTS level of 6.0 or below.

Enroll in the course

Similar programs:
Study mode:On campus Languages: English
Local:$ 68.7 k / Year(s) Foreign:$ 68.7 k / Year(s)
Deadline: Dec 31, 2024 12 place StudyQA ranking: 6110
Study mode:On campus Languages: English
Local:$ 68.7 k / Year(s) Foreign:$ 68.7 k / Year(s)
Deadline: Oct 17, 2025 12 place StudyQA ranking: 3440
Study mode:On campus Languages: English
Foreign:$ 83 k / Year(s)
Deadline: Dec 5, 2025 22 place StudyQA ranking: 7734
Study mode:On campus Languages: English
Local:$ 42 k / Year(s) Foreign:$ 60.6 k / Year(s)
Deadline: Jan 15, 2025 22 place StudyQA ranking: 2786
Study mode:On campus Languages: English
Local:$ 42 k / Year(s) Foreign:$ 60.6 k / Year(s)
Deadline: Dec 15, 2025 22 place StudyQA ranking: 5785
Study mode:On campus Languages: English
Foreign:$ 83 k / Year(s)
Deadline: Dec 1, 2025 22 place StudyQA ranking: 4719
Study mode:On campus Languages: English
Foreign:$ 85.2 k / Year(s)
Deadline: Dec 1, 2025 20 place StudyQA ranking: 4221
Study mode:On campus Languages: English
Foreign:$ 85.2 k / Year(s)
Deadline: Dec 15, 2025 20 place StudyQA ranking: 4737
Study mode:On campus Languages: English
Foreign:$ 85.2 k / Year(s)
Deadline: Dec 18, 2024 20 place StudyQA ranking: 3564