Carnap on Quantum Mechanics

This paper reviews Rudolf Carnap's philosophical perspective on the quantum mechanics of his era and speculates on how his views might apply to recent developments in the field's foundations.

The Gist

Imagine Rudolf Carnap as a very strict, meticulous architect who believes you cannot properly discuss the design of a building (its philosophy) until the blueprints are perfectly drawn up in a formal, mathematical language.

This paper, written by Sebastian Horvat and Iulian D. Toader, explores how this architect viewed Quantum Mechanics (QM)—the physics of the very small—in his 1966 book, Philosophical Foundations of Physics.

Here is the story of Carnap's view, broken down into simple concepts and analogies:

1. The "Blueprint" Problem

Carnap's main rule was: Don't argue about the philosophy of a theory until the theory is fully written down as a formal, logical system.

Think of Quantum Mechanics in the 1950s and 60s as a house that was still under construction. The walls were up, and the electricity worked, but the blueprints were messy. Some parts were written in "natural language" (like English), which is vague, rather than in "formal language" (like pure math logic), which is precise.

Carnap felt that because the "blueprints" of Quantum Mechanics weren't finished yet, philosophers were jumping the gun. They were trying to debate deep questions about the nature of reality, logic, and language based on a theory that wasn't fully formalized. He believed that until the scientific community finished the "rational reconstruction" (the perfect, formal blueprint), we couldn't safely ask, "What does this theory really mean?"

2. What Carnap Did Understand (The Solid Ground)

Even though he thought the blueprints were incomplete, Carnap knew the basics of the house very well. The paper clarifies that he wasn't confused about Quantum Mechanics; he just wanted to be careful.

Based on what he knew, he offered some clear answers:

• The World is Statistical: He argued that the randomness in Quantum Mechanics isn't because we are ignorant or bad at measuring things (like a blurry photo). It's because the universe itself is built that way. It's like rolling a die: the outcome is random not because the die is broken, but because that's how dice work.
• Space and Time might be "Pixelated": He speculated that the universe might be made of tiny, discrete chunks (like pixels on a screen) rather than a smooth, continuous flow.
• Free Will is Safe: He dismissed the idea that Quantum randomness saves "free will." He argued that if our decisions were just random quantum jumps, they wouldn't be "choices" at all; they would just be accidents. Randomness $\neq$ Freedom.
• No Simple Definitions: You can't define complex quantum ideas (like "spin") using simple, everyday words. You need a whole new, formal system to explain them.

3. What Carnap Refused to Do (The Logic Trap)

This is the most famous part of his stance. Some physicists and philosophers looked at Quantum Mechanics and said, "The rules of logic we use in everyday life (like 'A and B') don't work here. We need to invent new logic."

Carnap said, "No way."

He used a great analogy (paraphrased from a 1962 meeting): If the rules of a game seem weird, you don't change the rules of the game; you change the pieces or the board.

• The View: He believed we should change our physical concepts (the "pieces") to fit our existing, solid logic, rather than changing the logic itself to fit the physics.
• The Reason: He felt that since the "blueprints" of physics weren't finished, we couldn't be sure if the weirdness was in the physics or just in our incomplete understanding. He wanted to see the entire system of physics (including gravity) formalized before he would consider rewriting the rules of logic.

4. The "Realism" Debate (What is "Really" Out There?)

Today, scientists argue over what Quantum Mechanics says about reality: Are there many worlds? Are there hidden particles?

• Carnap's Take: He would likely call these arguments "meaningless." In his view, asking what is "really" out there outside of a specific language framework is a trick question.
• The Analogy: Imagine two people arguing about whether a map of a city is "real." One says the map is just lines; the other says the map is the city. Carnap would say, "Stop arguing about the 'real' city. Let's just agree on which map is useful for driving." He would judge different theories based on which one is simpler and works better, not on which one describes the "true" invisible reality.

5. What Would Carnap Think Today?

The paper concludes by asking: If Carnap were alive today, would he change his mind?

• The Bad News: We still don't have a perfect, unified "blueprint" that combines Quantum Mechanics with Gravity (Einstein's theory). The house is still under construction. So, Carnap would likely still refuse to say that Quantum Mechanics forces us to change the rules of logic.
• The Good News: There are new attempts to build the theory from the ground up using information theory (thinking of the universe as a system that processes data). While these aren't the perfect formal blueprints Carnap wanted yet, they are steps in the right direction. He might be interested in these new approaches as a way to finally "rebuild the theory" with clearer concepts.

Summary

Carnap was a cautious architect. He knew Quantum Mechanics was revolutionary, but he insisted that we shouldn't try to rewrite the laws of logic or debate the ultimate nature of reality until the theory was written down in a perfect, formal mathematical language. He believed that until the "blueprints" were finished, we should focus on making the theory useful and simple, rather than getting lost in metaphysical arguments about what is "real."

Technical Summary

Technical Summary: Carnap on Quantum Mechanics

