The Group in Logic and the Methodology of Science offers an interdisciplinary program of study and research leading to the PhD degree. Students in the program acquire a good understanding of the mathematical theory known as Mathematical Logic, which deals in a rigorous way with such central concepts as truth, definability, provability, and computability. They may then seek to contribute to this theory or to apply it. There are important areas of application in mathematics, philosophy, computer science, and elsewhere.

The program is administered by an interdepartmental group that cooperates closely with the Computer Science Division, the Department of Mathematics, and the Department of Philosophy.