Overview and Context
Formalwissenschaft und Realwissenschaft (Formal Science and Real Science) is a short programmatic text by the German-American philosopher Rudolf Carnap. It was written in German and published in 1955 in the journal Erkenntnis (vol. 5), at a time when Carnap was working in the United States, having emigrated in the 1930s and taught at the University of Chicago and later at UCLA. The essay belongs to the late phase of logical empiricism, and it sets out, with unusual clarity, Carnap’s mature view of the difference between the formal sciences (logic and mathematics) and the empirical or “real” sciences (physics, chemistry, biology, psychology, and so on). Although it is brief, it summarizes many of the distinctions that run through his earlier work, especially The Logical Syntax of Language and his writings on analyticity, confirmation, and the structure of scientific theories.
The essay is best understood as an attempt to clarify what kind of knowledge each domain yields and how the two relate. Carnap’s guiding concern is methodological: he wants to show that the formal sciences are not a body of substantive truths about some special realm of abstract objects, but a set of conventions and deductive structures whose content is purely linguistic or logical, while real science makes assertions that are answerable to observation. The distinction is therefore not merely a classification of subjects, but a claim about the logical character of the statements each discipline produces.
The Distinction Between the Two Kinds of Science
Carnap begins by noting that the term “science” is applied to disciplines that differ radically in their procedures and in the sort of validity their results possess. On one side stand the formal sciences, paradigmatically logic and mathematics; on the other stand the real sciences, which investigate the empirical world. The central thesis is that the formal sciences do not describe any particular fact about the world. Their statements are analytic, in the sense that they hold in virtue of the meanings of the terms and the rules of the language in which they are formulated, and they therefore say nothing about how things are. A theorem of logic or arithmetic is true because of the structure of the system that contains it, not because it reports a discovery.
Real science, by contrast, has synthetic statements as its characteristic output: claims whose truth or falsity depends on what is observed. Carnap insists that this is not an exhaustive dichotomy of isolated items but a difference in the function that the two kinds of discourse serve. Formal science furnishes the framework of concepts, the transformation rules, and the deductive machinery; real science uses that machinery to organize, predict, and test empirical claims. The two are thus interdependent: real science cannot dispense with formal instruments, while the formal sciences derive their importance from being applicable to the empirical domain.
Analytic and Empirical Truth
A large part of the essay is devoted to making the contrast between analytic and empirical truth precise. Carnap draws on his earlier analysis of language, in which the rules of a language, not facts of the world, determine which sentences are logically true. In the formal sciences, the consequences of a set of postulates are obtained by applying explicit transformation rules; nothing about the external world is needed to check them. One can, in principle, verify a logical or mathematical derivation mechanically, by inspecting its form.
Real science is different in a decisive respect: its hypotheses are not merely derived from rules, they must be confronted with observation. Carnap emphasizes that empirical statements carry a kind of content that cannot be generated by the formal apparatus alone. The formal sciences can tell us what follows from a hypothesis; only observation can tell us whether the hypothesis holds. This is why he treats the empirical and the formal as complementary halves of scientific knowledge. A physical theory, for example, is a formal system whose axioms or laws are interpreted so that some of its terms connect to observable magnitudes, and it is in this interpretive connection that its empirical content lies.
Interpretation, Rules, and the Role of Formal Systems
An important theme is the role of interpretation. Carnap argues that a formal calculus is by itself uninterpreted: its symbols are not yet about anything. The formal sciences study such calculi, exploring their possible structures and consequences. When a calculus is applied to a domain of real science, certain of its symbols are assigned empirical meanings through correspondence rules, and the resulting system becomes a scientific theory capable of being tested. The formal part supplies the logical skeleton, and the interpretive part supplies the flesh that makes contact with experience.
This account allows Carnap to say that mathematics and logic, even when they are used in physics, do not thereby acquire empirical content. The mathematics in a physical theory remains formal; it is the coordinating rules that link certain expressions to measurable quantities that introduce empirical claims. The distinction is thus one of function within a theory rather than of subject matter alone. A single system of equations can be read formally, as a pure calculus, or empirically, as a description of a physical process, and the difference lies in the interpretation applied to it.
Verification, Confirmation, and Testability
Because real science is answerable to observation, Carnap considers how empirical statements receive support. He is careful to distinguish the strict notion of verification from the more flexible notion of confirmation. Complete verification of a universal law is impossible, and so he adopts a view in which scientific hypotheses are progressively confirmed by evidence to a greater or lesser degree. This allows real science to proceed without claiming certainty, while still maintaining a sharp contrast with the formal sciences, whose results are settled by proof.
Testability is a related concern. Carnap maintains that the empirical content of a theory is what determines its testability, and that formal statements, being empty of factual content, cannot be tested at all in this sense. A logical or mathematical truth is not refuted by experience and is not confirmed by it either; its status is fixed by the rules of inference. Real science, on the other hand, stands or falls with the results of observation, even though the process of testing always involves theoretical assumptions drawn from formal structures.
How the Argument Is Built
The essay proceeds by moving from the general characterization of the two disciplines to the logical features that distinguish their statements, and finally to the way they cooperate in scientific practice. Carnap first establishes the difference in subject and procedure, then examines the status of the statements each discipline produces, and then shows how formal and empirical elements combine in actual theories. The concluding emphasis is on the unity of science: the formal and the real sciences are not rival sources of knowledge but parts of a single enterprise in which logic supplies structure and observation supplies content.
Throughout, Carnap’s style is terse and precise. He avoids metaphysical language about the nature of mathematical objects, preferring to speak of linguistic frameworks, rules, and interpretations. This reflects the program of logical empiricism, in which philosophical questions are to be reformulated as questions about the logical structure of language and about the criteria by which statements are accepted.
Significance and Reception
The essay is significant as a late, compact statement of the view that the formal sciences are analytic and non-factual while the real sciences are synthetic and empirical, and that the two are linked through interpretation. It contributed to the broader discussion, prominent in the mid-twentieth century, about the nature of mathematical truth, the analytic-synthetic distinction, and the structure of scientific theories. Its ideas were taken up in discussions of the “received view” of scientific theories, in which a theory is seen as a formal calculus together with correspondence rules and an empirical interpretation, and the essay is often cited as a clear exposition of this conception.
Later philosophy has challenged several of the assumptions behind the distinction, most notably the sharpness of the analytic-synthetic line and the idea that a theory’s observational content can be cleanly separated from its theoretical apparatus. Nonetheless, the essay remains a useful and lucid account of the division of labor between formal and empirical inquiry, and it reflects the methodological clarity that characterized Carnap’s work across his career.
