Home > Positioning > Persons > Carnap

Rudolf Carnap (1891–1970)

Carnap was the central figure of logical empiricism — the movement that attempted to place philosophy on a scientific footing by combining the empiricist tradition (knowledge comes from experience) with the new formal logic of Frege and Russell. His programme: to show that all meaningful statements are either logical truths (true by virtue of their form) or empirical claims (verifiable by observation) — and that metaphysical statements, which are neither, are literally meaningless. The programme was enormously influential (it defined anglophone philosophy of science for a generation) and ultimately unsuccessful (verificationism could not be made precise enough to sustain the distinction it proposed). Carnap’s willingness to revise his own framework — he abandoned strict verificationism, relaxed the protocol-sentence requirement, and developed increasingly tolerant views of theoretical language — makes him one of the few major philosophers whose career is itself a record of productive self-correction.

Life

Born 18 May 1891 in Ronsdorf (now part of Wuppertal), Germany. His father was a ribbon weaver; his mother’s family was more intellectual — his uncle was the archaeologist Wilhelm Dörpfeld. Educated at the universities of Jena and Freiburg; studied under Frege at Jena — one of the few students to attend Frege’s lectures, which were famously poorly attended. Served in the German army during the First World War. PhD at Jena (1921), on the concept of space.

Joined the Vienna Circle in 1926 — the group of philosophers, mathematicians, and scientists led by Moritz Schlick that developed logical positivism (later called logical empiricism). Carnap became the Circle’s most systematic thinker and its most productive writer. Co-edited the journal Erkenntnis with Hans Reichenbach — Reichenbach led the allied Berlin Circle — making Erkenntnis the movement’s main publication.

Professor at the German University in Prague (1931–35). Emigrated to the United States in 1935, as the political situation in Europe deteriorated. Professor at the University of Chicago (1936–52), then at the Institute for Advanced Study in Princeton (1952–54), then at the University of California, Los Angeles (1954–61). Became an American citizen (1941). Died 14 September 1970 in Santa Monica, California.

The logical construction of the world

Der logische Aufbau der Welt (The Logical Structure of the World, 1928) — the “Aufbau” — is Carnap’s most ambitious work. The project: to show that all concepts used in science can be logically constructed from a single base — the stream of elementary experiences (Elementarerlebnisse). Starting from the most basic units of experience, Carnap attempted to define, step by step, the concepts of objects, properties, physical things, other minds, and scientific entities, using only logical operations and a single primitive relation (recollection of similarity). The Aufbau was a construction, not a reduction — Carnap was not claiming that tables and electrons are “really” just sense data, but that a logical language can be built that starts from experience and reaches all the way to the concepts of physics.

The project did not succeed in its own terms — the construction breaks down at the point where inter-subjective objectivity (the world as shared by multiple observers) must be derived from subjective experience (the stream of one observer). Carnap acknowledged the difficulty and later moved away from the phenomenalist basis toward a physicalist one (taking physical-object language, not sense-data language, as the starting point). But the Aufbau established the programme: philosophy as the logical analysis of the language of science.

Verificationism and its application

The verification principle. A statement is cognitively meaningful if and only if it is either analytically true (a logical or mathematical tautology) or empirically verifiable (there exists, in principle, a procedure that could confirm or disconfirm it). Metaphysical statements — “the Absolute is beyond space and time,” “the thing-in-itself is unknowable” — fail both tests and are therefore meaningless: not false, but literally without cognitive content. The principle was the Vienna Circle’s signature claim and Carnap’s sharpest tool.

Carnap applied the principle most pointedly in “The Elimination of Metaphysics through Logical Analysis of Language” (1932), which treated Heidegger’s sentence “the Nothing nothings” (das Nichts nichtet) as the exemplary case of a metaphysical pseudo-statement — a sentence that has the grammatical form of a proposition but, on logical analysis, violates the rules of meaningful language and says nothing. The paper was a founding episode of what later became known as the analytic-continental divide: a moment where verificationism stopped being a theoretical position and bit on a specific case.

