This is the second part of a series developed through the Department of Philosophical Theology at the Institute of Lutheran Theology's Christ School of Theology, exploring major results in modern logic and their significance for philosophical and systematic theology.
The great achievements of Frege, Peirce, and Cantor vastly enlarged the expressive resources available to logic and mathematics. Quantification made it possible to speak formally about all or some objects satisfying a condition; the logic of relations permitted systematic treatment of structures involving two or more objects; Cantor showed that infinity itself could be mathematically articulated and that infinite collections could differ in cardinality. Yet precisely this increase in expressive power produced a new problem, for once logic could speak about collections defined by conditions, what prevented us from forming a collection corresponding to any condition whatsoever?
The answer, discovered with particular force by Bertrand Russell, was contradiction.
Consider the apparently innocent idea of the collection of all collections that are not members of themselves. Let us call this collection R. We can describe it this way:
R = {x : x ∉ x}.
Read: R is the collection of all objects x such that x is not a member of itself.
Now ask whether R itself belongs to R. By the very condition defining R, we obtain:
R ∈ R if and only if R ∉ R.
Read: R is a member of itself if and only if R is not a member of itself.
Either answer produces its opposite. If R belongs to itself, then by definition it must not belong to itself; but if R does not belong to itself, then it satisfies the condition for membership in R and therefore does belong to itself.
This was not merely an amusing puzzle. Russell communicated the paradox to Frege in 1902 while the second volume of Frege's Grundgesetze der Arithmetik was in press, and Frege immediately recognized the seriousness of the difficulty. His project had aimed to show that arithmetic could be derived from logical principles, but the paradox exposed a defect in the assumptions governing the formation of extensions or classes. The new logical machinery had become powerful enough to undermine one of its own foundational constructions.
The philosophical lesson is easy to state but profound in its consequences: not every condition that can be expressed determines an object corresponding to that condition.
Suppose we can specify a condition F and say intelligibly what it would be for something to satisfy F. It does not follow merely from this that there exists an object consisting of all and only the things satisfying F, for the movement from a condition to a corresponding totality requires justification. This distinction between specification and object formation became one of the central lessons of twentieth-century logic.
Zermelo and Restricted Set Formation
One response came through Ernst Zermelo and the subsequent development of axiomatic set theory. Instead of assuming a general principle according to which every condition determines a set, Zermelo restricted the circumstances under which sets may be formed. One does not simply move from a condition F to “the set of all Fs”; rather, set formation proceeds according to specified axioms.
The dangerous principle can be expressed simply as:
For every condition F, form the set {x : Fx}.
Read: for any condition F whatsoever, there exists a set containing exactly those objects that satisfy F.
Russell's paradox showed that this principle cannot be accepted without restriction. Zermelo's alternative was more cautious: begin with a set already given, and then select from it those members satisfying a specified condition. Thus, given a set A, one may form:
{x ∈ A : Fx}.
Read: the set of those members x of A that satisfy the condition F.
The difference is crucial because one is no longer permitted to range freely over absolutely everything and then collect into a set whatever satisfies an arbitrary condition. Set formation takes place relative to sets already available within an axiomatic framework, so that the transition from a predicate to a set is controlled rather than automatic.
Russell and the Theory of Types
Russell pursued a different strategy through the theory of types. The underlying intuition was that certain forms of self-reference arise because expressions belonging to different logical levels have been allowed to interact indiscriminately. Individuals occupy one level; predicates of individuals another; predicates of predicates another still. On such an approach, a predicate should not simply be allowed to take itself as an argument.
The slogan is crude but useful: things of one logical type cannot simply be treated as things of every logical type. Russell's solution therefore imposes hierarchy where unrestricted logical construction had permitted self-application, and the point is not merely technical. Logical grammar itself must be disciplined if expressions are not to generate combinations that the theory cannot consistently sustain.
These developments suggest a distinction that remains philosophically important: expressibility is not the same thing as admissible predication, and admissible predication is not the same thing as objecthood. The fact that we can describe something does not yet show that the description determines a genuine object, nor does the grammatical availability of an expression settle the ontological commitments of a theory.
Why This Matters for Theology
The theological relevance is greater than it may first appear because theology regularly speaks in terms that invite totalization: all truths, all possibilities, everything God knows, everything God can do, the totality of creation, or even everything that is not God. Russell's paradox does not show that such expressions are illegitimate, but it does force a distinction between quantifying over things and reifying the domain of quantification into another thing.
Suppose, for example, that we say:
For every x, if x is a creature, then God knows x.
Symbolically:
∀x (Cx → Kgx).
The symbols are simply an abbreviated way of saying: for every object x, if x is a creature, then God knows x.
Nothing in that assertion requires there to be an additional object called the set of all creatures, for the quantifier may range over creatures without thereby packaging the domain over which it ranges into a further entity. The same point applies when theologians speak of divine omniscience. One may say:
For every truth p, God knows p.
That claim does not by itself commit us to the existence of a further object called the set of all truths. Similarly, one may say:
For every creature x, x depends upon God.
Again, nothing in the quantificational structure of the sentence requires that there be one further object called the totality of everything other than God. Quantification alone does not force reification.
The methodological lesson can therefore be stated compactly: quantification should not be confused with reification. To say something of every member of a domain is not yet to say that the domain itself exists as one additional member of one's ontology, and theology is especially susceptible to overlooking this distinction because its characteristic subject matter repeatedly calls forth universal expressions.
There is a deeper theological resonance as well. Christian theology has long had to distinguish between what can legitimately be said of God and what ontological assumptions may be smuggled in by the forms of language used to say it. Russell, Zermelo, and type theory remind us that grammatical or logical form may tempt us into constructing objects that our theory neither requires nor can consistently sustain.
The suspect inference has this form: we can specify what it is to be an F; therefore, there exists one object consisting of all Fs. Yet the first statement does not entail the second. To put the point more carefully, being able to determine of each object whether it is F does not entail the existence of a set containing all and only the Fs. That is precisely the gap Russell's paradox forces us to notice.
The foundational crisis thus yielded a constructive philosophical lesson. Modern logic had acquired enormous power through Fregean quantification and Cantorian set theory, but Russell's paradox demonstrated that expressive power requires discipline. Zermelo supplied axiomatic restrictions upon set formation, while Russell supplied logical hierarchy through types; both responses forced philosophers to distinguish more carefully among language, predication, collection, and existence.
For theology, these distinctions are invaluable precisely because theology regularly attempts to speak about the ultimate, the universal, and the all-encompassing. Whenever theology speaks about all, it should therefore ask a further question: have we merely quantified over everything in some domain, or have we quietly turned that domain into one more thing?The question matters whenever theology attempts to speak of God, creation, possibility, truth, or totality.
Bibliographical Note
The classic primary source for the paradox is Bertrand Russell's 1902 letter to Gottlob Frege, together with Frege's discussion in the appendix to the second volume of Grundgesetze der Arithmetik (1903). Russell developed the theory of types most fully with Alfred North Whitehead in Principia Mathematica (1910–1913). Ernst Zermelo's “Untersuchungen über die Grundlagen der Mengenlehre I” (1908) provided the first major axiomatization of set theory designed in part to avoid the paradoxes generated by unrestricted set formation. For historical orientation, Jean van Heijenoort's From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 remains invaluable.