The Categories as a High-Order Language

← Part I: The Two Ways of Knowing the Universe

Previously, in Part I

Part I traced the two registers in which the Western mind has encountered the infinite — Pascal's terror, Newton's litigation — and named them, through Spengler, as Faustian and Apollonian. It then argued that the Greek concept of substance (hyle, morphe) was not metaphysical in our sense but radically physical: matter is sense-perception, form is the faculty that organises it, and hylomorphism is a relational physics. The essay closed with the claim that Boole's Laws of Thought and the parallel computations of Planck, Heisenberg, and Poincaré confirm that the Aristotelian scheme was operative beneath the mathematics all along. Part II is the proof.

The Philosopher/Teacher

Aristotle tabulates. Classifies. Taxonomises. Synthesises. Analyses. Orders. Schematises. Sequentialises. We read that list and think: philosopher. Organiser of ideas. Someone who sorted the world into neat categories before science came along and did it properly. But that is exactly the wrong read.

What Aristotle was doing is the same thing a proper mathematician does. The categories of Aristotle are not a conceptual vocabulary. They are a high-order language, a cognitive grammar — and what they are doing underneath, structurally, is calculus.

Aristotle's Taxonomy as Mathematics

Here is what we consistently miss about Aristotle's categories. Take two of them: poson — quantity — and poion — quality. Look at the words themselves. The root is po. The modifier changes. Aristotle is following a precise morphological scheme: maintaining the root, structurally varying the suffix. This is not a habit of language. It is technically-minded selection. Poson is more like a coordinate than a noun.

And here is the thing that changes everything: po is an interrogative root. Not an abstract noun. Not a category label. A question.

Poson — quantity — is really asking: how much? Poion — quality — is really asking: what kind? The categories of Aristotle are not a filing system. They are a system of enquiry. Each one is a question the mind directs at the world, not a box it puts the world into. This is the mathematical sensibility we keep missing. For the classical mind, syntax and mathematics are identical. The categories are not formulated for the purpose of categorisation; they are, in themselves, a high-order language. And insofar as pure mathematics is operative in any calculation, the same structure is running underneath.

The Interrogative as First Principle

"All men by nature desire to know."

Aristotle, Metaphysics, I.1, 980a21

That is not a preamble. It is the thesis. Physis — nature — is defined by its orientation toward knowledge. Toward enquiry. Aristotle opens not with axioms, but with wonder. Wonder, for him, is a summum bonum — the highest good — because wonder is the mind in its most natural, most physis-aligned state:

"It is owing to their wonder that men both now begin and at first began to philosophise."

Aristotle, Metaphysics, I.2, 982b12–13

And Plato, in a related move, justifies the Socratic method by arguing that the question is not merely a tool for finding answers — it is the thing that discloses being. That makes the object available to thought. Gadamer, reading Plato, put it precisely:

“The essence of the question is to have sense. Now sense involves a sense of direction. Hence the sense of the question is the only direction from which the answer can be given if it is to make sense. A question places what is questioned in a particular perspective. When a question arises, it breaks open the being of the object, as it were.”

Hans-Georg Gadamer, Truth and Method (1960)

This is a theory of everything. Not a body of answers, but a method. A primum ultimum — a first and final principle — that is not a substance, not a law of physics, but a mode of enquiry.

And if physis is fundamentally interrogative — if the Greek theory of everything is really a method of questioning — then the categories are not answers. They are instruments of that method.

Poson asks: how reproducible is this property? Poion asks: what is the nature of the property being reproduced? The mathematical operation underneath is export — taking a property and applying it across an unlimited set of objects. Frege understood this when he formulated the quantifier: there exists an x such that p(x). The word "quantifier" itself derives from the Latin quantus — "how much." Frege, working two millennia later, independently arrived at the same interrogative structure (Gottlob Frege, Begriffsschrift (Halle, 1879), The Foundations of Arithmetic (1884))

The Paradoxes as the Method Performing Itself

Here is where it gets counterintuitive.

The Greeks are famous for their paradoxes. Zeno's arrow — does it move? The Tortoise and Achilles — does he ever catch up? The Ship of Theseus — is it still the same ship once you've replaced every plank? The Cretan Liar — if a Cretan says all Cretans are liars, is he lying? We tend to read these as problems. Puzzles the Greeks got stuck on. Philosophical curiosities that mathematics eventually solved.

But that is not what they are.

The paradoxes are the method performing itself. They are not failures of Greek thought — they are demonstrations of it. Each one takes an object — an arrow, a ship, a runner — and directs the interrogative at its most pressure-bearing point. Not to reach a conclusion. But to hold the question open.

