Skip to main content
Carnegie Mellon University
✕
Search
Search
Search this site only
Department of Philosophy
Dietrich College of Humanities and Social Sciences
Undergraduate Studies
Graduate Studies
People
Research
News
Events
Alumni
Dietrich College of Humanities and Social Sciences
›
Department of Philosophy
›
People
› Emeritus Faculty
Emeritus Faculty
3 of 3 bios displayed.
Robert Cavalier
Teaching Professor, Emeritus
Read full bio
Clark Glymour
Alumni University Professor
Read full bio
Dana Scott
Hillman University Professor of Mathematical Logic, Computer Science and Philosophy
Read full bio
Contact
Graduate Application
Support Philosophy @ CMU
✕
Search
Search
Search this site only
Undergraduate Studies
toggle Undergraduate Studies section
Philosophy
Logic & Computation
toggle Logic & Computation section
Logic and Computation Senior Thesis
Career Guidance
Linguistics
Ethics, History, & Public Policy
Minors
toggle Minors section
Ethics
Linguistics
Logic & Computation
Philosophy
Rationality, Uncertainty, and Choice: Formal Methods (RUC)
Minor in Societal & Human Impacts of Future Technologies (SHIFT)
Summer School in L&FE
Experiential Learning
Graduate Studies
toggle Graduate Studies section
Doctorate Programs
Masters' Programs
5th-year Master's Program
Graduate Application
toggle Graduate Application section
Frequently Asked Questions
Graduate Alumni
Graduate Student Handbook
Graduate Course List
Teaching Assistant Handbook
toggle Teaching Assistant Handbook section
Teaching Assignments
Teaching Portfolios
Teaching Responsibilities
International Students
TA/Grader-Faculty Relationships
TA/Grader-Student Interaction
Academic Honesty
Sexual Misconduct
More Information
Horacio Arló-Costa Graduate Fellowship
People
toggle People section
Core Faculty
Emeritus Faculty
Postdoctoral Fellows and Researchers
Courtesy Appointments
Special Faculty
Visiting Scholars/Faculty
Staff
Ph.D. Students
Master's Students
Graduate Students Not in Residence
Research
toggle Research section
Research Areas
toggle Research Areas section
Logic and Philosophy of Mathematics
toggle Logic and Philosophy of Mathematics section
Categorical Logic
Computability & Automated Proof Search
Homotopy Type Theory
Philosophy and History of Mathematics
Philosophy of Language and Linguistics
Philosophical Logic
Proof Theory
Philosophy of Science and Methodology
toggle Philosophy of Science and Methodology section
Belief Revision
Cognitive Science and Philosophy of Mind
Computational Epistemology
Learning Theory and Belief Revision
Inductive Logic & Statistics
Philosophy of Social Science
Rational Choice, Decision Theory and Game Theory
Theory of Causation
Ethics and Value Theory
toggle Ethics and Value Theory section
Ethics in Medicine and Scientific Research
Ethics & Artificial Intelligence
Social and Political Philosophy
Methodology in Theoretical and Practical Ethics
Subcommittee on Diversity, Equity and Inclusion
Research Projects
Center for Ethics & Policy
Center for Formal Epistemology
toggle Center for Formal Epistemology section
Upcoming Events
Past Events
Faculty Visits
Graduate Research Visitors
Lodging & Transportation
Local Attractions
Related Links
Hoskinson Center for Formal Mathematics
Program for Deliberative Democracy
Laboratory for Symbolic and Educational Computing
toggle Laboratory for Symbolic and Educational Computing section
Projects
Resources
LSEC Fellowships
Technical Reports
News
toggle News section
2024-2025
2023-2024
2022-2023
2021-2022
2020-2021
2019-2020
Events
toggle Events section
Lectures & Colloquia
toggle Lectures & Colloquia section
2023-2024
2022-2023
2021-2022
2020-2021
2019-2020
2018-2019
2017-2018
2016-2017
2015-2016
2014-2015
2013-2014
2012-2013
Workshops & Conferences
Ernest Nagel Lectures
Alumni
toggle Alumni section
Ph.D. Alumni
M.S. in Logic, Computation, and Methodology Alumni
M.A. in Philosophy Alumni
M.S. in Computational Linguistics Alumni (Discontinued)
Summer School in L&FE
Program in Linguistics
Calendar
▴