The Seven Liberal Arts, Hands-On: Logic, Proof and the Quadrivium

A practical guide to the trivium and quadrivium, with a practice and a made thing for each art, plus a path through Socratic questioning, Aristotle's logic and Euclid's method.

The seven liberal arts were the core curriculum of the ancient and medieval West. Three are arts of language and argument; four are arts of quantity (number and magnitude). They are old, but they are not museum pieces. Each one can be practised this week and leave behind something you made.

The seven arts and their order

The set of seven is usually traced to Martianus Capella (5th century CE). The word quadrivium is usually credited to Boethius (early 6th century). The names trivium and quadrivium for the two groups became standard later in the medieval period. This is the standard account, not checked here against the primary texts; the exact origin of each term is less certain than the arts themselves.

On the scholastic reading, set out in the Order of the Seven Arts, the order carries an argument. This page's version runs as follows. You first learn to read precisely (grammar), reason validly (logic) and speak persuasively and honestly (rhetoric). Then you apply those tools to quantity. Nicomachus (Introduction to Arithmetic I.3) gives the classical division. Arithmetic is number in itself, music is number in relation, that is ratio. Geometry is magnitude at rest, astronomy magnitude in motion. The popular gloss "music is number in time" is a later simplification. The quadrivium is where reasoning meets things that can be checked. If you skip the trivium, you cannot tell a proof from a plausible story. If you skip the quadrivium, the trivium never meets resistance. That reading is an interpretation, Provisional. The arts themselves are laid out as a course in the curriculum.

The trivium in practice

Grammar. Practice: Parse before judging: work out what every word and clause in a short passage is doing before you decide whether you agree. Made thing: A parsed passage with an error log.
Logic. Practice: Reconstruct an argument as numbered premises and a conclusion, and mark the weakest premise. Made thing: An argument map.
Rhetoric. Practice: Defend one thesis against its best objection in 600 to 1,000 words. Made thing: A finished short essay.

Grammar here means more than syntax. It means reading slowly enough to find out what a text actually says. The same habit helps with contracts and technical documentation. For logic, see Proof and Precise Reasoning, which covers validity, soundness and counterexamples. For rhetoric, English Expression Mastery gives a twelve-week routine. The test of rhetoric is honesty under pressure: your essay should state the strongest objection fairly before it answers it.

The quadrivium in practice

Do one quadrivium art at a time; do the trivium weekly.

Arithmetic. Read the number-theory books of Euclid (VII to IX) or Nicomachus. The made thing is a short program that tests a conjecture before you try to prove it. Example: Euler's polynomial n squared plus n plus 41 gives a prime for every n from 0 to 39. That tempts you to believe it always does. Run the code and n = 40 gives 1681, which is 41 squared. Testing refutes quickly; it never proves. Demonstrated by the calculation. Euclid's proof that there are infinitely many primes (Elements IX.20) shows what proof adds.

Geometry. Work through Euclid's Book I one proposition at a time. Write the proof yourself, then draw the construction in code. See Geometry, Euclid and Trigonometry and Euclid's postulates.

Music. Music is the art of ratios. The Pythagorean tradition is credited with the whole-number ratios of consonant intervals: 2:1 for the octave, 3:2 for the fifth. The comparison to make is between three tunings. A just major third (5:4) is about 386 cents. A Pythagorean major third (81:64) is about 408. The equal-tempered third is exactly 400. Stacking twelve pure fifths overshoots seven octaves by the Pythagorean comma, about 23.5 cents. Generate the intervals in code, listen to them, and try the monochord. Demonstrated (it is arithmetic you can hear).

Astronomy. Compare Ptolemy's epicycles with Kepler's ellipses. A caution: epicycles are not simply "wrong". With enough of them you can approximate almost any periodic motion. Fourier analysis later formalised that fact. Kepler's gain was a compact, physically meaningful description. Fit his third law to real data. Mars has a semi-major axis of about 1.524 AU and a period of about 1.881 years. Cube the first and square the second: both come to about 3.54. Established

Three teachers of method

Socrates: definition, humility, examination

Plato's early dialogues show a method, the elenchus. A claim is tested by asking for definitions and drawing out consequences. In the Euthyphro, Socrates asks what piety is and finds fault with each answer. In the Meno, he asks whether virtue can be taught. He leads a slave boy to see that doubling a square's area means building on its diagonal. Take from these a habit: ask what the word means before arguing about the thing.

Aristotle: the Organon

The Organon is a later editors' grouping of six logical works. The Categories classifies kinds of things. On Interpretation treats propositions. The Prior Analytics founds the syllogism, for example: all mammals are animals; all dogs are mammals; so all dogs are animals. The Posterior Analytics describes demonstration from first principles. The Topics covers dialectical argument and the Sophistical Refutations catalogues fallacies. Established as history; Aristotle's syllogistic is a valid but limited fragment of modern logic.

Euclid: definition, axiom, construction, proof

Euclid begins with definitions, postulates and common notions, then builds 48 propositions in Book I. A good exercise: rewrite an argument from daily life in Euclidean form. Define terms, state assumptions, derive the conclusion step by step. Euclid's proofs are not gap-free by modern standards. For example, I.1 assumes without proof that two circles intersect. Closing that gap needs a continuity principle, which Euclid never states. Hilbert's axioms supply one, once his later axiom of completeness is added. The Academy's proposition on I.1 shows why the gap is real. Even so, the model remains one of the clearest pictures of deductive order.

Telling kinds of claim apart

Learn to tell these apart:

Proof: the conclusion follows necessarily from the premises.
Evidence: observation bearing on a claim.
Inference: a step from evidence to a claim.
Analogy: a similarity, which suggests but does not establish.
Rhetoric: persuasion, which can be honest.
Propaganda: persuasion that works by bypassing your judgment.

Label which one you are reading, and which one you are writing. Analogy deserves special care. The parallels this page draws between music, astronomy and argument are analogies, not demonstrations.

Pacing and where this leads

Do one trivium exercise each week, and give each quadrivium art a month. Then modern logic opens up, starting with Boole's The Laws of Thought (1854). Judgment Under Uncertainty: Probability, Causation and Forecasting carries the path into probability and causes. A Map of Mathematics: Twenty-Five Areas and What Depends on What shows how the branches depend on each other. How to Read a Great Book: Levels, Modes and the Completion Standard explains how to read the primary texts named here.

Where this could be wrong

The strongest objection. The order may be school convention, not a chain of dependence. Nobody needs rhetoric to count. Euclid's proofs teach logic as well as any logic book.

The best reply. The claim is about method, not content. Counting needs no trivium, but telling a proof from a plausible story does. Definition, valid inference and honest statement are what make the quadrivium's checks bite.

What would settle it. Compare learners who start with formal logic against learners who start with Euclid. Score both later on spotting a bad proof. No such comparison is cited here, so the order stays Provisional.

Try this

Pick a short paragraph from a text you admire. Write its premises and conclusion as a numbered list, and mark the weakest premise.
Test a fresh conjecture: "if n is prime, 2 to the power n, minus 1, is prime too". Try n = 2, 3, 5, 7 and 11 by hand or in code. Note where it fails, and what the test did and did not show.
Construct an equilateral triangle on a line with compass and straightedge, as in Elements I.1. Then write down the step Euclid never justifies.
Compute the three major thirds (5:4, 81:64, and 2 to the power 1/3) in cents and listen to them in order.