
Chap. XIII. The Axiom of Infinity and Logical Types
classes contained in a given class is always greater than the
|
number
of members of the class, and we inferred that there is no greatest
cardinal number. But if we could, as we suggested a moment ago, add
together into one class the individuals, classes of individuals, classes
of classes of individuals, etc., we should obtain a class of which its
own sub-classes would be members. The class consisting of all objects
that can be counted, of whatever sort, must, if there be such a class,
have a cardinal number which is the greatest possible. Since all its
sub-classes will be members of it, there cannot be more of them than
there are members. Hence we arrive at a contradiction.
When I first came upon this contradiction, in the year , I
attempted to discover some flaw in Cantor’s proof that there is no
greatest cardinal, which we gave in Chapter VIII. Applying this proof
to the supposed class of all imaginable objects, I was led to a new and
simpler contradiction, namely, the following:—
The comprehensive class we are considering, which is to embrace
everything, must embrace itself as one of its members. In other
words, if there is such a thing as “everything,” then “everything” is
something, and is a member of the class “everything.” But normally
a class is not a member of itself. Mankind, for example, is not a man.
Form now the assemblage of all classes which are not members of
themselves. This is a class: is it a member of itself or not? If it is, it is
one of those classes that are not members of themselves, i.e. it is not a
member of itself. If it is not, it is not one of those classes that are not
members of themselves, i.e. it is a member of itself. Thus of the two
hypotheses—that it is, and that it is not, a member of itself—each
implies its contradictory. This is a contradiction.
There is no difficulty in manufacturing similar contradictions ad
lib. The solution of such contradictions by the theory of types is set
forth fully in Principia Mathematica,
and also, more briefly, in articles
by the present author in the American Journal
|
of Mathematics
and in
the Revue de M
´
etaphysique et de Morale.
For the present an outline of
the solution must suffice.
The fallacy consists in the formation of what we may call “impure”
classes, i.e. classes which are not pure as to “type.” As we shall see
in a later chapter, classes are logical fictions, and a statement which
appears to be about a class will only be significant if it is capable
of translation into a form in which no mention is made of the class.
Vol. i., Introduction, chap. ii., ∗ and ∗; vol. ii., Prefatory Statement.
“Mathematical Logic as based on the Theory of Types,” vol. xxx., , pp.
–.
“Les paradoxes de la logique,” , pp. –.