How to Think Like Aristotle: The First System of Logic

The Ship That Can’t Not Sink

Imagine you’re in charge of the Athenian navy. You send a fleet of ships toward an island where you know the enemy is waiting. You need to know: will there be a sea battle tomorrow? Someone tells you, “Well, either there will be a battle or there won’t. One of those has to be true right now. So if ‘There will be a battle’ is true today, then the battle has to happen tomorrow. There’s no way it can’t. And if it’s false today, then it can’t happen. So either way, there’s nothing anyone can do about it.”

That’s unsettling. If what you’re going to do tomorrow is already fixed by what’s true today, then planning, choosing, and deciding are all illusions. This puzzle—sometimes called the Sea Battle Argument—was one of the things that got Aristotle thinking about logic in the first place. And Aristotle, who lived in Greece around 350 BCE, was the first person we know of who tried to build a complete system for figuring out what follows from what.

What Is a Deduction?

Aristotle defined a deduction (he called it sullogismos, which is where we get “syllogism”) as an argument where, once you suppose certain things, something else necessarily follows from them. Not probably. Not usually. Necessarily.

Here’s a simple example:

All humans are mortal.
Socrates is human.
Therefore, Socrates is mortal.

If the first two statements are true, the third has to be true. You can’t have true premises and a false conclusion. That’s what makes it a valid deduction.

Aristotle noticed something important: the form of this argument doesn’t depend on what you’re talking about. You could replace “humans” with “birds” and “mortal” with “feathered” and “Socrates” with “that sparrow over there,” and the same pattern would work. The form is: If all A are B, and X is A, then X is B.

This was a huge insight. Before Aristotle, people argued about things, but nobody had sat down and tried to figure out the basic shapes that valid arguments come in. That’s what logic is: the study of the shapes of correct reasoning, separate from whatever you happen to be reasoning about.

The Building Blocks: Terms and Sentences

To understand Aristotle’s system, you need to know what he thought sentences were made of. Every statement that can be true or false, he said, has a subject and a predicate. The subject is what you’re talking about; the predicate is what you’re saying about it. “Socrates is human” — Socrates is the subject, human is the predicate.

But Aristotle noticed something else. Subjects can be either particular (like Socrates, this one specific person) or universal (like “human,” which applies to lots of individuals). Predicates, he thought, can only be universals. You can say “Socrates is human” but “human” applies to many things. You can’t really say “Human is Socrates” in the same way—that would just be saying Socrates is identical to himself, which isn’t a real predication.

So when the subject is a universal, you have more options. You can say:

Universal affirmation: All humans are mortal. (This applies to every single human.)
Universal denial: No humans are immortal. (This also applies to every single human.)
Particular affirmation: Some humans are philosophers. (This applies to at least one human, but not necessarily all.)
Particular denial: Some humans are not philosophers. (This means at least one human is not, but it doesn’t say all aren’t.)

These four types of statements—called categorical sentences—are the raw materials of Aristotle’s logic. Using letters to stand for the terms, logicians later gave them abbreviations: A (all), E (none), I (some), O (some not). So “All humans are mortal” is an A-sentence, and “No humans are immortal” is an E-sentence.

The Syllogism: How Arguments Fit Together

Here’s where it gets interesting. Aristotle asked: if you take two of these categorical sentences as premises, what conclusions can you draw? He figured out that the only way to get a useful deduction is if the two premises share one term in common. That shared term is called the middle term, and the other two are the extreme terms. The conclusion will connect the two extremes.

For example, in:

All humans are mortal. (A-sentence)
All Greeks are human. (A-sentence)
Therefore, all Greeks are mortal. (A-sentence)

The middle term is “human,” which appears in both premises. The extremes are “Greeks” and “mortal,” which appear together in the conclusion. The middle term works like a bridge: it connects the two extremes through the premises.

Aristotle found that the middle term can be arranged in three different ways, which he called figures. The first figure is the one above: the middle term is the subject of one premise and the predicate of the other. The second figure has the middle term as the predicate of both premises. The third figure has it as the subject of both.

Then he went through every possible combination of premises in each figure—there are 256 possible combinations, but most don’t work—and identified exactly which ones produce valid deductions. He found 19 valid forms. For centuries, students memorized them using nonsense names like Barbara, Celarent, Darii, and Ferio. These names weren’t just random; each vowel in the name told you what kind of sentence was in the argument (A, E, I, or O).

Here’s what I mean. Barbara has three A-sentences: All A are B, all B are C, therefore all A are C. Celarent has E, A, E: No A are B, all B are C, therefore no A are C. The vowels in the names encode the pattern.

How Aristotle Proved Things

Aristotle didn’t just list the valid forms. He also proved why they work and why the others don’t.

Some deductions he called perfect—they were obviously valid, so obvious that they didn’t need proof. The first-figure deductions were perfect. Others were imperfect—they were valid, but you could prove them by reducing them to the perfect ones. This is where Aristotle does something that looks a lot like modern logic: he shows that all valid syllogisms can be “reduced” to just the two universal ones in the first figure.

He did this using two methods. Direct proof involved converting statements (for example, “No A are B” can be turned around to “No B are A”) and then combining them with first-figure deductions. Proof through the impossible involved assuming the opposite of what you want to prove, showing that it leads to a contradiction with the premises, and concluding that your original conclusion must be true.

This is remarkably similar to how mathematicians prove things today. Aristotle was doing something that wouldn’t be done again for over two thousand years: studying the system of logic itself, not just using it.

The Problem of Knowledge

