Matpic
mathematics, in pictures
Concept

Syllogism

An argument from two premises about classes to a conclusion about classes, such as all A are B and all B are C, so all A are C. Of the 256 forms Aristotle's scheme allows, only 24 are valid, and a diagram of three circles decides which.

Named by 2 essays across one field — each of them below, with the objects they name alongside it.

The 256 syllogistic forms, and the 24 that work. A grid with one cell per syllogistic form, marked according to whether it is valid and what it needs to be valid.

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.

logic · Class diagrams Carroll's babies and crocodiles, on four ellipses. Four overlapping ellipses labelled with the four classes of a sorites, the regions emptied by its premises shaded, and the regions its conclusion requires to be empty outlined.

The conclusion is what survives the erasing

Lewis Carroll's puzzles give three premises about four classes — babies, logical people, the despised, crocodile-managers — and ask what follows. Draw all four, shade what the premises rule out, then erase the classes the conclusion is not about: a region survives as empty only if everything above it was. What is left is the conclusion, and erasing a class turns out to be exactly one step of resolution.

logic · Class diagrams

Named alongside it

The objects these essays reach for when they reach for this one.

Venn diagramBoolean functionCategorical statementCounterexampleDecision procedureExhaustive searchExistential importImplicationQuantifierResolutionSatisfiabilityValidity

All concepts