Page:Chance, love, and logic - philosophical essays (IA chancelovelogicp00peir 0).pdf/258

This page needs to be proofread.

the first place, it turns upon metrical considerations; while the distinction between a continuous and a discontinuous series is manifestly non-metrical. In the next place, a perfect series is defined as one containing "every point" of a certain description. But no positive idea is conveyed of what all the points are: that is definition by negation, and cannot be admitted. If that sort of thing were allowed, it would be very easy to say, at once, that the continuous linear series of points is one which contains every point of the line between its extremities. Finally, Cantor's definition does not convey a distinct notion of what the components of the conception of continuity are. It ingeniously wraps up its properties in two separate parcels, but does not display them to our intelligence.

Kant's definition expresses one simple property of a continuum; but it allows of gaps in the series. To mend the definition, it is only necessary to notice how these gaps can occur. Let us suppose, then, a linear series of points extending from a point, A, to a point, B, having a gap from B to a third point, C, and thence extending to a final limit, D; and let us suppose this series conforms to Kant's definition. Then, of the two points, B and C, one or both must be excluded from the series; for otherwise, by the definition, there would be points between them. That is, if the series contains C, though it contains all the points up to B, it cannot contain B. What is required, therefore, is to state in non-metrical terms that if a series of points up to a limit is included in a continuum the limit is included. It may be remarked that this is the property of a continuum to which Aristotle's attention seems to have been directed