Now we need to step back. Logic isn’t just about arguing. Aristotle thought it was connected to knowledge itself. In fact, he wrote a whole book called the Posterior Analytics about what it means to really know something.

His question was: can everything be proved? If you know something because you proved it from premises, then you need to know those premises too. But if those premises were proved from other premises, you get an infinite chain. Eventually, you have to start somewhere. But if you start with premises that aren’t proved, then how can you claim to know them?

One group of philosophers said this proved that knowledge is impossible. Another group said you could prove things in a circle—A proves B, B proves C, and C proves A. Aristotle rejected both. Circular proof, he said, is nonsense because in any real proof the premises must be better known than the conclusion, and you can’t have the same thing better known than itself.

Instead, Aristotle claimed that there is a special kind of knowledge called nous (often translated as “insight” or “intellectual intuition”) that grasps the basic starting points of a science directly. He compared it to perception. Just as your eyes are built to see colors when colors are present, your mind is built to recognize basic truths when you have enough experience. You don’t learn how to see; you just do it. Similarly, you don’t learn basic principles by proving them; you just recognize them when you’ve encountered enough examples.

This is a hard idea to pin down, and philosophers still argue about what exactly Aristotle meant. But the basic picture is this: some knowledge comes from reasoning, and some knowledge comes from just “getting it” after enough experience.

What About Things That Might Happen?

Remember the sea battle? Aristotle’s solution to that puzzle was careful. He said that while it’s true that either “There will be a battle tomorrow” or “There will not be a battle tomorrow” is true now, this doesn’t mean we can know which one is true. And more importantly, it doesn’t mean that the future is fixed.

His point was subtle. He thought that statements about the past or present are either true or false in a definite way. But statements about contingent future events—things that could go either way—are not yet settled. The truth of “There will be a battle tomorrow” depends on what actually happens tomorrow. Right now, it’s neither definitely true nor definitely false in the same way that “Socrates is sitting” is definitely true or false right now.

This might seem like a small technical point, but it matters a lot. If every statement about the future is already true or false, then everything that happens is necessary—it couldn’t be otherwise. That would mean there’s no such thing as free choice. Aristotle wanted to preserve the idea that some things really are up to us, and the sea battle argument was threatening that.

Why This Still Matters

Aristotle’s logic is not the logic we use today. Modern logic can handle sentences like “If it’s raining then the ground is wet” (conditionals) and “Either it’s raining or it’s snowing” (disjunctions), which Aristotle’s system can’t handle well. And modern logic has tools for talking about quantities in much more sophisticated ways.

But Aristotle’s work was the first systematic attempt to understand the structure of valid reasoning. He showed that you could study the form of arguments separately from their content. He showed that some arguments are so basic they don’t need proof, and that all other valid arguments can be reduced to them. And he showed that logic connects directly to deep questions about knowledge, necessity, and what it means for things to be possible or impossible.

The next time someone argues with you and you realize their conclusion doesn’t follow from their premises, you’re thinking like a logician. And the next time you wonder whether the future is already fixed or whether you really have choices, you’re thinking about a problem that Aristotle himself wrestled with. Logic isn’t just about winning arguments. It’s about understanding how thinking works.

Appendices

Key Terms

Term	What it does in this debate
Deduction (syllogism)	An argument where the conclusion necessarily follows from the premises
Categorical sentence	A sentence with a subject and predicate, of the form “All/Some/No X are Y”
Middle term	The term shared by both premises that connects the two extremes
Figure	The arrangement of the middle term in the premises (three possible patterns)
Perfect deduction	A deduction so obviously valid it needs no proof
Reduction	Proving an imperfect deduction by converting it to a perfect one
Nous (insight)	The special mental capacity that grasps basic truths without proof
Contradiction	A pair of statements where one denies what the other affirms; they can’t both be true
Contingent future	An event that hasn’t happened yet and could go either way

Key People

Aristotle (384–322 BCE): A Greek philosopher who studied under Plato, tutored Alexander the Great, and wrote the first systematic works on logic. He invented the syllogism and argued that logic is the tool for all reasoning.

Things to Think About

Aristotle thought some deductions were “perfect” because they were obviously valid—they needed no proof. But what counts as “obvious” might differ from person to person. Can you think of an argument that seems obvious to you but might not be obvious to someone else? What does that mean for logic?
If the future isn’t fixed—if “There will be a sea battle tomorrow” isn’t true or false right now—then what about other statements? Is “A human will land on Mars by 2050” true or false right now? If it’s not, what makes it different from “Socrates is mortal”?
Aristotle said that to really know something, you have to know why it’s true. That means knowing its causes. But do you know things without knowing why? For example, do you know that 2+2=4? Do you know why it equals 4? Is there a difference?
The sea battle argument seems to show that if the future is already determined by what’s true now, nothing is up to us. But what if determinism is true? Would that mean you can’t actually make choices? Or could “choice” still mean something even in a determined world?

Where This Shows Up

Every time someone says “that doesn’t follow”: You’re using informal logic. When you point out that someone’s conclusion doesn’t match their evidence, you’re doing what Aristotle systematized.
In computer programming: Boolean logic and the way computers handle “if-then” statements descend from this tradition. So does the way programmers prove their code works.
In law courts: Lawyers build cases using evidence (premises) to reach conclusions. A judge might throw out an argument if the conclusion “doesn’t follow” from the evidence.
In arguments about fate and free will: The sea battle problem is still alive. Some philosophers think the future is fixed (determinism); others think it’s open. Your views on this affect how you think about moral responsibility, punishment, and even everyday decisions.