Over the last two decades Carnegie Mellon University has developed an exceptional, world-class program of research and education in Logic. CMU's unique position results from a strong, University-wide commitment to Logic, which is focussed in the three departments of Philosophy, Mathematics and Computer Science. With appointments in all three departments, University Professor Dana S. Scott, recent winner of the Schock Prize in Logic and Philosophy, has, over the years, been a magnet for drawing logicians to Pittsburgh, be it as short- or long-term visitors, Post-Doctoral fellows, or as CMU faculty. The many logicians at CMU --- students, visitors, and faculty --- benefit not only from their concentration, but also from the fertile diversity of the Logic community, with specializations reaching from semantics of programming languages to the history of Logic, from automated deduction to topos theory. The active and supportive Logic environment at CMU has consistently produced research and researchers gaining international reputations, and the university is recognized as a world-center of logical activity.
Logic faculty in Philosophy include:
Other Philosophy Department faculty involved in logical research include:
Logic faculty elswhere in the University include:
For more information about Logic faculty throughout the University, visit the homepage for Pure and Applied Logic at CMU.
The Logic and Logic-related courses being offered in the current two-year cycle in the Philosophy Department are as follows:
Introduction to Formal Logic
Arguments and Inquiry
Logic & Computation
Computability & Incompleteness
Philosophy of Mathematics
Philosophy of Logic
Logic in Artificial Intelligence
Modal Logic
Recursion & Hierarchies
Proof Theory
Intuitionism & Constructive Mathematics
Category Theory
Topics in Logic & Mathematics
Formal Semantics
Logic & Computation Research Seminar
Logic & Computation Research Symposium
Seminar on the Foundations of Mathematics
Seminar on Categorical Logic
Click here for course descriptions of these Logic courses.
Click here for a list of other Logic courses throughout the University.
The curriculum below illustrates how the core course requirements can be combined with course offerings in Philosophy and other departments into a program of study for a student specializing in Logic. Students are welcome to design programs more closely attuned to their own interests.