Tools

Here are links to some useful tools for reasoning and checking your reasoning.

Modal Logic Validity Checker — modified from Wolfgang Schwarz’s version at https://www.umsu.de/trees/ to add the option for using an actualist (world-relative domain) semantics instead of a possibilist (constant domain) semantics.

Bayesian Inference Network Generator — Allows you to build a network of propositions to see how evidence should shift your confidence in a hypothesis (or hypotheses).

Bayesian Inference Calculator — a set of much simpler Bayes Theorem calculators written and maintained by Cam Spiers. Automatically calculates various probabilities based on others, and includes some nice pie charts and bar charts.