XI
Conclusions
A demonstration truly founded upon the principles of analytic logic will be composed of a series of propositions. Some, serving as premises, will be identities or definitions; the others will be deduced from the premises step by step. But though the bond between each proposition and the following is immediately evident, it will not at first sight appear how we get from the first to the last, which we may be tempted to regard as a new truth. But if we replace successively the different expressions therein by their definition and if this operation be carried as far as possible, there will finally remain only identities, so that all will reduce to an immense tautology. Logic therefore remains sterile unless made fruitful by intuition.
This I wrote long ago; logistic professes the contrary and thinks it has proved it by actually proving new truths. By what mechanism? Why in applying to their reasonings the procedure just described—namely, replacing the terms defined by their definitions—do we not see them dissolve into identities like ordinary reasonings? It is because this procedure is not applicable to them. And why? Because their definitions are not predicative and present this sort of hidden vicious circle which I have pointed out above; non-predicative definitions can not be substituted for the terms defined. Under these conditions logistic is not sterile, it engenders antinomies.
It is the belief in the existence of the actual infinite which has given birth to those non-predicative definitions. Let me explain. In these definitions the word 'all' figures, as is seen in the examples cited above. The word 'all' has a very precise meaning when it is a question of a finite number of objects; to have another one, when the objects are infinite in number, would require there being an actual (given complete) infinity. Otherwise all these objects could not be conceived as postulated anteriorly to their definition, and then if the definition of a notion N depends upon all the objects A, it may be infected with a vicious circle, if among the objects A are some indefinable without the intervention of the notion N itself.
The rules of formal logic express simply the properties of all possible classifications. But for them to be applicable it is necessary that these classifications be immutable and that we have no need to modify them in the course of the reasoning. If we have to classify only a finite number of objects, it is easy to keep our classifications without change. If the objects are indefinite in number, that is to say if one is constantly exposed to seeing new and unforeseen objects arise, it may happen that the appearance of a new object may require the classification to be modified, and thus it is we are exposed to antinomies. There is no actual (given complete) infinity. The Cantorians have forgotten this, and they have fallen into contradiction. It is true that Cantorism has been of service, but this was when applied to a real problem whose terms were precisely defined, and then we could advance without fear.
Logistic also forgot it, like the Cantorians, and encountered the same difficulties. But the question is to know whether they went this way by accident or whether it was a necessity for them. For me, the question is not doubtful; belief in an actual infinity is essential in the Russell logic. It is just this which distinguishes it from the Hilbert logic. Hilbert takes the view-point of extension, precisely in order to avoid the Cantorian antinomies. Russell takes the view-point of comprehension. Consequently for him the genus is anterior to the species, and the summum genus is anterior to all. That would not be inconvenient if the summum genus was finite; but if it is infinite, it is necessary to postulate the infinite, that is to say to regard the infinite as actual (given complete). And we have not only infinite classes; when we pass from the genus to the species in restricting the concept by new conditions, these conditions are still infinite in number. Because they express generally that the envisaged object presents such or such a relation with all the objects of an infinite class.
But that is ancient history. Russell has perceived the peril and takes counsel. He is about to change everything, and, what is easily understood, he is preparing not only to introduce new principles which shall allow of operations formerly forbidden, but he is preparing to forbid operations he formerly thought legitimate. Not content to adore what he burned, he is about to burn what he adored, which is more serious. He does not add a new wing to the building, he saps its foundation.
The old logistic is dead, so much so that already the zigzag theory and the no-classes theory are disputing over the succession. To judge of the new, we shall await its coming.