Aporia — the state of being without a path — is not a failure condition for the Greek. It is the destination. The law of non-contradiction says: state neither conclusion nor inconclusion, because physis transcends both. Nature, being, form — these are not things you conclude about. They are things you remain in contact with, through the sustained act of questioning.

Samuel Alexander put it this way: two things can only be said to be identical if they are different, and different if they are identical. [Samuel Alexander, Space, Time, and Deity (London: Macmillan, 1920), Vol. I] The paradox is not a logical failure. It is a precise description of how things actually are.

Quantum physicists understood this when designing quantum computers. A quantum processor is only quantum if it maintains superposition during calculation — neither resolved to zero nor to one until the measurement is made. Superposition, to the classical mind, is simply physis. The norm. Their primum ultimum. The arrow is in flight and at rest. Achilles catches up and does not. The ship is the same and is not. Not because the Greeks could not resolve the contradiction — but because the contradiction is the structure of the thing.

Language as Morphe

Here is a criticism you will have heard.

"There are two ways of comprehending nature — the one by examining the words only and the thoughts which they call up; the other by attending to the facts and things which bring these notions into being. The Greeks followed the former, the verbal or notional course, and failed."

William Whewell, History of the Inductive Sciences, Vol. I, Book I, Ch. I, §2 (London: J.W. Parker, 1837)

And Gomperz agreed — as Ogden and Richards record in The Meaning of Meaning:

"Aristotle often suffers himself to be led by the forms of language — not always from inability to free himself from those bonds, but at least as often because the demands of dialectic will not allow him to quit his arena."

Gomperz, Greek Thinkers, Vol. 4 — quoted in C.K. Ogden & I.A. Richards, The Meaning of Meaning (London: Kegan Paul, 1923)

Led by language. Seduced by words. That is the indictment.

But here is the reframe: what if the fixation on language was not a failure of rigour — but the most rigorous thing the classical mind could do?

Language is the product of morphe. And morphe expresses itself in the language of the speaker — because it is specifically here, as an innate structure, that its actual rules and patterns are found. The po root is not a linguistic accident. It is morphe at work in the grammar, making visible the interrogative structure that underlies all enquiry.

Benjamin Lee Whorf spotted this from a completely different angle. Writing in "Science and Linguistics," he described "obligatory phenomena" within language — compulsory structures that organically control and regulate the speaker's expression. These are not choices. They are the shape thought takes before thought knows it is being shaped:

"Every language is a vast pattern-system, different from others, in which are culturally ordained the forms and categories by which the personality not only communicates, but also analyses nature, notices or neglects types of relationship and phenomena, channels his reasoning, and builds the house of his consciousness."

Benjamin Lee Whorf, "Science and Linguistics" (1940)

The language is not a container for thought. It is the form thought takes.

And this is why physicists keep borrowing Greek alphabetic symbols for their notation. It is not convention. It is not aesthetics. It is the blind trust in a process whose roots and innermost laws remain largely unknown — unknown, to be exact, because we have not probed language to a depth equal to the phenomena whose study language itself makes possible.

Citations

1. Aristotle, Metaphysics, I.1, 980a21 ("All men by nature desire to know"); I.2, 982b12–13 ("It is owing to their wonder…"). Trans. W.D. Ross.

2. Hans-Georg Gadamer, Truth and Method (1960), Part II, §II.2.3c: "The hermeneutic priority of the question." Trans. Joel Weinsheimer & Donald G. Marshall (London: Bloomsbury, 2013).

3. Gottlob Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Halle: Louis Nebert, 1879), §11. Cf. The Foundations of Arithmetic (1884), §46, on the existential quantifier.

4. Samuel Alexander, Space, Time, and Deity, 2 vols. (London: Macmillan, 1920), Vol. I. The identity-difference formulation is attributed to Alexander in discussions of his emergent realism.

5. William Whewell, History of the Inductive Sciences, from the Earliest to the Present Times, Vol. I, Book I, Ch. I, §2 (London: J.W. Parker, 1837).

6. Theodor Gomperz, Greek Thinkers: A History of Ancient Philosophy, Vol. 4 — passage quoted in C.K. Ogden & I.A. Richards, The Meaning of Meaning: A Study of the Influence of Language upon Thought and of the Science of Symbolism (London: Kegan Paul, Trench, Trubner & Co., 1923), Ch. II, p. 34.

7. Benjamin Lee Whorf, "Science and Linguistics" (1940), in Language, Thought, and Reality: Selected Writings of Benjamin Lee Whorf, ed. John B. Carroll (Cambridge, MA: MIT Press, 1956), p. 252.