Problem
The paper addresses the apparent tension between Rudolf Carnap's rigorous philosophical methodology and his treatment of quantum mechanics (QM) in his 1966 work, Philosophical Foundations of Physics. Critics and recent editors (Lutz and Tuboly, 2021) have suggested that Carnap's reflections on QM were outdated, noting his reliance on von Neumann's 1932 formalism while ignoring later rigorous approaches like Mackey (1963) or foundational theorems such as Gleason (1957) and Bell (1964). The central problem is to clarify Carnap's actual stance on QM, distinguishing between his sound understanding of its basic principles and his specific methodological refusal to address certain philosophical questions (regarding language and logic) until the theory was presented as a fully formalized axiomatic system. The authors also investigate what Carnap's framework would imply for contemporary debates on QM interpretations, realism, and the semantics of quantum theory.

Methodology
The authors employ a historical and conceptual analysis of Carnap's 1966 text, cross-referenced with his earlier works on logical syntax, rational reconstruction, and semantics (e.g., The Logical Syntax of Language, 1937; Introduction to Semantics, 1943). The methodology involves:

1. Textual Reconstruction: Analyzing Carnap's specific arguments in the final chapter of his 1966 book ("Indeterminism in Quantum Physics") regarding the Uncertainty Principle, wave functions, and the Schrödinger equation.
2. Metaphilosophical Contextualization: Situating Carnap's hesitation to revise logic based on physics within his broader commitment to "rational reconstruction." This involves examining his requirement that scientific theories be couched in a partially interpreted syntactic structure comprising logico-mathematical axioms, theoretical sentences, and correspondence rules linking them to observation sentences.
3. Counterfactual Application: Projecting Carnap's established philosophical principles (specifically his views on internal vs. external questions, the nature of scientific explanation, and inferentialism vs. representationalism) onto contemporary developments in QM, such as the no-go theorems (Bell, Kochen-Specker) and modern information-theoretic axiomatizations (Hardy, Chiribella et al.).

Key Contributions
The paper makes several distinct contributions to the understanding of Carnap's philosophy of physics:

• Refutation of Ignorance: It explicitly refutes claims that Carnap was unfamiliar with quantum theory, arguing that he possessed a sound understanding of its basic principles, even if he deemed the formalization incomplete for his specific philosophical purposes.
• Clarification of "Rational Reconstruction": The authors clarify that Carnap's rejection of revising logic based on QM was not due to a lack of mathematical rigor in existing formulations (like von Neumann's or Mackey's), but because these did not constitute a rational reconstruction of modern physics as a whole. Carnap required a unified system including gravitational/spacetime physics and a clear division between theoretical and observational terms, which was absent in the 1960s and remains so today.
• Reinterpretation of Carnap on Realism: The paper argues that Carnap would likely view current debates over QM interpretations (e.g., many-worlds vs. hidden variables) as "pseudo-disputes" regarding external questions. Instead, he would likely evaluate these interpretations based on pragmatic criteria (simplicity, unification) rather than metaphysical truth.
• Metasemantic Analysis of No-Go Theorems: The authors propose that Carnap would interpret the Bell and Kochen-Specker theorems not as obstacles to realism, but as metasemantic limitations on providing a representationalist semantics for quantum formalism. This aligns with modern inferentialist views (e.g., Healey, 2017), suggesting that the rules of application determine the meaning of quantum terms.
• The Categoricity Test: The paper applies Carnap's solution to the categoricity problem in classical logic to QM. It suggests that even if one adopts an inferentialist semantics for quantum terms, Carnap would demand a test of whether the physical rules (P-rules) of the theory are categorical (uniquely determining the meaning of terms).

Results

• Status of Logic Revision: Carnap would likely remain unconvinced to revise the fundamental logic of physics (e.g., adopting non-distributive logic) solely based on QM, as the prerequisite of a complete, unified rational reconstruction of physics is still unmet.
• Nature of Scientific Explanation: The paper confirms Carnap's view that the statistical character of QM is not a result of ignorance but a fundamental feature of the world's structure, implying that all physical explanations are inherently statistical.
• Free Will: Carnap's argument that quantum indeterminacy does not support free will is reaffirmed: random quantum jumps would merely render decisions random (chances) rather than free choices.
• Contemporary Relevance: While modern information-theoretic axiomatizations of QM (deriving state spaces from information principles) are not yet Carnapian rational reconstructions (lacking formal languages and correspondence rules), the paper suggests they may pave the way toward one.

Significance
The paper claims significance by correcting the historical record regarding Carnap's engagement with quantum mechanics, moving beyond the view that he was merely "out of date." It demonstrates that Carnap's caution was a methodological necessity rooted in his philosophy of rational reconstruction rather than a lack of technical understanding. Furthermore, the paper bridges Carnap's mid-20th-century philosophy with contemporary debates, suggesting that his framework offers a robust way to interpret modern no-go theorems and semantic approaches to QM without falling into metaphysical traps. It posits that Carnap's insistence on formalization and the distinction between internal and external questions remains a vital tool for analyzing the logical and linguistic foundations of quantum theory today.