When Is Something Truly Necessary? Avicenna’s Answer
The writer in the lamplight
In a quiet room in Persia, around the year 1020, a man in his late twenties bent over a desk and wrote until the lamp burned low. His name was Abu Ali al‑Husayn ibn Sina, but we call him Avicenna (980–1037). He was putting together a giant encyclopedia of everything he knew. The part about logic took up a whole book—and it didn’t just repeat old ideas. It asked a question nobody had answered the same way before: when we say something must be true, what are we really claiming?
Avicenna’s answer changed logic forever. It gave thinkers a much sharper language for talking about what is necessary, what is only possible, and what is downright impossible—and it still matters whenever you say “if this, then that” or “every X is Y.”
What logic is for (and why it has two jobs)
Logic is the study of good reasoning. Avicenna saw it as both a set of tools and a science in its own right. Its purpose, he said, is to lead you from what you already know to what you don’t know—without stumbling into mistakes along the way.
To do that, you need two distinct mental abilities. First, you have to conceive things: hold an idea in your mind, like “cat” or “circle.” Second, you have to make an assertion: judge that something is true or false, like “Every circle is round.” Avicenna built his whole logic on this pair. Conception gives you the building blocks; assertion lets you put them together and say something about the world.
Logic is the rulebook that tells you how to combine assertions so that you can trust your conclusion. If you start with true assertions and follow the rules, you’ll land on new truths.
Necessity, possibility, and the passage of time
Aristotle, the ancient Greek master, sorted statements into simple patterns: “All A are B,” “No A is B,” and so on. Avicenna thought that was a good start, but it left out something huge. Real‑world facts don’t just sit still—they depend on time and on how we describe things.
Avicenna said every categorical statement—one that links a subject and a predicate—carries a hidden modal flavor. A modal statement tells you whether something is necessary (it must be true), possible (it could be true), or impossible (it can’t be true). And the flavor sometimes mixes with time: “always,” “sometimes,” “never.”
Even trickier, the same sentence can be read in two different ways depending on what you’re paying attention to. Avicenna called these the referential reading and the descriptional reading.
Imagine a bronze triangle. Read referentially, you’re looking at the piece of bronze as long as that object exists: “This bronze thing is necessarily a triangle?” No—you could melt it, and then it’s a puddle. Read descriptionally, you’re looking at it as long as it is described as a triangle: “As long as it’s a triangle, its three angles add up to two right angles.” That claim is necessary. You can’t be a triangle without having that property.
This may sound fussy, but it solved real problems. Scientists need to know what holds true of a thing as a thing of that kind, not just while some lump of metal sits on the shelf. Avicenna’s two readings gave them a clean way to say that.
If this, then that—and how many times?
Avicenna didn’t stop at simple statements. He also dug deep into hypothetical propositions—the ones that join two ideas with an “if” or an “either‑or.”
A conditional (if‑then) can be two types. In an implicative conditional, the consequence follows because of the antecedent—like “If something is a triangle, then its angles sum to two right angles.” In a coincidental conditional, the two just happen to be true together, without a deep link: “If it’s Tuesday, the cafeteria serves pizza.” Pizza day might be a happy accident, not a law of nature.
Avicenna then did something wild: he quantified conditionals. Just like you can say “All cats are animals” or “Some cats are black,” you can say “Always, if the sun rises, then it is day” or “Sometimes, if the sun rises, it is not day.” The quantifier tells you how often the connection holds across times and circumstances.
He analyzed disjunctions (either‑or) the same way, distinguishing exclusive “either‑or” (you can’t have both) from inclusive ones (you might have both). All this gave arguments a precision they’d never had before.
The engine of reasoning: Avicenna’s syllogistic
The crown of Avicenna’s logic is his theory of the syllogism—a three‑step argument where two premises force a conclusion. The classic example: “All humans are mortal. Socrates is a human. Therefore, Socrates is mortal.”
Avicenna took Aristotle’s syllogisms and supercharged them with all his modal machinery. He sorted arguments into figures based on where the shared term (the middle term) sits, and into moods based on the quantity and quality of the statements—universal, particular, affirmative, negative—and now their modality.
He analyzed which combinations of modal premises actually yield a valid conclusion. For instance, can you mix a necessary major premise with a possible minor premise and still get a conclusion that’s necessary? Sometimes yes, sometimes no. Avicenna worked out the rules with painstaking proofs, often using techniques like reductio ad absurdum—assuming the opposite of what you want to prove and showing it leads to nonsense.
He also built a full hypothetical syllogistic, deducing conclusions from conditionals and disjunctions. If you know “Always, if it rained last night, the grass is wet” and “The grass is not wet,” you can conclude “It didn’t rain last night.” That’s a repetitive syllogism of the kind we now call modus tollens, and Avicenna codified it.
Why this still matters when you think
Avicenna’s logic didn’t stay in the 11th century. It shaped Islamic philosophy for centuries, traveled to Latin Europe through translations, and fed into the medieval university tradition. His ideas about necessity and possibility even echo in modern discussions of scientific laws and computer reasoning.
But you don’t have to be a scholar to use what he built. Every time you say “If I don’t study, I’ll fail the quiz,” you’re asserting a conditional. When you add “and this will happen every time,” you’re quantifying it. When you notice that “all triangles have three sides” is true in a different way than “all my socks are blue,” you’re feeling the difference between necessity and mere fact. That’s Avicenna’s playground.
He showed that logic isn’t just about dry symbols—it’s about carving out exactly what you mean when you claim something must be so, or might be so, or can’t be otherwise. And once you can do that, you can argue more honestly, think more clearly, and maybe even build a better science.
Think about it
- Suppose you know that every student in your school lives in the same city. Is it necessarily true that the next new student will also live in that city? What would Avicenna’s two readings make of that?
- Give an example of a conditional statement (“if… then…”) that is always true, and one that is only true sometimes. How would you explain the difference to a friend?
- If a philosopher from a different tradition had never read Avicenna, could they still discover the same logical rules? Why or why not?
