Reductionism in the philosophy of science

0.1 Introduction

In this handout, we will discuss the reduction of theories and / or sciences. That is, given two theories T1 and T2, we will discuss what it means to reduce T2 to T1 and then examine two different reductions: (i) the reduction of logic to psychology and (ii) the reduction of mathematics (arithmetic) to logic (set theory).

To obtain this handout as a PDF, visit Reductionism in the philosophy of science (

0.2 What is theory reduction?

In The Structure of Science, Ernst Nagel defines theory reduction as follows

a reduction is effected when the experimental laws of the secondary science (and if it has an adequate theory, its theory as well) are shown to be the logical consequences of the theoretical assumptions (inclusive of the coordinate definitions) of the primary science (p.352).

The basic idea is that a reduction of a theory T2 to T1 occurs when the key propositions, theorems, sentences, or laws of T2 are derivable (logical consequences) of the laws of T1. If this is the case, then the basic truths of T2 are seen to depend upon the more basic principles of T1.

To understand this definition of theory reduction, we need to define a theory and a reduction more precisely.

0.2.1 What is a theory?

In this section, a basic definition of a theory is provided.

Definition 1 (theory) A theory is a set of propositions P1,P2,Pn, some of these sentences being axioms, about a subject matter.

So, my theory of the world might include some propositions about the types of things that exist and how they interact.

Definition 2 (axioms) An axiom is a basic proposition in a theory.

In calling the axioms of a theory “basic”, what is meant is that the proposition (the axiom) is a foundational or non-derived part of the theory. These are the core propositions upon which all other propositions of the theory depend. The status of these axioms varies from theory to theory, some are said to be known by intuition, others are generalizations from phenomena, some are said to be self-evident.

Propositions of the theory that are logical consequences of the axioms of the theory are the theorems of the theory. These are propositions that are derived from (logical consequences of) the axioms of the theory.

Definition 3 (theorems) Propositions Pi,Pi+1Pi+n that are the logical consequences of the axioms of the theory.

Example 1 (a theory about the world) I might assert the following axioms: (A1) God exists, (A2) the world exists, and (A3) God is all-knowing, all-powerful, and all-loving. Two theorem of this theory are that (T1) there is no evil in the world and (T2) anything that appears to be evil is only an illusion.

Finally, a theory often involves various definitions and inference rules. The definitions define various terms while the inference rules specify the rules used for reasoning from axioms to theorems.

0.2.2 What is a reduction?

With the notion of a theory in place, we can define certain conditions for a reduction.

First, in order to reduce one “theory” T2 to T1 (or one science to another science), it is necessary that both T1 and T2 meet our definition of “theory” put forward above. This requires that the science or theory in question has a certain structure. Namely, that it is axiomatized and that other truths of the theory (its theorems) are deducible from the axioms. Thus, if our theory is an unorganized body of propositions, containing no axioms, then the conditions for reduction are not present.

Second, a theory T2 is reducible to T1 if and only if the following two conditions are met:

  1. every term of T2 is capable of being translated into a term in T1
  2. every theorem of T2 is a logical consequence of the axioms of T1

Given the above, Figure 1 can construct the following method for reducing T2 to T1

SVG-Viewer needed.

Figure 1: The process of reducing T2 to T1 involves axiomatizing both T1 and T2, translating the terms of T2 into T1, and then deducing the axioms and theorems of T2 using T1

The idea here is that anything that T2 can prove (or explain) is provable (or explainable) using only T1.

0.3 Examples of attempted reductions

Some reductions are unproblematic in nature. For example, suppose two different theories, one theory for terrestrial mechanics (movement of objects on earth) and one theory for celestial mechanics (movement of the planets). Supposing both theories are axiomatized and both theories involve a number of theorems, we can imagine how both theories might be reduced to a more general physical theory that explains how objects move in general. Let’s call this more general theory T. The theory T would

  1. translate the terms of both terrestrial and celestial mechanics into the terms of T
  2. show how the various theorems of terrestrial and celestial mechanics are deducible from the axioms of T

One of the benefits of such a reduction is it brings various sciences and theories into unity. That is, rather than having a number of isolated sciences, when one theory is reduced to another, the result is that the reduced theory is often made a species of the more general science. Thus, celestial and terrestrial mechanics would be a species of the more general physical theory.

However, not all reductions are unproblematic. In what follows, we consider two problematic reductions.

0.3.1 Reduction of logic to psychology (psychologism)

The reduction of logic to psychology is sometimes referred to as psychologism in logic. In this section, we briefly outline how one might try to reduce logic to psychology.

To undertake this reduction, we first need to define “logic”

Definition 4 (logic) Logic is a science that investigates various systems of representation with the primary goal to explicate the nature of logical consequence (truth-preserving inference) and identify valid propositions (tautological formulas).

With respect to logic,

Example 2 (Logic as objective) Consider the following argument: All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Whether the conclusion is a logical consequence of the premises is determined by the structure (form, the terms, etc.) of the argument and not whether individuals are inclined to believe it follows from the premises.

With this general idea of logic in mind, we can now define psychologism

Definition 5 (psychologism) Psychologism, in general, is the theory that the statements of one science / theory (call this the target science are reducible to / or merely abbreviations for statements about psychology (the mind, ideas, human beliefs, our cognitive architecture).

As a general theory, psychologism can be applied to a variety of sciences or theories, but we will look at the view that all logical propositions are reducible to psychological propositions. Using our model of reduction, a proponent of psychologism would reduce logic to psychology in the following manner:

  1. Articulate the axioms of logic and the axioms of psychology
  2. Translate the key terms of logic into the language of psychology
  3. Derive the axioms of logic using the axioms of psychology.

SVG-Viewer needed.

Figure 2: Psychological contends that the axioms of logic are reducible to axioms of psychology, but in order for the reduction to work it is necessary to translate the terms of logic into psychological terms and to provide derivations of the logical axioms from the psychological axioms.

We won’t illustrate each of the steps involved in this reduction. Instead, we will simply show how certain logical axioms (tautologies, valid wffs) might be said to have their basis in basic principles having to do with the human mind (see Table 1).

Law of excluded middle: P or not P, P ¬P

Generalization of the psychological fact that some mental states exclude other mental states, namely that certain positive beliefs (a belief that P) involves an exclusion of another belief (exclusion of a belief that not P)

Principle of non-contradiction: P or not P, P ¬P

Belief and disbelief are two different mental states that exclude each other

Table 1: Two logical axioms (laws) are the law of excluded middle and the principle of non-contradiction. Someone who accepts psychologism would argue that these logical axioms are derivable from more basic psychological axioms. See Mill, A System of Logic, Bk II (Of Reasoning), Ch. VII.

According to psychologism, the validity (or truth) of logical laws is said to be based upon the validity of highly general psychological laws that govern the human mind. Logic then is not a science that is distinct from psychology, but is, instead, at most a branch of psychology dealing with laws of the mind and inference.

0.3.2 The reduction of arithmetic to logic (logicism)

Another attempted reduction is the reduction of mathematics to logic (set theory). This is the theory of logicism.

Definition 6 (logicism) Logicism is the philosophical view that mathematical propositions are reducible to (an abbreviation of) logical propositions.1

Logicism makes two principal claims:

  1. mathematical objects are, on closer inspection, logical objects (the terms of arithmetic can be expressed entirely in logical terms)2
  2. mathematical axioms (and theorems) and their derivations from mathematical axioms are derivable from logical axioms

In order for a successful reduction of arithmetic to logic, we would need the following:

  1. axiomatization of arithmetic and logic
  2. a way of translating all of the terms (concepts) from arithmetic to logic
  3. a way of proving every arithmetical truth using the laws of logic

First, with respect to the axiomatization of arithmetic, the axioms of arithmetic are as follows (from Russell, Introduction to Mathematical Philosophy:

Definition 7 (axioms of arithmetic)

  1. 0 is a number
  2. The successor of any number is a number3
  3. No two numbers have the same successor.4
  4. 0 is not the successor of any number.5
  5. Any property which belongs to 0, and also to the successor of every number which has the property, belongs to all numbers.

In addition, we need logical axioms.

Definition 8 (Three logical axioms (set theory))

  1. The axiom schema of comprehension: informally, for every predicate (property) P there will exist a set S whose elements (members) are exactly those elements that are P. In simpler terms, when we talk about an object x being red, this talk is interchangeable with talking about x being in the set of red things.
  2. The axiom of extensionality: informally, if sets S1 and S2 have the same elements, then they are the same set.
  3. The axiom of infinity: informally, there is a set S that contains the empty set and that for any element x that is a element of S, the set Si that is constructed by taking the element x and the set of x (viz., {x}) is in the set X. This axiom guarantees at least one infinite set.

Remember that logicism contends that these arithmetical axioms are reducible to logical axioms. That is, the logicist claims that the above arithmetical axioms are derivable from logical axioms. Before we can do this, however, another step is required.

SVG-Viewer needed.

Figure 3: Logicism contends that the axioms of arithmetic can be derived from the axioms of logic

Second, we need a way of translating the key terms. This process of translation involves definitions of terms from one language to another language. These definitions are often referred to as bridge translations. In the case of arithmetic, we need to translate terms like “zero”, “successor”, and “number” into logical terms.

We can do this as follows:

Note 1 It is OK if the definitions above means nothing to you. We are simply walking through the general idea of how the reduction is performed.

SVG-Viewer needed.

Figure 4: Logicism contends that the axioms of arithmetic can be derived from the axioms of logic, but in order to reduce arithmetic to logic, it is necessary to translate the arithmetical terms of arithmetic into logical terms.

Finally, the last step in the reduction is to show how each of the arithmetical axioms is derivable from the logical axioms. I won’t provide a proof of this but basically you go through each of the arithmetical axioms and prove them one by one using only the logical axioms and the bridge definitions.

SVG-Viewer needed.

Figure 5: Logicism contends that the arithmetical truths are reducible to logical truths, but in order for the reduction to work it is necessary to translate the arithmetical terms of arithmetic into logical terms and to provide derivations of the arithmetical axioms from the logical axioms.

Further Reading