Browse the Argument Forms

Every form in the encyclopedia, searchable by name, prose, tag, source, figure or rule of natural deduction.

Search across everything — names, prose, tags, sources, figures, the number of atoms, and which rules a proof uses. The filters and the selected form both live in the address bar, so any view you reach is a link you can hand to somebody. New to this? Start with the overview, or go straight to practice.

Loading the argument database…

This page needs JavaScript — the catalogue is built in the browser from the argument database. The database itself is a plain JSON file at /assets/arguments/argument-db.json if you would rather read it directly.