Page:Russell, Whitehead - Principia Mathematica, vol. I, 1910.djvu/81

This page has been proofread, but needs to be validated.
II]
THE AXIOM OF REDUCIBILITY
59

i.e. there is a predicative function which is true when is true and false when is false. In symbols, the axiom is:

.

For two variables, we require a similar axiom, namely: Given any function , there is a formally equivalent predicative function, i.e.

.

In order to explain the purposes of the axiom of reducibility, and the nature of the grounds for supposing it true, we shall first illustrate it by applying it to some particular cases.

If we call a predicate of an object a predicative function which is true of that object, then the predicates of an object are only some among its properties. Take for example such a proposition as "Napoleon had all the qualities that make a great general." We may interpret this as meaning "Napoleon had all the predicates that make a great general." Here there is a predicate which is an apparent variable. If we put "" for " is a predicate required in a great general," our proposition is

implies Napoleon.

Since this refers to a totality of predicates, it is not itself a predicate of Napoleon. It by no means follows, however, that there is not some one predicate common and peculiar to great generals. In fact, it is certain that there is such a predicate. For the number of great generals is finite, and each of them certainly possessed some predicate not possessed by any other human being—for example, the exact instant of his birth. The disjunction of such predicates will constitute a predicate common and peculiar to great generals[1]. If we call this predicate , the statement we made about Napoleon was equivalent to Napoleon. And this equivalence holds equally if we substitute any other individual for Napoleon. Thus we have arrived at a predicate which is always equivalent to the property we ascribed to Napoleon, i.e. it belongs to those objects which have this property, and to no others. The axiom of reducibility states that such a predicate always exists, i.e. that any property of an object belongs to the same collection of object as those that possess some predicate. We may next illustrate our principle by its application to identity. In this connection, it has a certain affinity with Leibniz's identity of indiscernibles. It is plain that, if and are identical, and is true, then is true. Here it cannot matter what sort of function may be: the statement must bold for any function. But we cannot say, conversely: "If, with all values of , implies , then and are identical"; because "all values of " is inadmissible. If we wish to speak of "all values of ," we must confine ourselves to functions of one order. We may confine to predicates, or to

  1. When a (finite) set of predicates is given by actual enumeration, their disjunction is a predicate, because no predicate occurs as apparent variable in the disjunction.