Background

  • Roberto Torretti
Part of the Episteme book series (EPIS, volume 7)

Abstract

Modern philosophy of geometry is closely associated with non-Euclidean geometry and may almost be said to stem from it. The long history leading to the discovery of non-Euclidean geometry will be summarized in the first sections of Chapter 2. The present chapter touches upon other aspects of the historical background of our subject, which will be useful in our subsequent discussions. In the first three sections of this chapter, we shall deal with the Greek beginnings of geometry and philosophy, the uses of geometry in Greek and early modern natural science, and the metaphysics of space that was part and parcel of the accepted view of nature from the 17th to the 19th century. In the fourth and last section, we shall discuss the method of coordinates introduced by René Descartes for describing geometrical configurations and relations in space.

Keywords

Mercury Manifold Posit Tate Bark 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

  1. 1.
    Aristotle, Metaph., 981b20–25.Google Scholar
  2. 2.
    Aristotle, Metaph., 983b17–20; Proclus, Comm., ed. Fr., pp.157, 250, 299, 352.Google Scholar
  3. 3.
    Plato, Meno, 80d–86c.Google Scholar
  4. 4.
    Proclus, Comm., ed. Fr. p.207. Cf. Berkeley, Principles of Human Knowledge, §16.Google Scholar
  5. 5.
    Arpad Szabó maintains that the origin of this new style of proof can be traced to the Eleatic philosophers Parmenides and Zeno. If Szabó is right we ought to hail Parmenides of Elea, rather than Thaïes or Pythagoras, as the true father of scientific mathematics. But, as it often happens in philology, Szabó’s arguments are not altogether convincing. See his Anfänge der griechischen Mathematik (1969), pp.243–293, etc., Szabó (1964) presents some of Szabó’s ideas in English.Google Scholar
  6. 6.
    See Becker (1934), Reidemeister (1940), Van der Waerden (1947/49). Strictly speaking, the word number (arithmos) means in Greek an integer greater than one. Yet the propositions proved of numbers generally hold good also if the unit (monas) is counted as a number. Hereafter, when dealing with Greek mathematics, we shall mean by number a positive integer.Google Scholar
  7. 7.
    Heath, EE, Vol.II, p.414.Google Scholar
  8. 8.
    Plato, Respub., 511a1; cf. 526a6.Google Scholar
  9. 9.
    Van der Waerden, SA, p. 144.Google Scholar
  10. 11.
    Plato, Respub., 533b7–c5.Google Scholar
  11. 12.
    Plato, Respub., 533c8.Google Scholar
  12. 13.
    Aristotle, Eth. Nicom., 1039b1; cf. Anal. Post., 100b12.Google Scholar
  13. 14.
    Aristotle, Anal. Post. Book II, Chapter 19; Eth. Nicom., Book VI, Chapter 6; Oxford translation.Google Scholar
  14. 15.
    Aristotle, Anal. Post., 72a14–18, 76a37–41; Metaph., 1005a19–25.Google Scholar
  15. 16.
    Aristotle, Metaph., 1005b 18–20.Google Scholar
  16. 17.
    Aristotle, Anal. Post., 72a18–24. A. Gómez-Lobo (1977) argues persuasively that this passage describes hupotheseis as singular statements of the form “This here is a such and such” and not — as it has been usually understood — as existential generalizations of the form “There is a such and such”. Since Aristotle’s logic is not a ‘free’ logic, such singular statements are existential all the same.Google Scholar
  17. 18.
    Aristotle, Topica, Book VI, Chapter 4; cf. Anal. Post. 93b22.Google Scholar
  18. 19.
    Kurt von Fritz (1955); Arpad Szabó, AGM, 3. Teil. Additional reasons for doubting Euclid’s Aristotelianism flow from Imre Tóth’s investigations mentioned in Note 2 of Part 2.1.Google Scholar
  19. 20.
    Heath, EE, Vol.I, pp.222–224, 232.Google Scholar
  20. 23.
    Heath, EE, Vol.I, pp.195, 196, 199, 200, 202. I have modified Heath’s translation slightly to make it more literal. The numbers are not found in the manuscript and are included for reference. Postulate 5 is analysed in Section 2.1.1.Google Scholar
  21. 25.
    Aristotle, Phys., Book III, Chapter 6.Google Scholar
  22. 28.
    Aristotle, Anal. Post., 76b27–30; 32–34. G.R.G. Mure thought it appropriate to render aitema in the present context as illegitimate postulate.Google Scholar
  23. 29.
    Aristotle, Metaph. 1005a29–31.Google Scholar
  24. 30.
    Aristotle, Metaph., 985b32.Google Scholar
  25. 31.
    Aristotle, Metaph., 986a1.Google Scholar
  26. 34.
    Plato, Respub., 529d7–530b4. I reproduce, with slight changes, Sir Thomas Heath’s translation in his Greek Astronomy.Google Scholar
  27. 35.
    Plato, Respub. 530d1.Google Scholar
  28. 36.
    Plato, Respub., 531b2–4.Google Scholar
  29. 37.
    Plato, Respub., 429b5–c1.Google Scholar
  30. 39.
    Simplicius, In Aristotelis de Caelo, ed. Heiberg, p.488.16–18.Google Scholar
  31. 40.
    Plato, Leges, 821e1–822a8; 897c4–6.Google Scholar
  32. 41.
    Plato, Leges, 967b2–4. The reader will not fail to notice that Plato reasons like the 20th-century engineer who ascribes intelligence to his computer.Google Scholar
  33. 42.
    Epinomis, 983b7–c4. Cf. Ibid., 982c4–d2.Google Scholar
  34. 44.
    Aristotle, Eth. Nicom., 1094b23–25.Google Scholar
  35. 45.
    Aristotle, Metaph., 995a14–17.Google Scholar
  36. 46.
    Aristotle, Phys., 193b24f.Google Scholar
  37. 47.
    Aristotle, Phys., 193b35.Google Scholar
  38. 48.
    Aristotle, Metaphys., 1025b28–1026a6; cf. Physica, 194a1–6.Google Scholar
  39. 50.
    Derek J. de S. Price (1959), p.210. Pre-Keplerian astronomy never attained the optimal accuracy indicated on p.20; Price’s calculations show, however, that its failings were due to a wrong choice of parameters rather than to the inadequacy of the epicyclic models.Google Scholar
  40. 52.
    Maimonides, The Guide of the Perplexed (transl. by Shlomo Pines), pp.325f.Google Scholar
  41. 53.
    Maimonides, GP, p.327.Google Scholar
  42. 54.
    John of Jandun, Acutissimae quaestiones in XII libros Metaphysicae, 12.20, quoted by Duhem, SP, p.43.Google Scholar
  43. 55.
    Kepler, Epitome astronomiae copernicanae (1618); GW, Vol.VII, p.23.Google Scholar
  44. 56.
    Kepler, Ibid.; GW, Vol.VII, p.25.Google Scholar
  45. 57.
    Kepler, Letter to Johann Georg Brenger, October 4, 1607; GW, Vol.XVI, p.54.Google Scholar
  46. 58.
    Kepler, Letter to Herwart von Hohenburg, April 10, 1605; GW, Vol.XV, p.146. Machina means here ‘structure’ or ‘edifice’; if it is rendered as ‘machine’, Kepler’s programme sounds trivial — indeed, he ought then to prove first that the heavens are a machine.Google Scholar
  47. 59.
    Kepler, Mysterium cosmographicum (1596); GW, Vol.I, p.26.Google Scholar
  48. 60.
    Kepler, Astronomia nova (1609); GW, Vol.III, p.241.Google Scholar
  49. 61.
    Kepler, Harmonices Mundi (1619); GW, Vol.VI, p.223.Google Scholar
  50. 62.
    Kepler, Letter to Michael Mästlin, April 9, 1597; GW, Vol.XIII, p.113.Google Scholar
  51. 63.
    Galilei, Letter to Fortunio Liceti, January 1641; EN, Vol.XVIII, p.295.Google Scholar
  52. 64.
    Descartes, Principia Philosophiae, II,21; AT, Vol.VIII, p.52; cf. AT, Vol.V, p.345.Google Scholar
  53. 65.
    Descartes, Principia Philosophiae, II.21. Cf. I,26 in AT, Vol.VIII, pp.14f. See Henry More’s rebuke in Descartes, AT, Vol.V, pp.242f.Google Scholar
  54. 67.
    Plato, Timaeus, 52a–b.Google Scholar
  55. 68.
    Aristotle, Phys., 212a6 (as amended by Ross following the ancient commentators).Google Scholar
  56. 69.
    Strato, fr.55, in Wehrli, Die Schule des Aristoteles. Cf. Aristotle, Phys., 211b8.Google Scholar
  57. 70.
    Philoponus, In Aristotelis Phys. IV–VIII (ed. Vitelli), p.567.29–33.Google Scholar
  58. 71.
    Simplicius, In Aristotelis Phys. I–IV (ed. Diels), p.618.21ff.Google Scholar
  59. 72.
    See for example Lucretius, De rerum natura, I.1002–1007.Google Scholar
  60. 73.
    Bradwardine, De causa Dei, p. 179A.Google Scholar
  61. 74.
    H.A. Wolfson, Cresca’s Critique of Aristotle, pp.147, 187–189, 417 (n.31).Google Scholar
  62. 75.
    Bruno, De Immenso et Innumerabilibus, I.8;Op. Lat. Vol.I.1, p.231.Google Scholar
  63. 76.
    Leibniz, Fifth Paper to Clarke, No.47, in H.G. Alexander, LCC, p.69.Google Scholar
  64. 77.
    Henry More, OO, Vol.II.2, p. 162.Google Scholar
  65. 78.
    Kant, KrV, A39/B56.Google Scholar
  66. 79.
    Kant, Gedanken von der wahren Schätzung der lebendigen Kräfte, §9; Ak., Vol.I, p.23.Google Scholar
  67. 80.
    Kant, Ibid., §10; Ak, Vol.I, p.24.Google Scholar
  68. 82.
    Kant, Ak., Vol.II, p.403.25.Google Scholar
  69. 83.
    Kant, Ak., Vol.II, p.398.Google Scholar
  70. 84.
    Kant, Ak., Vol.II, p.403.Google Scholar
  71. 85.
    “Mud inane rationis commentum.” Kant, Ak., Vol.II, p.404.2.Google Scholar
  72. 86.
    Kant, Ak. Vol.II, p.402f. Kant adds: “Ceterum Geometria propositiones suas universales non demonstrat: obiectum cogitando per conceptum universalem, quod fit in rationalibus, sed illud oculis subiiciendo per intuitum singularem, quod fit in sensitivis” (Ak., Vol.II, p.403). It is hard to imagine what the eyes — even if we take them to be the “eyes of the mind”—can see in pure, i.e. sensation-free, intuition, unless the latter is determined by concepts. Nevertheless, Kant’s view of geometrical proof was incredibly popular among philosophers throughout the 19th century (see, e.g., Schopenhauer, WW, Vol.VII, pp.62–67; Vol.II, pp.82–99). J. Hintikka has recently tried to make sense of it by drawing a parallel between Kant’s appeal to “singular intuition” and the use of existential instantiation, which we now know to be indispensable in most mathematical demonstrations. But existential instantiation, far from being the opposite of “thinking an object by means of a universal concept”, presupposes a concept with which the proposed instance must exactly agree. See Hintikka (1967) and the other references listed in Hintikka, LLI, p.23 n.38.Google Scholar
  73. 87.
    Kant, Ak., Vol.II, pp.404f. It is not altogether unlikely that Kant had been apprised by his friend J.H. Lambert of the possibility of modelling a two-dimensional non-Euclidean geometry on a surface imbedded in Euclidean 3-space (see p.50).Google Scholar
  74. 88.
    Kant, Ak., Vol.II, p.404.Google Scholar
  75. 89.
    Kant, KrV, B274ff.Google Scholar
  76. 90.
    Kant, KrV, A210/B255. See “On the subjectivity of objective space”, Torretti (1970).Google Scholar
  77. 91.
    Kant, KrV, B129f.Google Scholar
  78. 92.
    The latter text was substituted for the former in the 1787 edition. Compare KrV, A20, B34.Google Scholar
  79. 94.
    Kant, Prolegomena, §38; Ak., Vol.IV, pp.321f.Google Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1984

Authors and Affiliations

  • Roberto Torretti
    • 1
  1. 1.University of Puerto RicoPuerto Rico

Personalised recommendations