How Can Something Be True Even If Nobody Knows It?

You’re walking home from school, and you pass a tree. On one of its branches, there are exactly 1,847 leaves. Nobody has ever counted them. Nobody ever will. Is it true that the tree has 1,847 leaves, even though no one knows it?

Most people would say yes. But if you stop and think about it, that’s a strange thing to say. What does “true” even mean if there’s no one around to check? Where does that truth live? It’s not printed anywhere. It’s not in anyone’s head. And yet—it sure seems like the tree has some definite number of leaves, whether we know it or not.

This puzzle about truths that nobody knows was the starting point for a philosopher named Bernard Bolzano, who lived in the early 1800s. He had an unusual life. He was a Catholic priest who was also a mathematician, and he was so progressive in his political and religious views that the Emperor of Austria personally fired him from his university job, banned him from teaching, preaching, or publishing, and gave him a tiny pension. Bolzano then spent the rest of his life writing—quietly, at home—a vast new foundation for logic. Much of what he wrote was so far ahead of its time that later philosophers had to discover the same ideas all over again, decades after he died.

A Truth That Doesn’t Need Anyone

Bolzano started with a simple observation. There are truths that nobody yet knows. For example: either there are winged snakes, or there aren’t. One of these statements must be true. But nobody knows which one (since nobody has ever found a winged snake, and nobody has proven they can’t exist). So there must be truths that are true independently of anyone knowing them.

For Bolzano, this meant that truth couldn’t depend on human minds. A statement doesn’t become true when someone discovers it. The Pythagorean theorem was true before anyone proved it. The fact that the Earth orbits the sun was true before anyone believed it. If every thinking being in the universe vanished, it would still be true that no thinking beings existed.

So where are these truths? Bolzano gave them a name: truths in themselves. They’re just propositions—the things that sentences mean—that happen to be true. And he argued that these propositions have to exist in some sense, even if they’re not physical objects like trees or mental events like thoughts. This was his big, weird idea that makes some people excited and other people skeptical.

A Strange Third World

Bolzano divided everything into three realms. World 1 is the physical world: trees, rocks, your body, the leaves on that branch. World 2 is the mental world: your thoughts, feelings, judgments, memories. These are real—they actually happen—but they’re not physical. Your thought about the tree isn’t made of atoms.

But there’s also World 3: the world of propositions and ideas. This is where truths in themselves live. Propositions aren’t physical—you can’t stub your toe on [1,847 leaves grow on that branch]. And they aren’t mental either—that same proposition can be thought by you, by me, by nobody at all, and it’s still the same proposition.

This is tricky. Bolzano himself admitted it was hard to explain exactly what propositions are or where they are. He insisted they don’t have “existence” in the same way rocks and thoughts do—they’re not real in that sense. But he also insisted there are such things. He used the phrase “es gibt” (there are) for them, while denying that they “exist.” If this sounds confusing, you’re not alone. Even professional philosophers have argued about this for almost 200 years. But the basic idea—that what we mean when we speak and think is something separate from both our minds and the physical world—turned out to be enormously useful.

What Makes a Proposition True?

Bolzano thought that every proposition has a simple structure. It’s always about something having some property. “Socrates is wise” really means “Socrates has wisdom.” “The cat is on the mat” means “The cat has being-on-the-mat-ness.” (This gets a little clumsy, but Bolzano thought it was important for keeping logic clean.)

For a proposition to be true, two things must happen. First, the thing you’re talking about has to actually exist—you can’t have a true statement about nothing. Second, the property you’re claiming it has must actually belong to it. So “The tree has 1,847 leaves” is true if and only if the tree exists and it really does have 1,847 leaves.

This sounds obvious. But notice what it means: truth depends entirely on the objects themselves, not on what anyone thinks about them. Truth is a relation between a proposition and the world, and we humans don’t get to vote on it.

How to Check If Something Is a Logical Truth

Bolzano invented a clever method for figuring out what makes a statement logically true (as opposed to just accidentally true). He called it the method of idea-variation.

Here’s how it works. Take a statement like “Every German philosopher is a philosopher.” Obviously true. But why is it true? Not because of anything special about Germans or philosophers. It’s true because of the form of the statement: if you replace “German” with any other idea, and “philosopher” with any other idea, the statement stays true (as long as whatever you’re talking about actually exists). Try it: “Every Italian mathematician is a mathematician.” Still true. “Every Martian baseball player is a baseball player.” Also true. The statement is true no matter what you fill in.

Now compare that to “Every German philosopher is European.” That’s also true, but for a different reason. If you replace “German” with “Japanese,” it becomes “Every Japanese philosopher is European,” which is false. The truth here depends on the specific content—on the fact that Germany happens to be in Europe. That’s a synthetic truth, not a logical one.

Bolzano’s method was a way to distinguish between truths that hold because of their logical form and truths that hold because of how the world happens to be. This was a huge step forward in logic. It gave philosophers a tool for asking: what do we really mean when we say something follows “necessarily” from something else?

Following and Grounding

This leads to another distinction Bolzano cared about deeply. Sometimes a conclusion follows from premises in a purely logical way. But he also noticed a different kind of relationship: the relationship between a ground and what it grounds.

Imagine you have a thermometer. The mercury rises. You infer that the temperature has gone up. That inference is logically fine: if the mercury rises in a working thermometer, the temperature must have risen. But notice: the temperature rising is what causes the mercury to rise, not the other way around. The real explanation runs from temperature to thermometer, not from thermometer to temperature.

Bolzano said that in a proper scientific proof, you want to show not just that something is true, but why it’s true. You want the premises to be the “objective ground” of the conclusion. The temperature rising grounds the mercury rising. The premises that describe the cause are the objective grounds for the conclusion that describes the effect.

This sounds abstract, but it mattered a lot to Bolzano. He thought that much of what passed for proof in mathematics and science was really just showing that something was true, without displaying why. He wanted proofs that revealed the actual structure of explanation—proofs where you could see the reasons things had to be the way they were.

The Best State

Bolzano wasn’t just interested in logic and truth. He was also deeply concerned with ethics and politics. His views got him fired from his job, after all. He believed the supreme moral law was simple: always act to advance the greatest possible welfare of the whole, considering all the consequences you can foresee.

This made him a utilitarian—someone who judges actions by their results. But he added an important twist. For Bolzano, it wasn’t enough that your action happened to turn out well. You had to intend the good. If you try to kill someone but accidentally cure their boil, that’s not a morally good action. The moral worth comes from your willing, your intention, not just from what actually happens.

Bolzano wrote a whole book about what the best society would look like. He called it On the Best State, and it’s a mix of progressive and troubling ideas. He was deeply bothered by inequality—especially the unequal distribution of property, which he thought was the main source of human suffering. He wanted a society where everyone’s welfare mattered equally. But he also proposed a lot of government control over people’s lives. The chapter on liberty was very short. The chapters on property, taxes, and punishments were very long. He wanted equality badly enough that he was willing to sacrifice a lot of freedom to get it.

Why Bolzano Matters Now

Here’s the thing about Bolzano: almost nobody read him during his lifetime, and for decades after his death his work mostly sat on shelves. Then, one by one, other philosophers and mathematicians rediscovered ideas that Bolzano had already worked out. The modern concept of logical consequence? Bolzano had it first. The idea that mathematical proofs should be rigorous and not rely on hidden assumptions? Bolzano was demanding this decades before it became standard. The notion of “analytic truth” that philosophers argued about for most of the 20th century? Bolzano’s definition was there all along.

He was like someone who builds a bridge across a river, but nobody uses it, so a hundred years later someone else builds the same bridge in the same place and gets all the credit. That’s frustrating, but it also means Bolzano’s ideas have passed the test of time. They turned out to be exactly what later thinkers needed.

The Puzzle That Remains

So back to that tree with 1,847 leaves. Most of us feel like it’s objectively true that the tree has that many leaves, whether anyone knows it or not. But what does that commit us to? Do we have to believe, like Bolzano, in a whole world of “propositions in themselves” floating around in some mysterious third realm? Or can we say that truth is about the world, not about our minds, without getting into that strange ontology?

Philosophers still argue about this. Bolzano’s solution—propositions as mind-independent, timeless entities—is one option. Other philosophers think it’s too weird. Some try to explain truth without any such entities. Some say Bolzano was right about the phenomena but wrong about the explanation.

What you think about this probably depends on how much weirdness you’re willing to accept. Is it weirder to say that there are these ghostly propositions that exist without being anywhere? Or is it weirder to say that nothing is true at all unless someone happens to be thinking about it?

That’s the question Bolzano left us with. It’s a question that connects logic, mathematics, and the very nature of reality. And it’s still very much alive.

Key Terms

Term	What it does in this debate
Proposition (or “sentence in itself”)	The meaning of a statement, considered as an object that can be true or false independently of anyone thinking it
Truth in itself	A true proposition, whose truth doesn’t depend on being known
Idea-variation	A method for checking whether a statement’s truth depends on its logical form or on its specific content
Logical truth	A statement that stays true no matter what you replace its content-words with
Synthetic truth	A statement whose truth depends on how the world actually is
Objective ground	The real reason why something is true, as opposed to just evidence that it’s true
Utilitarianism	The view that actions should be judged by how much they increase overall happiness and reduce suffering

Key People

Bernard Bolzano (1781–1848) – A Catholic priest, mathematician, and philosopher who was fired from his university job for his progressive views and spent the rest of his life writing a new foundation for logic. He argued that truths exist independently of human minds.

Things to Think About

If there are truths that nobody knows, where are they? Do they need to “be” anywhere? Or is it enough to say that the tree just has 1,847 leaves, without needing a proposition to exist somewhere?
Bolzano said that an action is morally good only if you intend it to be good. But what if you try to do something good and it turns out badly? Does your intention make the action good anyway?
Bolzano was willing to give up a lot of personal freedom to create a more equal society. Is that trade worth it? When does trying to make things fair go too far?
The method of idea-variation is a way of testing whether a truth is “logical” or “about the world.” Can you think of a statement that seems logically true but might fail if you replace its words in certain ways?

Where This Shows Up

In math class: When your teacher says a proof shows why something must be true, not just that it is true, that’s Bolzano’s distinction between showing that and showing why.
In debates about truth: When people argue about whether something is “objectively true” or “just your opinion,” they’re wrestling with the same issues Bolzano did.
In artificial intelligence: AI systems need to work with propositions—meanings that can be true or false—without having minds. Bolzano’s idea of mind-independent propositions turns out to be useful for thinking about this.
In computer programming: The distinction between logical form and content shows up when programmers check whether code will work correctly no matter what data it receives.
In social debates about fairness: When people argue about how much equality we should demand and how much freedom we should give up, they’re dealing with the same tensions Bolzano explored in On the Best State.