Hume Studies

61. HUME'S GEOMETRIC "OBJECTS" Arithmetic and algebra allow of precision and certainty . The science of geometry is not likewise a perfect and infallible science. At any rate, this is Hume's teaching in the Treatise. When two numbers are so combin ' d, as that the one has always an unite answering to every unite of the other, we pronounce them equal; and 'tis for want of such a standard of equality in extension, that geometry can scarce be esteem'd a perfect and infallible science. 1 The ideas of, say, equality and right line shade into· inequality and curve. It must not be supposed, however, that the vagueness of these ideas renders all judgments uncertain and fallible. 'Tie evident, that the eye, or rather the mind is often able at one view to determine the proportions of bodies ... .Such judgments are not only common, but in many cases certain and infallible. (T47) Nevertheless, geometry is a fallible science because its essential ideas are vague. Vagueness, due to lack of boundaries between ideas, is in the ideas themselves. For this reason, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. (T49) (Yet, some forty pages earlier Hume argued at length that the mind cannot form any notion of quantity or quality without forming a precise notion of the degrees of each [T18]) As far as the Treatise goes, geometry is the science of measurement and as such it must allow for error. Even if precise geometric standards could be had, they would not make the propositions of geometry certain. Thus, we might precisely define a right line by a rule of order of indivisible points. But geometry, construed as the science of measurement, would not be perfected. Nor, if it were (the standard) , is there any such firmness in our senses or imagination, as to determine when such an order is violated or preserv ' d. The original standard of a right line is in reality nothing but a certain general appearance. (T52) 62. In the Enquiries , Hume continues to hold that notions essential to geometry, for example, equality, right line, and so on, are sensibles. But they are no longer generic appearances. They are determinate. The great advantage of the mathematical sciences above the moral consists in this, that the ideas of the former, being sensible, are always clear and determinate ... even when no definition is employed, the object itself may be presented to the senses, and by that means be steadily and clearly apprehended. 2 In addition, geometry is no longer merely the science of measurement. The truths of Euclid, Hume holds, would remain truths even if there were no figures in nature. Though there never were a circle or triangle in nature, the truths demonstrated by Euclid would for ever retain their certainty and evidence. (EHU25) Professor Zabeeh, in his commentary on Hume, holds that Hume did not mean to imply that Euclid could dispense with the observation of figures. However, whenever possible Hume should be taken at his word: observation of figures is not a truth condition for propositions of geometry. A distinction must be drawn between discovery conditions and what Hume calls the "truth or evidence" of a geometric proposition . We may suppose that observation of figures is a discovery condition. But it is hardly a truth condition. The certainty, as opposed to the discovery, of geometric propositions does not depend on the existence in nature of any figure. I am mainly concerned, however, with Professor Zabeeh' s account of how, according to Hume, geometric propositions retain their certainty and evidence in the face of recalcitrant experience. Noting that Hume does not "fully explain," he gives the real reason for Hume's belief in the apodeictic certainty of mathematical truths. He appears to assume we never allow such truths to be controverted by empirical evidence. That is to say, if perchance we find, by measurement, that the sum of the angles of a Euclidean triangle 63. does not equal 180 degrees, either we say that we measured wrongly or we say that the triangle we have been measuring is not Euclidean.4 This formulation of Hume's reason avoids...