§ 3. But though Dr. Whewell has not shaken Stewart's doctrine as to the hypothetical character of that portion of the first principles of geometry which are involved in the so-called definitions, he has, I conceive, greatly the advantage of Stewart on another important point in the theory of geometrical reasoning; the necessity of admitting, among those first principles, axioms as well as definitions. Some of the axioms of Euclid might, no doubt, be exhibited in the form of definitions, or might be deduced, by reasoning, from propositions similar to what are so called. Thus, if instead of the axiom, Magnitudes which can be made to coincide are equal, we introduce a definition, "Equal magnitudes are those which may be so applied to one another as to coincide;" the three axioms which follow (Magnitudes which are equal to the same are equal to one another--If equals are added to equals the sums are equal--If equals are taken from equals the remainders are equal,) may be proved by an imaginary superposition, resembling that by which the fourth proposition of the first book of Euclid is demonstrated. But though these and several others may be struck out of the list of first principles, because, though not requiring demonstration, they are susceptible of it; there will be found in the list of axioms two or three fundamental truths, not capable of being demonstrated: among which must be reckoned the proposition that two straight lines cannot inclose a space, (or its equivalent, Straight lines which coincide in two points coincide altogether,) and some property of parallel lines, other than that which constitutes their definition: one of the most suitable for the purpose being that selected by Professor Playfair: "Two straight lines which intersect each other cannot both of them be parallel to a third straight line."[20]
The axioms, as well those which are indemonstrable as those which admit of being demonstrated, differ from that other class of fundamental principles which are involved in the definitions, in this, that they are true without any mixture of hypothesis. That things which are equal to the same thing are equal to one another, is as true of the lines and figures in nature, as it would be of the imaginary ones assumed in the definitions. In this respect, however, mathematics are only on a par with most other sciences. In almost all sciences there are some general propositions which are exactly true, while the greater part are only more or less distant approximations to the truth. Thus in mechanics, the first law of motion (the continuance of a movement once impressed, until stopped or slackened by some resisting force) is true without qualification or error. The rotation of the earth in twenty-four hours, of the same length as in our time, has gone on since the first accurate observations, without the increase or diminution of one second in all that period. These are inductions which require no fiction to make them be received as accurately true: but along with them there are others, as for instance the propositions respecting the figure of the earth, which are but approximations to the truth; and in order to use them for the further advancement of our knowledge, we must feign that they are exactly true, though they really want something of being so.
