Page:System of Logic.djvu/176

 principles of geometry, thus appears to be fictitious. The assertions on which the reasonings of the science are founded, do not, any more than in other sciences, exactly correspond with the fact; but we suppose that they do so, for the sake of tracing the consequences which follow from the supposition. The opinion of Dugald Stewart respecting the foundations of geometry, is, I conceive, substantially correct; that it is built on hypotheses; that it owes to this alone the peculiar certainty supposed to distinguish it; and that in any science whatever, by reasoning from a set of hypotheses, we may obtain a body of conclusions as certain as those of geometry, that is, as strictly in accordance with the hypotheses, and as irresistibly compelling assent, on condition that those hypotheses are true.(68)

When, therefore, it is affirmed that the conclusions of geometry are necessary truths, the necessity consists in reality only in this, that they correctly follow from the suppositions from which they are deduced. Those suppositions are so far from being necessary, that they are not even true; they purposely depart, more or less widely, from the truth. The only sense in which necessity can be ascribed to the conclusions of any scientific investigation, is that of legitimately following from some assumption, which, by the conditions of the inquiry, is not to be questioned. In this relation, of course, the derivative truths of every deductive science must stand to the inductions, or assumptions, on which the science is founded, and which, whether true or untrue, certain or doubtful in themselves, are always supposed certain for the purposes of the particular science. And therefore the conclusions of all deductive sciences were said by the ancients to be necessary propositions. We have observed already that to be predicated necessarily was characteristic of the predicable Proprium, and that a proprium was any property of a thing which could be deduced from its essence, that is, from the properties included in its definition.

§ 2. The important doctrine of Dugald Stewart, which I have endeavored to enforce, has been contested by Dr. Whewell, both in the dissertation appended to his excellent Mechanical Euclid, and in his elaborate work on the Philosophy of the Inductive Sciences; in which last he also replies to an article in the Edinburgh Review (ascribed to a writer of great scientific eminence), in which Stewart's opinion was defended against his former strictures. The supposed refutation of Stewart consists in proving against him (as has also been done in this work) that the premises of geometry are not definitions, but assumptions of the real existence of things corresponding to those definitions. This, however, is doing little for Dr. Whewell's purpose; for it is these very assumptions which are asserted to be hypotheses, and which he, if he denies that geometry is founded