The Professor Who Used Logic to Save People from the Nazis
A Letter That Could Have Ended a Career
In the spring of 1940, a letter reached Heinrich Scholz (1884–1956) at the University of Münster. It told him that Jan Salamucha, a Polish logician and Catholic priest, had been arrested and sent to the Sachsenhausen concentration camp. Scholz was a philosophy professor in Nazi Germany. Getting involved to help a prisoner was dangerous. Sending letters, pulling bureaucratic strings, or even asking the wrong questions could cost him his job — or worse. Yet Scholz immediately began working for Salamucha’s release. Within months he succeeded, though German authorities threatened to remove him from his chair. For Scholz, thinking clearly was never just an academic hobby. It was a way of standing up, with ruthless precision, for what is true.
That same mix of clarity and courage shaped everything he did: from his early years as a theologian to his decision to rebuild his entire intellectual life around mathematical logic, and his quiet, stubborn fight to keep serious thinking alive when the world around him tried to crush it.
From Chapel to Calculus: The Accidental Logician
Scholz didn’t start out as a logician. His father was a Protestant pastor, and he trained as a theologian and philosopher of religion. By 1921 he had published an influential book, Religionsphilosophie, that treated religion not as a private feeling alone but as a real fact of human culture. He argued that philosophy of religion should reflect on lived, tangible religion — the kind people actually practice — and test its truth claims with reason, not just faith. It was a bold move: he took religion seriously as a subject for clear, critical thought, much as Immanuel Kant (1724–1804) had done, but he stayed closer to concrete religious life.
Then, one day in the library at the University of Kiel, he discovered a book that changed everything: Alfred North Whitehead’s and Bertrand Russell’s Principia Mathematica (1910–1913). Scholz was captivated. The book used pure symbols to build up huge swaths of mathematics from tiny logical steps. He later said it convinced him of the enormous power of precise thinking. There was one problem: as a professor of philosophy, he didn’t know much advanced mathematics. So he enrolled as a regular university student all over again, studying mathematics and theoretical physics alongside undergraduates. Few established professors would swallow their pride and start from zero. Scholz did. He was chasing something he believed was worth more than reputation: a language in which you could state a thought with perfect sharpness and then check whether it was necessarily true.
The Münster Fortress: Logic Under Fire
By 1928 Scholz had moved to Münster. There he gradually turned a corner of the philosophy department into one of the world’s few centers devoted entirely to mathematical logic and foundational research. He called it the Münster School. His team worked on the deep rules of reasoning, axiomatic systems, and the border between formal symbols and reality. He launched a series of research papers and, eventually, in 1950, founded an official institute — still in existence today — dedicated to mathematical logic and foundational research.
This happened during the darkest years of German history. After the Nazis seized power, most logicians in the German-speaking world lost their positions or fled into exile. Münster became the one place where logic survived in Germany. Scholz faced attacks from the “Deutsche Mathematik” movement, a racist form of Nazi ideology that rejected abstract logical methods as un-German. One critic, the Munich mathematician Max Steck (1907–1971), called Scholz’s school a “transplantation of the Vienna Circle” and dismissed formal logic as decadent. Scholz refused to back down. He kept logic as an international, universal subject.
And he didn’t just defend ideas; he defended people. He stayed in contact with exiled thinkers like Alfred Tarski (1901–1983) and supported Tarski’s wife and children who remained in Warsaw. He sent money to Jan Łukasiewicz (1878–1956) and helped him hide in Germany, fearing for his life if the Red Army arrived. At great personal risk, Scholz used his position as a kind of information broker, connecting those in exile with those still inside the country. For him, logic and decency were not separate things.
How to Speak a Language True in Every Possible World
Behind all this activism stood a breathtaking philosophical idea. Scholz believed that metaphysics — the branch of philosophy that asks what ultimately exists and why — could be made as rigorous as mathematics. In his book Metaphysik als strenge Wissenschaft (1941), he proposed using a formalized language with exactly defined rules, similar to the language of first-order predicate logic with identity. He called such a language a Leibniz language, after Gottfried Wilhelm Leibniz (1646–1716), who had dreamed of a universal symbolic language for all reasoning.
In a Leibniz language, every string of symbols is built according to precise rules, so it always has a definite meaning. The most powerful kind, a Universal Leibniz Language, goes further: not only is every expression meaningful, but you can also decide whether a given expression is true in all possible worlds. Scholz called such an expression universally valid. For instance, the claim “If something is identical to itself, it is identical to itself” is true no matter how the world is; you can’t imagine a reality where it fails. That, he argued, is the kind of truth logic captures, and metaphysics should be built on such truths.
This was not a dry technical exercise. Scholz thought that by using this logical microscope, you could analyze deep philosophical problems — like Descartes’s famous “I think, therefore I am,” or Anselm’s proof of the existence of God — and see clearly which parts hold up under the hardest possible tests. He combined a Platonic belief that abstract truths really exist with the most modern tools of formal logic. Some contemporaries, like the Vienna Circle philosopher Otto Neurath, admired his work but accused him of smuggling in full-blown metaphysics. Scholz didn’t mind. He thought metaphysics, done properly, was the most scientific thing a person could attempt.
The History Detective Who Rediscovered Genius
Scholz also became a pioneer in the historiography of logic — the study of the history of logical ideas. In 1935 he managed to obtain the unpublished papers of Gottlob Frege (1848–1925), the mathematician and philosopher he revered as “the greatest genius of the new logic in the 19th century.” Scholz planned a three-volume edition of Frege’s posthumous writings. Tragically, most of the original manuscripts were destroyed during the bombing of Münster in 1945. But the typewritten copies Scholz had made survived, saving crucial parts of Frege’s legacy for future generations.
In his short book Geschichte der Logik (1931), Scholz told the story of logic not as a dusty museum piece, but as a sunrise. For him, modern formal logic really began with Leibniz, who first imagined treating reasoning as a kind of calculation with symbols. He then traced the line through Bernard Bolzano (1781–1848), whom he considered a neglected pioneer, and up to Frege, who finally turned Leibniz’s dream into a working system. Scholz showed that logic had a dramatic history, full of forgotten breakthroughs and sudden leaps. He even applied his logical tools to reread classic texts: he analyzed Kant’s theory of knowledge and the ontological argument for God’s existence with the same clarity he brought to mathematical proofs. He made the past feel urgently alive.
Why Tidy Thinking Still Matters
You might never spend your days writing axioms or arguing about possible worlds. But Scholz’s life asks you a question: how do you respond when clear thinking is under pressure? He lived in a time when lies were loud and reasoning was mocked. He didn’t retreat into abstractions; he used precision as a shield. He helped people. He protected ideas. He cared about the difference between a sloppy argument and one that actually follows.
Today, information fires at you from every screen. People make huge claims on tiny evidence. The habit Scholz cultivated — pausing, asking what a word strictly means, checking whether a reason really forces its conclusion — is not just a classroom skill. It’s a way of treating truth with respect. And sometimes, like in 1940, that respect can require real bravery. The professor in the candle-lit study, writing a letter that could have ended his career, knew that logic is never just about symbols. It’s about seeing reality clearly enough to care for it.
Think about it
- If a statement must be true in every possible world to count as a logical truth, can you think of something that seems true in every world but isn’t about logic at all? What would Scholz say about it?
- Scholz risked his job to help a fellow thinker. Are there ideas or people today you think are worth taking a serious risk for? What would it take for you to act?
- He believed a perfect logical language could capture all truths. Can you name something real — a feeling, a memory, a piece of music — that might slip through the cracks of such a language? Does that make it any less true?
