A Companion to Hobbes. Группа авторов

publication of Descartes’s Géométrie as one of the three Essais that accompanied the Discours de la méthode is generally taken to be the advent of analytic geometry. The details of this approach are widely enough understood that they need not detain us.⁸ The fundamental idea is that geometric curves can be represented algebraically, first by taking algebraic operations (addition, subtraction, multiplication, division, and the extraction of roots) as geometric constructions, and then identifying curves with indeterminate equations in two unknowns that correspond to the familiar co-ordinate axes in the Cartesian plane. Curves that are truly geometrical and susceptible to analysis can be given a “precise and exact” formulation expressed as a single equation showing the relation between the curve and the points on one axis (AT 6:392).

      The ‘analytic’ aspect of Cartesian geometry stems from its use of a so-called analytic method that begins with the assumption that a problem has been solved, and then proceeds to investigate the conditions under which such a solution can be achieved. As he put the matter

      If, then, we wish to solve any problem, we first suppose the solution already to have been effected, and give names to all the lines that seem needful for its construction – to those that are unknown as well as to those that are known. Then, making no distinction between known and unknown lines, we must unravel the difficulty in any way that shows most naturally the relations between these lines, until we find it possible to express a single quantity in two ways. This will constitute an equation, since the terms of one of these equations are together equal to the terms of the other. And we must find as many such equations as we have supposed lines which are unknown.

      (AT 6: 372–3)

The use of algebraic techniques to investigate the solution conditions for geometric problems was not an entirely Cartesian innovation. The procedure often went under the name of the “analytic art” and was widely regarded as a universal method for the solution of geometric problems. François Viète’s 1591 In Artem analyticem Isagoge famously employed algebra to seek solutions to geometric problems and concluded that the “analytic art … claims for itself the greatest problem of all, which is: To Solve Every Problem” (Viète 1591, 9). In England, Thomas Harriot’s Artis Analyticæ Praxis and William Oughtred’s Clavis Mathematicae were important developments in the application of algebra to geometry.⁹

      A critical difference between the Cartesian approach to geometry and its classical counterpart involves the issue of the homogeneity of magnitudes under multiplication. In the Cartesian scheme, multiplication of two lines yields another line, and likewise the multiplication of any number of lines produces yet another line. Thus, Cartesian geometry sees lines as homogeneous when subject to multiplication. In contrast, classical geometry takes the product of two lines to be a surface, so that multiplication yields a magnitude heterogeneous to that of the multiplicands. Similarly, classical geometry takes the product of three lines to be a solid, with the consequence that multiplication beyond the third (“cubic”) power has no geometric interpretation. Such powers were termed “biquadrate” (fourth power) or “quadrato-cube” (fifth power), etc., but they were not taken to have specific geometric meaning.

Hobbes’s disdain for analytic geometry was boundless. In part, his objections amount to little more than “aesthetic” complaints to the effect that algebraic symbols deface geometric demonstrations, as when he complains in SL Lesson 3 that “Symboles are poor unhandsome (though necessary) scaffolds of Demonstration; and ought no more to appear in publique, then the most deformed necessary business which you do in your Chambers” (EW VII.48). A more substantive complaint is that the employment of algebra in geometry is either methodologically suspect or (at best) irrelevant. If the application of algebra to geometry is warranted by underlying principles, these principles must ultimately be vindicated by appeal to geometric constructions, thereby making algebra superfluous. Yet if algebraic techniques are not grounded geometrically, there is no guarantee that an algebraic transformation corresponds to a legitimate geometric operation. Hobbes poses the dilemma this way in Dialogue 1 of Examinatio:

      What else do the great masters of the current symbolics, Oughtred and Descartes, teach, but that for a sought quantity we should take some letter from the alphabet, and then by right reasoning we should proceed to the consequence? But if this be an art, it would need to have been shown what this right reasoning is. Because they do not do this, the algebraists are known to begin sometimes with one supposition, sometimes with another, and to follow sometimes one path, and sometimes another …. Moreover, what proposition discovered by algebra does not depend upon Euclid (Book VI, Prop. 16) and (Book I, Prop. 47), and other famous propositions, which one must first know before he can use the rules of algebra? Certainly, algebra needs geometry, but geometry does not need algebra.

      (OL IV.9–10)

      This sort of objection highlights a difficulty in the analytic approach, which is that it is not always clear how a problem is to be “unraveled” (in Descartes’s phrase), and it is occasionally problematic to discern whether the manipulation of symbols by algebraic rules reflects an acceptable geometric construction.

      Hobbes further complains that the “intrusion” of algebra into geometry fails to recognize the fundamental difference between algebraic multiplication and the “drawing of lines into lines” that generates geometric objects. Among the “Manifest Principles” at the outset of his treatise Lux Mathematica, he numbers:

      A square figure is made by the drawing of a straight line into a line equal to it and placed at right angles to it. This drawing of a line therefore describes a surface, that is a new species of quantity, and this surface drawn into another straight line equal to the first two and orthogonal to them, will describe a solid, that is the third and last species of quantity.

      For geometry recognizes no quantity beyond the solid. For the sur-solids, quadrato-quadrates, the quadrato-cubes, and cubi-cubes are mere numbers, but not figures. Thus there is a great difference between what is made by the drawing of two lines into one another and what is made by the multiplication of two numbers into one another, truly as much as there is between a line and a surface or between a surface and a solid. These differ in kind, so much that one of them could by no multiplication exceed the other; and thus (as Euclid says) they can have no ratio to one another, nor could they be compared according to quantity. There is likewise a great difference between the root of a square number and the side of a square figure. For the root is a number, and an aliquot part of its square; but the side is not a part of a square figure.

      (Lux, Introduction 8; OL V.96)

This amounts to a wholesale rejection of Descartes’s thesis on the homogeneity of geometric lines under multiplication, and it set the stage for Hobbes’s bizarre claim that algebraic calculation could never refute a supposed geometric deduction.

Hobbes’s resolute rejection of analytic geometry contrasts with his ambivalent attitude toward another important innovation in seventeenth-century mathematics – the “method of indivisibles” pioneered by Bonaventura Cavalieri. The method is based on the notion that we can reason about the areas of plane figures by comparing “all the lines” contained within them, which Cavalieri called “the indivisibles” of the figures.¹⁰ The method first appeared in Cavalieri’s 1635 Geometria indivisibilibus continuourm nova quadam ratione promota, and its fundamental concept is illustrated in Figure 4.1. Take the circle ACEG and the ellipse JLNP, of equal height and both based on the line RS (which Cavalieri terms the regula). If the regula is understood to move parallel to itself upward until it reaches the position TU, its intersection with the two figures will produce “all the lines” in each. Cavalieri then proceeds to argue that “all the lines” in a figure can be treated as magnitudes and are subject to ordering relations. So, in Figure 3.1, the fact that “all the lines” of the circle exceed “all the lines” of the ellipse means that the area of the circle must be greater than that of the ellipse.

Figure