Carnegie Mellon Summer School in Logic and Formal Epistemology

This web page provides links to some of the materials used in the 2007 summer school.

Causal statistical inference

Prof. Danks will make his slides available to program alumni, soon.

Logic and formal verification

For lecture notes, background, references, and more, see the resource page for this session.

Decisions and games

Here is an outline of Prof. Seidenfeld's lectures: pdf.

These slides are in a password protected directory, accessible to summer school participants:

• Session 1. Dominance and book. pdf.
• Session 2. EU theory. pdf.
• Session 3. Security based reasoning. pdf.
• Session 4. Classical game theory. pdf.
• Session 5. Forecasting. pdf.
• Session 6. Combining expert opinions. pdf.
• Session 7. Basic voting theory. pdf.
• Session 8. Arrow's theorem (David Gray's slides). pdf.
• Session 9. Group decision making. pdf.
• Annotated bibliography. pdf.