Aristotle · Philosophy

Reasoning Has a Shape

Validity lives in an argument’s form, not in what it talks about.

From the lesson

All triangles are three-sided figures, and all three-sided figures are polygons. You have just granted that all triangles are polygons. You cannot refuse it without taking back one of the two statements you allowed. Something forces the third claim on you, and it is not your goodwill.

Aristotle set out to study that compulsion. People had argued for centuries before him, but nobody had studied what makes an inference hold. He asked the question, and answered it with a definition in the Prior Analytics. A syllogism - his name for an argument of that shape - is one whose conclusion follows of necessity from the statements given. And one clause does the hard work: no further term may be brought in from outside.

His logical works were gathered later as the Organon - the instrument of reasoning - and they founded logic where no such study had existed. Reasoning itself had become an object with parts. Which leaves the working question: how do you tell when a third statement is genuinely forced?

Nothing about triangles made that argument work. Take the pattern by itself: all A are B, all B are C, therefore all A are C. Put in men, mortals, mammals and it holds.

Put in triangles, three-sided figures, polygons and it holds. It holds whatever A, B and C stand for, because what holds it up is the shape and not the subject. Aristotle’s central discovery is this: validity - the property of an argument whose conclusion cannot fail - is a matter of form, not content.

The letters are part of the discovery, not a convenience. To show that a pattern holds whatever the terms may be, he wrote the terms as letters and studied the pattern alone. That was the first formal notation, and it let an argument be inspected like a diagram.

Not everyone has counted the result a finished science. In the nineteenth century Gottlob Frege charged that the syllogistic is a narrow fragment. It cannot express relations.

It cannot express the multiple generality that pervades mathematics. On that charge the long reign was stagnation, not completeness: a theory held the field for two thousand years because logic had stopped moving. Aristotle thought he had reached deeper than any particular pattern, down to a principle no argument can break.

This is the opening of the lesson. The rest — the dialogue, the primary source, and the recall — is in the app.

What you'll be able to recall

You studied Aristotle’s logic. State what a syllogism is, where he located an argument’s validity, and what the law of non-contradiction claims - in your own words.

Leads to Gottlob Frege.

Begin this lesson →
← All lessons on Aristotle

epoché — a humanities education that remembers you.