Introduction to Formal Reasoning and Decision Making (PHIL 109)
Interactive tools for the course. They run in any web browser, on a laptop or a phone, with nothing to install.
- Truth Table Builder: truth tables for formulas and arguments, with a practice mode, a step-by-step reveal, and a syntax-tree builder.
- Eikosogram Studio: an interactive picture of joint and conditional probability, showing how evidence moves a prior to a posterior.
- Decision Lab: decision matrices under ignorance and under risk: dominance, maximin and leximin, minimax regret, and (conditional) expected utility, with a practice mode.