Ladder

Class diagrams — the ladder

2 distinct arguments against one idea, from the one that introduces it to the one that assumes the rest.
  1. ABCDABABCBCDADCDABCD4 circles cut the plane into 14 pieces — Euler's count is 1414 of the 16 patterns appear; missing: A¬BC¬D, ¬AB¬CD

    Four circles cannot do it

    Three overlapping circles cut the plane into exactly the eight regions three sets need. Four circles cut it into fourteen, and sixteen are required — so the diagram everyone draws stops working at four, and the reason is a count.

    rung 1 · logic
  2. AAAEAIAOEAEEEIEOIAIEIIIOOAOEOIOO1·A1·E1·I1·O2·A2·E2·I2·O3·A3·E3·I3·O4·A4·E4·I4·Ovalid: AAA-1 AII-1 EAE-1 EIO-1 AEE-2 AOO-2 EAE-2 EIO-2 AII-3 EIO-3 IAI-3 OAO-3 AEE-4 EIO-4 IAI-4valid only with existential import: AAI-1 EAO-1 AEO-2 EAO-2 AAI-3 EAO-3 AAI-4 AEO-4 EAO-4256 forms — 15 valid outright, 9 more if every term is assumed to have memberseach cell is one mood in one figure, and the verdict was reached by trying all 256 occupancies

    Twenty-four out of two hundred and fifty-six

    Aristotle's syllogisms are four sentence forms in four arrangements, which makes 256 patterns of argument. Fifteen of them are valid. Nine more become valid if you assume the things being talked about exist, and the gap between those numbers is a two-thousand-year-old disagreement.

    rung 2 · logic

All ladders