The problem. The verification principle is neither an analytic truth nor an empirical statement. By its own criterion, it is meaningless — a self-refutation that critics (including Popper and later Quine) exploited. Carnap’s response was a series of revisions: from verification (conclusive confirmation) to confirmation (partial, probabilistic support); from individual statements to theoretical systems (a theory is meaningful as a whole if it generates testable predictions, even if individual theoretical terms — “electron,” “field” — are not directly observable). The revisions were honest but cumulative: each relaxation weakened the criterion’s ability to do the work it was designed to do (excluding metaphysics while retaining science).

The Logical Syntax and the tolerance principle

The shift from the Aufbau to Logische Syntax der Sprache (The Logical Syntax of Language, 1934) was the most consequential turn in Carnap’s thought. The Aufbau had asked: what does the world contain, and how can we construct it from experience? The Logical Syntax asked a different question: what does a given linguistic framework permit us to say? The move was from the world to language — from epistemology to the logic of scientific discourse.

The tolerance principle. “In logic, there are no morals” (Logische Syntax, §17). The principle states that the choice of a logical or linguistic framework is a practical decision, not a factual one: there are many possible frameworks (classical logic, intuitionist logic, different type theories), and the decision among them is to be made on grounds of convenience and fruitfulness, not truth. No framework is the correct one; each permits different things to be said, and the choice is pragmatic.

The tolerance principle made Carnap’s later career coherent. Without it, the internal/external distinction, the semantic systems, and the inductive logic cannot sit together — each involves a choice of framework, and the principle is what makes multiple frameworks legitimate options rather than rival claims about reality. It also made the verificationism problem manageable: if the verification principle is a feature of a chosen framework rather than a claim about the world, its self-refutation is less damaging — it is a rule adopted for its utility, not a metaphysical thesis that must justify itself.

“Empiricism, Semantics, and Ontology” (1950). Carnap’s mature application of tolerance: questions about the existence of abstract entities (numbers, propositions, properties) are either internal questions (asked within a linguistic framework — “Is there a prime number greater than 100?” — to which the answer is straightforwardly yes) or external questions (asked about the framework itself — “Do numbers really exist?” — which are not factual questions but practical decisions about which framework to adopt). The paper defused the ontological disputes that had troubled empiricists by treating them as pragmatic choices rather than factual disagreements. The move was influential and controversial — realists objected that the distinction between internal and external questions cannot be maintained.

Probability and induction

Carnap’s later career was devoted to the theory of confirmation — the attempt to give a precise, logical account of how evidence supports a hypothesis.

Logical Foundations of Probability (1950) proposed a system of inductive logic: a formal calculus that assigns a degree of confirmation (a number between 0 and 1) to a hypothesis given a body of evidence. The system was intended to be a logical analogue of deductive logic — just as deductive logic specifies when a conclusion follows from premises with certainty, inductive logic would specify the degree to which evidence supports a conclusion. The project was extraordinarily ambitious and occupied Carnap for the last two decades of his life. It was never completed to his satisfaction; the difficulty of specifying a unique confirmation function — one that all rational agents should adopt — proved intractable. The later Bayesian tradition in philosophy of science builds on the same problem but typically abandons Carnap’s requirement of a unique, logically determined function in favour of subjective prior probabilities updated by evidence.

Where Carnap stops

The verificationist programme failed — not because it was poorly executed but because the boundary it attempted to draw (meaningful vs. meaningless) could not be drawn with the precision the programme required. Quine’s “Two Dogmas of Empiricism” (1951) attacked both pillars: the analytic-synthetic distinction (which Carnap’s framework presupposed) and the reductionism that linked individual statements to individual experiences. If the analytic-synthetic distinction does not hold — if there is no principled line between truths of meaning and truths of fact — then the verification principle cannot be stated, and the entire logical-empiricist programme loses its foundation. Carnap never accepted Quine’s arguments, and the debate between them was never resolved; it was overtaken by the broader decline of logical empiricism as a research programme.

The tolerance principle anticipated later developments in philosophy of science — Kuhn’s paradigms, Lakatos’s research programmes, the model-based view of theories — that treat theoretical frameworks as instruments chosen for their utility rather than mirrors of reality. Whether Carnap’s tolerance is a liberating insight or a concession that undermines the objectivity he sought to preserve is a question that tracks the broader realism-antirealism debate in the philosophy of science. The tolerance principle is the piece of Carnap’s programme that survived the collapse of verificationism most intact.

Key works

See also: Mach · Reichenbach · Frege · Russell · Popper · Philosophy of science