Aristotle discovers the syllogism, establishes that knowledge requires axioms (no infinite regress), enunciates the laws of logic as laws of “being qua being,” and devises the technique of reaffirmation through denial to silence the skeptic who denies them.
Source: YouTube (40:33) Links: Series Index, Episode 14: Aristotle’s Epistemology
If Aristotle had little to say about induction, he had a great deal to say about deduction. For the first time in human history, he asked: what do we actually do when we defend a conclusion by stating premises? What is the structure of human reasoning?
The discovery of the middle term. Take: “All men are mortal; Socrates is a man; therefore Socrates is mortal.” The conclusion relates two terms (Socrates, mortality). But there is a third term — “man” — that appears in each premise, linking the other two. In one premise it’s linked to Socrates; in the other, to mortality. What we do when we reason is discover such a linking term — what Aristotle calls the middle term — which relates the two terms connected in the conclusion.
The syllogism defined (modern formulation): A deductive argument with two premises, containing only three terms, two of which are linked in the conclusion as a result of the linking of each of them with the third (middle) term in the premises.
The three terms:
Reasoning = the quest for the right middle term. Science and explanation are always a search for the middle term that explains and proves the conclusion. Objectivist example: “Price controls are wrong.” What middle term connects “price controls” and “wrong”? Answer: compulsion. “Price controls are a form of compulsion; compulsion is wrong; therefore price controls are wrong.” And then: what middle term connects “compulsion” and “wrong”? The anti-mind. And so on.
Invalid syllogisms. Not every three-term argument works. “Pigs are mortal; men are mortal; therefore men are pigs” — three terms, but the conclusion doesn’t follow. “Communists are atheists; you are an atheist; therefore you are a communist” — same problem. When does the middle term function correctly and when doesn’t it?
Exhaustive classification. Aristotle answered this for every possible type of syllogism — 256 varieties — in the Prior Analytics. He classified all types of premises (universal vs. particular, affirmative vs. negative), all positions of the middle term, and defined the fallacies that result from each invalid form. Medieval scholastics later named every valid form: “Barbara” (all men are mortal; Socrates is a man; therefore Socrates is mortal), “Darii,” “Ferio,” “Baroco,” etc. They became so familiar with the forms that they could instantly call out the logical name of any argument.
Achievement. “He is the first man ever to think about the thinking process and define its rules.” There are other types of deductive argument besides the syllogism (which Aristotle didn’t fully explore), but the syllogism is the essential deductive argument. He carved out the entire subject of logic from scratch. He defined for the first time what it means to prove something — to establish it objectively on the basis of facts. “The birth of reason” means specifically: reason as an explicit, conscious, defined, objective method.
Proof is the demonstration of a proposition by inference from premises. But what proves the premises? Further premises. And those? At some point, either:
If there were no axioms, all knowledge would be hypothetical (“if this, then that”) and we’d never know whether anything was actually true. We’d be “in the position of saying we have reached the knowledge that there is no knowledge.” Therefore: there must be basic self-evident truths — starting points for all human knowledge.
Aristotle calls these the archai (singular: arche) — beginnings or first principles. It is improper to demand proof of them, because they are the ultimate foundation of proof itself. Deny them and you wipe out the very concept of proof. “To demand a proof of everything argues want of education.”
Aristotle distinguishes two types of axioms:
Each science has its own basic premises. The ultimate goal of a science is to find these first principles — you induce deeper and deeper until you reach them. Once grasped, they are “self-luminous, self-intelligible,” requiring no proof from outside themselves (like “a straight line is the shortest distance between two points” in geometry). Then you turn around and deduce from them all the laws and facts you earlier reached by observation and induction.
Against Plato’s single ultimate principle. Aristotle insists there is no one all-encompassing insight from which every subject is deduced. As the father of logic, he knows: you cannot have a term in your conclusion that did not appear in your premises. Mathematical conclusions require mathematical premises; physical conclusions require physical premises. Therefore Plato’s goal of a vision of the Good from which everything flows “is simply a myth.” There are distinct sciences, each with its own domain and axioms.
This is the birth of the concept of a specific science. Before Aristotle, there was only sophia (wisdom) — undifferentiated. Aristotle is therefore not only the father of logic but of science itself: the very idea of a delimited subject matter studied by an objective methodology.
The universal axioms presupposed by all knowledge are the laws of logic:
Laws of being qua being. These are not laws of living things (biology), or of quantities (mathematics), but laws of reality insofar as it is real — laws of everything that exists, simply by virtue of the fact that it exists. “Being qua being” = everything, considered as existing. Knowledge of these laws is a precondition of acquiring knowledge of anything, in any field, at any level.
How do we arrive at them? Not by reasoning — that would be circular (you need the laws of logic to reason). By direct abstraction from self-evident sensory facts. “This cup is not both red and not red. This table is not both green and not green. This lady is not both tall and not tall.” At a certain point, if we’re “not too dense, we get the message”: nothing can be A and non-A. The faculty that grasps this is called nous (mind) — translated as “intuitive nous” in English translations of Aristotle, but with no mystic connotations whatsoever. It simply means the human mind’s capacity to grasp self-evident principles.
Aristotle had to deal with skeptics who said the laws of logic aren’t self-evident. His reasoning: if the laws of logic are truly the foundation of all human thought, then even the person who denies them must rely on them to make his denial. They are truly inescapable.
The technique: Get the skeptic to say something meaningful — anything. If it’s meaningful, it must mean what it means. It must have one meaning and exclude its opposite. In other words, it must adhere to the law of contradiction. If the skeptic says “man,” he must mean man and not non-man. If the law of contradiction weren’t true, every word would simultaneously mean its opposite; you couldn’t utter an intelligible sentence.
The hypothetical conversation:
Skeptic: “The law of contradiction is false.” Aristotle: “I’m glad to hear that you accept it.” Skeptic: “What? I just said it’s false!” Aristotle: “I’m glad you are such an avid champion of the law of contradiction.” Skeptic: “I reject it. Everything is A and not-A.” Aristotle: “…If it’s false, it’s false. After all, A is A.”
The skeptic cannot state his denial without using the very principle he denies. This is the technique of reaffirmation through denial — the skeptic is forced to reaffirm the laws in the act of denying them.
Consequences for the consistent skeptic: He “cannot speak, cannot maintain nothing.” From Aristotle’s Metaphysics (Book Gamma): “Such a man says nothing. For he says neither yes nor no, but yes and no; and again he denies both of these and says neither yes nor no — for otherwise there would already be something definite.” And: “If he makes no judgment but thinks and does not think indifferently, what difference will there be between him and a vegetable?” — meant literally, not as insult. A man who renounces the conceptual faculty renounces consciousness itself.
The practical test. Aristotle’s devastating observation: “Why does a man walk to Megara and not stay at home when he thinks he ought to be walking there? Why does he not walk early some morning into a well or over a precipice? Evidently because he does not think that falling in is alike good and not good.” The skeptic’s actions prove he makes unqualified judgments — he distinguishes man from non-man, sweet from not-sweet, safe from dangerous. His philosophy contradicts his life.
The correspondence theory of truth. Aristotle gave the first formal definition: “To say of that which is that it is, or of that which is not that it is not, is true. To say of that which is that it is not, or of that which is not that it is, is false.” Truth is the relationship between a statement and reality — correspondence. Peikoff notes this sounds like common sense, and “no one could appreciate it until they steep themselves in Kant, Hegel, Dewey, and the pragmatists.”
The systematic classification of fallacies. Aristotle was the first to organize and define common errors of reasoning: begging the question, equivocation, complex question, oversimplified generalization, composition, division, ignoratio elenchi, and many others. This has been the basis for fallacy classification in logic courses ever since.
Peikoff’s summation of Aristotle’s firsts:
“He did not say the last word on most of these subjects, but he did say virtually the first. He is therefore the father of reason and of the scientific method in all of its essentials.”
Analytic/synthetic dichotomy in Aristotle? If interpreted as logical vs. factual — no. Aristotle believed the laws of logic are facts of reality. But if interpreted as necessary vs. contingent truths — yes, he makes this distinction, partly because he holds essences are intrinsic (a Platonic residue). This ties to his not fully endorsing universal causal necessity.
Most influential single contribution? “If I had to select one, I’d say the laws of logic.”
Correspondence theory criticism (“we can’t get outside our minds”)? Peikoff’s response: what justifies the premise that we don’t perceive reality directly? The Protagorean argument — which is itself the primacy of consciousness. If you reject that premise, the correspondence theory works fine.
Can the laws of logic be proved? No. Any proof would have to use them, which is begging the question. “You can’t prove the principles of proof.” You can only point to reality and use the reaffirmation-through-denial technique against skeptics.
Does the axiom of existence imply the primacy of existence? Yes. You must begin with the axiom of existence — you cannot begin with consciousness, because the first question would be “conscious of what?” Existence must come first; only then can consciousness be established. This ordering implies the primacy of existence over consciousness.
The syllogism presentation makes logic feel like discovery, not formalism. Peikoff’s framing — reasoning is “the quest for the right middle term” — transforms the syllogism from a dry taxonomic exercise into an active intellectual pursuit. The price-controls example shows the syllogism in action: you don’t just classify arguments, you search for the connecting concept that makes sense of things. This is how logic was originally conceived — as a tool for understanding, not a parlor game.
The “no infinite regress” argument for axioms is airtight. Either there are self-evident starting points, or all knowledge is hypothetical. The alternatives — infinite regress or arbitrary foundations — are genuinely exhaustive, and both lead to the collapse of knowledge. The demand for “proof of everything” is not intellectual rigor but a failure to understand what proof is. Peikoff’s delivery of Aristotle’s line — “to demand a proof of everything argues want of education” — is perfectly placed.
Reaffirmation through denial is one of the most powerful philosophical arguments ever devised. The insight that the skeptic presupposes the law of contradiction in the act of denying it is genuinely inescapable. It doesn’t prove the law of contradiction in the way a theorem is proved (it can’t — that would be circular), but it shows that the denial is self-defeating. The hypothetical conversation is a masterpiece of philosophical drama. And the practical test — why doesn’t the skeptic walk into a well? — moves the argument from pure logic into life. The skeptic’s actions refute his words.
The “being qua being” formulation captures something profound about the laws of logic. They are not laws of this or that domain but laws of anything that exists, insofar as it exists. This gives them a scope and weight that no domain-specific principle can have. It also explains why they can’t be proved from more fundamental premises — there are no more fundamental premises. They are the floor.
The claim that the syllogism is “the essential deductive argument” is too strong. Aristotle believed this, and Peikoff endorses it, but modern logic has shown that syllogistic reasoning is a subset of valid deductive reasoning. Propositional logic (if-then reasoning, disjunctive syllogism), predicate logic with quantifiers, relational reasoning, and mathematical proof all involve valid deductions that cannot be captured in the three-term syllogistic form. Aristotle gets credit for identifying one fundamental pattern of reasoning, but calling it the essential form overstates the case. His followers’ two-millennium fixation on the syllogism as the only form of valid reasoning actually held logic back — the Stoics had already developed propositional logic, which was largely ignored until the 19th century.
“Self-evident” does a lot of work and needs scrutiny. Aristotle’s position is that axioms are not proved but grasped by nous as self-evident. This works well for the laws of logic (it’s genuinely impossible to deny them without using them). But Aristotle also applies it to the first principles of each specific science — and history shows that what seems “self-evident” in physics or biology often turns out to be wrong. “Heavy objects fall faster than light ones” seemed self-evident for two millennia. The extension of the self-evidence model from logic (where it’s compelling) to empirical science (where it’s dangerous) is a significant vulnerability.
The correspondence theory of truth is stated but not defended against the serious objection. Peikoff dismisses the criticism (“we can’t get outside our minds to check correspondence”) by saying it presupposes the primacy of consciousness. This is correct as far as it goes — if you hold that we perceive reality directly, correspondence is straightforward. But the argument for direct perception hasn’t been given in this episode. The defense amounts to: “reject the bad premise and the problem disappears.” A fuller treatment would show why the premise of perceptual imprisonment is false, not just that rejecting it solves the problem.
The separation of sciences has a tension with the quest for unity. Aristotle insists there is no single principle from which all knowledge is deduced — each science has its own axioms. This is a reasonable corrective to Plato’s Form of the Good, and it correctly reflects how actual sciences work. But modern science has repeatedly unified previously separate domains (Newton unifying terrestrial and celestial mechanics, Maxwell unifying electricity and magnetism, the Standard Model unifying three forces). The trend of science is toward fewer, more general principles — which looks more like Plato’s aspiration (minus the mysticism) than Aristotle’s strict domain separation. Aristotle’s logical point (you can’t deduce biology from mathematics alone) is correct, but the picture of permanently separate sciences with permanently separate axioms has not held up.
On the syllogism: Dominated logic for over two thousand years — both a triumph and a limitation. It was the only formal logical system from ~350 BC until Frege’s Begriffsschrift (1879). Its influence was so great that Kant declared logic to be essentially complete since Aristotle. But the 19th-century revolution in logic (Boole, Frege, Russell) showed that the syllogism captures only a fragment of valid reasoning. Modern logic subsumes syllogistic reasoning as a special case but goes far beyond it. The syllogism remains a powerful pedagogical tool and captures a genuinely important pattern of thought, but it is no longer regarded as the foundation of all deduction.
On the laws of logic: Aristotle’s supreme achievement, and the most durable. The law of non-contradiction has been challenged (by Hegel’s dialectic, by dialetheist logicians like Priest), but every serious challenge either redefines the terms or operates within a framework that still presupposes non-contradiction at the meta-level. The law of excluded middle has been questioned more successfully (intuitionistic logic rejects it for undecided propositions), but classical logic retains it as default. The fundamental insight — that reality has a definite character, and thought must respect it — remains the foundation of rational inquiry.
On reaffirmation through denial: One of the most cited and least refuted arguments in the history of philosophy. The technique has been rediscovered and repurposed many times: Descartes’ cogito has a similar structure (doubting presupposes a doubter), and transcendental arguments in Kant and after follow the same pattern (showing that the denial of a principle presupposes the principle). The technique doesn’t “prove” axioms in the deductive sense, but it establishes that their denial is self-defeating — which is arguably the strongest form of philosophical justification available for foundational principles.
On the correspondence theory of truth: Still the default theory, despite centuries of alternatives (coherence theory, pragmatic theory, deflationary theory, Hegel’s identity theory). The alternatives have generated important insights, but none has displaced the basic intuition that truth is “telling it like it is.” Every time you check a fact, verify a claim, or correct an error, you are implicitly operating within the correspondence framework. The philosophical objections (how do you compare a statement with reality? how do you access the “fact” independently of your representation of it?) remain open, but the theory retains its grip because the alternatives all seem to describe something other than what we ordinarily mean by “true.”
philosophy, objectivism, peikoff, epistemology, logic, history