In like manner, the indistinct conceptions of children and of rude savages do not invalidate the distinction of necessary and experiential truths. Children and savages make mistakes even with regard to numbers; and might easily happen to assert that 27 and 38 are equal to 63 or 64. But such mistakes cannot {63} make arithmetical truths cease to be necessary truths. When any person conceives these numbers and their addition distinctly, by resolving them into parts, or in any other way, he sees that their sum is necessarily 65. If, on the ground of the possibility of children and savages conceiving something different, it be held that this is not a necessary truth, it must be held on the same ground, that it is not a necessary truth that 7 and 4 are equal to 11; for children and savages might be found so unfamiliar with numbers as not to reject the assertion that 7 and 4 are 10, or even that 4 and 3 are 6, or 8. But I suppose that no persons would on such grounds hold that these arithmetical truths are truths known only by experience. 5. I have taken examples of necessary truths from the properties of number and space; but such truths exist no less in other subjects, although the discipline of thought which is requisite to perceive them distinctly, may not be so usual among men with regard to the sciences of mechanics and hydrostatics, as it is with regard to the sciences of geometry and arithmetic. Yet every one may perceive that there are such truths in mechanics. If I press the table with my hand, the table presses my hand with an equal force: here is a self-evident and necessary truth. In any machine, constructed in whatever manner to increase the force which I can exert, it is certain that what I gain in force I must lose in the velocity which I communicate. This is not a contingent truth, borrowed from and limited by observation; for a man of sound mechanical views applies it with like confidence, however novel be the construction of the machine. When I come to speak of the ideas which are involved in our mechanical knowledge, I may, perhaps, be able to bring more clearly into view the necessary truth of general propositions on such subjects. That reaction is equal and opposite to action, is as necessarily true as that two straight lines cannot inclose a space; it is as impossible theoretically to make a perpetual motion by mere mechanism as to make the diagonal of a square commensurable with the side. {64} 6. Necessary truths must be _universal_ truths. If any property belong to a right-angled triangle _necessarily_, it must belong to _all_ right-angled triangles. And it shall be proved in the following Chapter, that truths possessing these two characters, of Necessity and Universality, cannot possibly be the mere results of experience.