Why 'All Pediatricians Are Doctors' Is Weirdly Certain
The Obvious and the Not-So-Obvious
Imagine your teacher writes two sentences on the board:
(A) All pediatricians are doctors.
(B) All pediatricians are rich.
The first one feels instantly true. You don’t need to look up a single fact about the world. It seems true just by knowing what the words mean. But the second sentence? You’d probably want to search the internet or ask an actual pediatrician before believing it. Something deep separates these two.
Philosophers call sentences like (A) analytic — a claim that is true (or seems true) just because of the meanings of the words themselves. Sentences like (B) are called synthetic — their truth depends on extra facts about the world, not just on word meanings. This distinction seems simple, but for over 250 years it has sparked one of the most stubborn puzzles in all of philosophy: can we really know anything just by thinking about words?
Kant’s Big Idea: Ideas Contained in Ideas
The person who first put the puzzle in modern form was Immanuel Kant (1724–1804). In his enormous book Critique of Pure Reason, he proposed a metaphor. Think of a concept — say, body — as a kind of mental container. Inside it, you’ll find certain ideas that are already packed in there. For example, Kant claimed that the idea of “being extended” (taking up space) is already contained in the concept of a body. You cannot think of a body without also thinking of it occupying space.
Kant called a judgment analytic when the predicate (“is extended”) is already contained in the subject concept (“body”). By contrast, a judgment like “All bodies are heavy” is synthetic, because the idea of “heavy” isn’t part of the concept of a body — you need experience to know whether bodies really are heavy.
Kant also thought that some synthetic truths could be known a priori, meaning without any sensory experience. He famously argued that even “7 + 5 = 12” is synthetic: the concept of 12 isn’t already contained in the concepts of 7, 5, and addition. You have to mentally synthesize the numbers to see the truth. Kant’s claim that there are synthetic a priori truths — statements that need no evidence from the senses yet still expand our knowledge — would set the stage for centuries of debate.
Frege’s Logical Machine
Kant’s container metaphor was vivid, but it was also fuzzy. What exactly counts as “contained”? And how do you handle cases like “Anyone who’s an ancestor of an ancestor of Bob is an ancestor of Bob,” which feels as obvious as “all bachelors are unmarried” but doesn’t seem to fit the inner-doll picture?
Gottlob Frege (1848–1925) tried to replace metaphors with machinery. He invented modern symbolic logic — a precise formal language with symbols for “and,” “or,” “not,” “all,” and “some.” With it, he could define a logical truth: a sentence that stays true no matter what ordinary words you plug in, as long as the logical words stay the same. For instance, “All cats that chase mice are cats” is a logical truth — substitute any words for cats, chase, and mice, and it remains true.
But what about “All pediatricians are doctors”? Swap in mice for doctors and cats for pediatricians, and you get “All mice are cats,” which is false. So it isn’t a pure logical truth. Frege’s solution was to appeal to definition and synonymy (sameness of meaning). If you replace pediatrician with its definition — “doctor that specializes on children” — the sentence becomes the logical truth “All doctors that specialize on children are doctors.” Frege hoped that by finding the right definitions, even deep truths of arithmetic could be shown to be disguised logical truths, and thus knowable a priori. This project — logicism — aimed to reduce mathematics to pure logic.
The Positivists’ Dream: Pinning Words to Experience
By the early 20th century, a group of philosophers called the logical positivists — including Rudolf Carnap (1891–1970) and A.J. Ayer (1910–1989) — ran with Frege’s logic. They proposed that every meaningful claim about the world could be “analyzed” into logic plus sensory experience. Their famous verification theory of meaning said: the meaning of a sentence is the method by which you would verify or falsify it with your senses. To say “The temperature is 20°C” is to say, in part, that if you looked at a properly calibrated thermometer, the mercury would rise to a certain mark.
The positivists hoped that even tricky concepts — material objects, other minds, free will — could be unpacked this way, often from the armchair. But there was a huge cost: if a claim couldn’t possibly be verified by experience, they tended to dismiss it as meaningless. And the project itself soon ran into terrible trouble.
Quine’s Blurry Web
The most devastating attack came from W.V.O. Quine (1908–2000). In his 1953 article “Two Dogmas of Empiricism,” he argued that the whole analytic-synthetic distinction is a myth. Quine’s key idea was confirmation holism: our statements about the world face the test of experience not one by one, but as a corporate body. When a scientific prediction fails, you can never blame a single sentence. You might revise a background assumption instead — even a law of logic.
Quine pictured our knowledge as a vast web of belief. The strongest threads at the center (like arithmetic or basic logic) are held more tightly, but even they are not immune to revision if the web of science demands it. So there is no principled difference between a statement that is “true by meaning” and one that is simply a deeply held belief that we haven’t yet needed to change.
He pressed this further. To explain analyticity, you need a clear notion of synonymy (words meaning the same thing). But Quine argued that every attempt to define synonymy — by dictionaries, by necessary truth, by possibility, by rules of language — just circles back to one of the other unclear notions. You never break out of the circle. Quine thought that talk of “meanings” was a leftover from an unscientific, behaviorist-free psychology. Many philosophers walked away from the 1950s convinced that the analytic was dead.
Why This Puzzle Still Won’t Go Away
Despite Quine’s powerful arguments, many thinkers have fought to salvage something of the analytic. Some appeal to a special faculty of rational intuition that lets us just “see” certain necessary truths. Others try to ground meaning in the external world — for example, by saying a mental symbol means horse because it reliably co-varies with horses under ideal conditions. Still others, like the linguist Noam Chomsky (born 1928), look for an innate language faculty in the brain that might fix certain truths as unchangeable for any speaker.
But to this day, no single approach commands universal agreement. The core Quinean challenge remains: can you really tell the difference between “true by meaning” and “something we find nearly impossible to imagine giving up”? When scientists changed the definition of a planet and demoted Pluto, did the word change or did our astronomy? If we discovered that what we called “cats” were actually tiny bio-robots from Mars, would we say “Cats are animals” was false all along — or that we never really knew what a cat was?
The analytic-synthetic puzzle sits right in the middle of your own life too. Every time you solve a math problem, rely on logical reasoning, or even just feel certain that “a promise is a promise,” you brush against a question that Kant, Frege, and Quine wrestled with: how much of your knowledge comes from the way you happen to think, and how much from the way the world really is? The answer still isn’t obvious — and that’s exactly what makes it philosophy.
Think about it
- If two people disagree about whether “Stealing is wrong” is analytic (true just from the meanings of the words) or synthetic (needs real-world facts), how could they try to settle the argument?
- Imagine a community where everyone always used the word bachelor to mean “a friendly adult.” Would the sentence “All bachelors are unmarried” still be true for them? Would it still be analytic for them?
- You know that 2 + 2 = 4 without checking any objects. A rock, a river, and a spaceship also obey it. Does that tell you something special about numbers, or something special about your own mind?
