- Truth Table Generator: generates truth tables for formulas of propositional logic in plain text or LaTeX. I use this to create truth tables for my lecture slides in my intro logic class.
- FitchFX: a web app that lets users construct and verify proofs in a Fitch-style natural deduction system, and export verified proofs in plain text or LaTeX. This version of the app uses the notation and rules used in my forall x @ syr textbook.
- FOL Evaluator: a semantic calculator which will evaluate a well-formed formula of first-order logic on a user-specified model. The program provides a description of the entire evaluation process used to determine the formula's truth value.
- Fretboard: shows the locations of the notes in a given chord or scale on a guitar's fretboard .
Here is one of my favorite philosophy youtube videos:
And another favorite example in the genre: