Can a Truth Exist Even If No One Knows It?

A Priest Silenced for Thinking Too Freely

One morning in 1820, Bernard Bolzano (1781–1848) opened a letter from the Austrian emperor. He was fired. Not because he was a bad teacher — the opposite. As a university professor and Catholic priest in Prague, he had become famous for his speeches about equality, honest government, and thinking for yourself. The emperor’s government was not amused. Bolzano was forbidden to teach, preach, or publish anything ever again.

It should have been the end of his life’s work. Instead, Bolzano used his forced quiet to write an enormous four‑volume book, the Theory of Science (1837). In it, he rebuilt logic from the ground up. He asked a question that still shakes the branches of philosophy: Can a truth be true even if no one — not a single mind in the universe — knows it?

Truths That Shine Even in the Dark

Imagine a tree deep in a forest no human will ever visit. At this very moment, it holds exactly some number of blossoms. Is that number a truth even though nobody counts it? Most people would say yes. But Bolzano took that intuition much further. He said there are truths that exist entirely on their own, outside any mind. He called them truths in themselves — true propositions (the meaning of a statement) that are simply true, forever, no matter whether anyone ever grasps them.

Could he prove such things exist? Bolzano thought he could, with a brain‑twisting argument that uses only logic. Imagine the sentence:

“No true proposition exists.”

Now suppose that sentence is true. If it were, then at least one true proposition would exist — namely, that very sentence’s meaning. But if a true proposition exists, then the claim “No true proposition exists” is false. So the sentence cannot be true without contradicting itself.

Bolzano concluded that the sentence is false. And if it is false that no true proposition exists, then there is at least one true proposition. The philosopher believed he had just proved that a realm of pure truth must be real.

(Many later philosophers pointed out a hidden assumption: Bolzano already assumed that his sentence expressed a proposition. But he himself was convinced the proof was airtight, and it became the cornerstone of his logic.)

A Third World of Pure Ideas

If truth‑in‑itself exists, what sort of thing is it? Bolzano’s answer was bold. He split reality into three “worlds”:

1. The physical world of chairs, rocks, and lightning.
2. The mental world of thoughts, feelings, and sensations.
3. A third realm of propositions in themselves (meanings of statements) and ideas in themselves (the building blocks of those meanings).

Propositions in Bolzano’s third realm are not made of matter. They don’t live in anyone’s head. They are a bit like numbers: the fact that 2+2=4 seems true whether or not anyone counts. Bolzano believed that all truths — from “It rained in Prague on May 1, 1800” to “Every triangle has three sides” — exist in that same invisible, mind‑independent way. False propositions hang around there too, like “The moon is made of cheese.”

This move allowed him to study logic without getting tangled in psychology. You could ask “What makes an argument valid?” by looking only at the relations among these objective propositions, not at what happens in anyone’s brain.

The Game That Defines Logic

If propositions float in their own world, how can we tell the difference between a truth that depends on how the world happens to be and a truth that is logically necessary — one that simply must be true? Bolzano invented a game.

Take any statement and pick a non‑logical idea inside it — a word like “German” or “philosopher.” Now replace that idea with another one that fits the same role. For example, start with:

“Every German philosopher is German.”

Swap “German” for “French” and you get “Every French philosopher is French.” Still true. Swap “philosopher” for “mathematician” and you get “Every German mathematician is German.” True again. No matter how you vary the ideas (as long as the sentence still makes sense and the subject isn’t empty), the sentence stays true. Bolzano called such a proposition logically true.

Now try a different statement: “Kant is a German philosopher.” Swap “Kant” for “Sartre” and it’s false. Swap “German” for “Ethiopian” and it’s also false. This proposition is logically synthetic — its truth depends on worldly facts, not just its form.

With this simple idea‑variation game, Bolzano gave one of the earliest precise definitions of logical truth and logical consequence. An argument’s conclusion logically follows from its premises if every substitution that makes the premises true also makes the conclusion true. This idea would later inspire the Polish logician Alfred Tarski and much of modern logical theory.

Why Truth Matters Even Without a Knower

Why does any of this matter? Once Bolzano separated truth from human thinking, he could ask questions we still wrestle with today. Are there truths that are true in every possible circumstance? How does a mathematical proof give us certainty? When a chatbot draws a conclusion, what makes that conclusion follow from the data?

His method of idea‑variation helped create the machinery of modern logic — the same logic that underlies computer science and artificial intelligence. His proof that there are infinitely many truths (he showed that from one true proposition you can generate an unending chain: S, “S is true,” “ ‘S is true’ is true,” and so on) planted early ideas in set theory. And his insistence that truth is mind‑independent still echoes whenever scientists argue that a law of nature holds even if no human ever formulates it.

So next time you feel certain something is true, pause. Ask yourself: is it true because of how the words fit together, or because the world happens to be a certain way? Bolzano would want you to know the difference.

Think about it

1. Bolzano thought that if a truth exists, it must be a proposition in some timeless realm, even if no mind ever grasps it. Can you imagine a truth that no one ever thinks of — and if so, where does it “live”?
2. If a sentence like “All bachelors are unmarried” is true just because of the meanings of the words, does that make it a less important truth than a scientific fact you discover by looking at the world?
3. Suppose a powerful computer could scan the whole universe and list every fact. Would that list contain truths that have never been thought by any mind? Or does the act of listing them make them “known” in a way that changes things?