-
Metalogic
- Notes on the Completeness Proof
- Logical and Philosophical Implications of Completeness
- First-order Theories
- Sets (Rudiments)
- Bayes' Theorem and the Psychology of
Reasoning
- Heuristics and Biases from my "Judgment and Decision Making: Extrapolations and Applications," in Judgments, Decisions, and Public Policy, Cambridge U. Press.
These notes provide more running commentary on basic concepts, proofs, and results in metalogic than some texts do. Examples are also chosen that should be more familiar to philosophers than stock examples often are. The notes only cover material presented thus far in class; more to come.
These are pdf files and take a bit of time to load.
