KSAWorks
KSAWorks
Knowledge • Skills • Abilities
Program checklist · Minor

Rationality, Uncertainty, and Choice: Formal Methods

Carnegie Mellon University · Pittsburgh, PA

A checklist is the list of requirements to complete this program and receive the award, as the college publishes it in its catalog. It is the same for everyone. It does not say what you have completed; that comes from applying your own record.

Program
Award
Minor
Credits (computed from items)
258
Catalog edition
2026-2027
Checklist type
degree-program
Identifiers
IPEDS UNITID
211440
CourseShelf checklist
CK_211440_deaa494d
CollegeTransfer.Net
Institution Transfer Profile
Source
CourseShelf publish 59

Requirements to complete

Every course or condition the catalog lists, in the catalog's order.

Core Requirements

major core · 3 items
  1. 80-305
    Game Theory
    Not resolved to a course
    9
  2. 80-306
    Decision Theory
    Not resolved to a course
    9
  3. 88-223
    Decision Analysis
    Not resolved to a course
    or: 88-312 Decision Models and Games
    12

RUC Electives

electives · 25 items
  1. 80-201
    Knowledge and Justified Belief
    Not resolved to a course
    9
  2. 80-208
    Against the Algorithm: Critical Thinking as a Way of Life
    Not resolved to a course
    9
  3. 80-210
    Logic and Proofs
    Not resolved to a course
    9
  4. 80-211
    Logic and Mathematical Inquiry
    Not resolved to a course
    9
  5. 80-310
    Formal Logic
    Not resolved to a course
    9
  6. 80-311
    Undecidability and Incompleteness
    Not resolved to a course
    9
  7. 80-315
    Logics for Knowledge and Belief
    Not resolved to a course
    9
  8. 80-325
    Foundations of Causation and Machine Learning
    Not resolved to a course
    9
  9. 80-516
    Causality and Machine Learning
    Not resolved to a course
    9
  10. 80-521
    Seminar on Formal Epistemology: Uncertain Interpretations
    Not resolved to a course
    9
  11. 80-524
    Topics in Formal Epistemology: Topological Philosophy of Science
    Not resolved to a course
    9
  12. 88-223
    Decision Analysis
    Not resolved to a course
    12
  13. 88-312
    Decision Models and Games
    Not resolved to a course
    9
  14. 88-379
    Data-Driven Decision Analysis
    Not resolved to a course
    9
  15. 80-220
    Philosophy of Science
    Not resolved to a course
    9
  16. 80-221
    Philosophy of Social Science
    Not resolved to a course
    9
  17. 80-222
    Measurement and Methodology
    Not resolved to a course
    9
  18. 80-246
    Moral Psychology
    Not resolved to a course
    9
  19. 80-249
    AI, Society, and Humanity
    Not resolved to a course
    9
  20. 80-261
    Experience, Reason, and Truth
    Not resolved to a course
    9
  21. 80-324
    Philosophy of Economics
    Not resolved to a course
    9
  22. 80-330
    Ethical Theory
    Not resolved to a course
    9
  23. 80-335
    Social and Political Philosophy
    Not resolved to a course
    9
  24. 88-252
    Causal Inference: from Data to Decisions
    Not resolved to a course
    9
  25. 88-255
    Strategic Decision Making
    Not resolved to a course
    9
Source. Carnegie Mellon University, catalog 2026-2027 — https://coursecatalog.web.cmu.edu/schools-colleges/dietrichcollegeofhumanitiesandsocialsciences/departmentofphilosophy/rationality-uncertainty-choice-formal-methods-minor/. Captured page pages/0191.html.gz. Assembled from the institution's published catalog as captured; every record names its captured page and source URL. Assembled, not asserted.