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.