PhD programs in Logic, Computation, and Methodology and Philosophy have identical requirements. The distinction in name is meant to reflect the choice of focus during the student's study. The degree is designed to facilitate the development of sophisticated understanding of philosophical problems in a target area of study.