Skip to main content
Log in

Mathematizing Power, Formalization, and the Diagrammatical Mind or: What Does “Computation” Mean?

  • Special Issue
  • Published:
Philosophy & Technology Aims and scope Submit manuscript

Abstract

Computation and formalization are not modalities of pure abstractive operations. The essay tries to revise the assumption of the constitutive nonsensuality of the formal. The argument is that formalization is a kind of linear spatialization, which has significant visual dimensions. Thus, a connection can be discovered between visualization by figurative graphism and formalization by symbolic calculations: Both use spatial relations not only to represent but also to operate on epistemic, nonspatial, nonvisual entities. Descartes was one of the pioneers of using this kind of two-dimensional spatiality as a cognitive instrument.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. An earlier version of the paper was presented at the conference “History and Philosophy of Computing 11”, Ghent, Belgium November 2011. I am grateful for comments received of three anonymous reviewers.

  2. Husserl 1970 (1954), §2, §9.

  3. The idea of the exteriority of the human mind does not come into being with the debate on the ‘extended mind’. Philosophers as Leibniz, Peirce, Wittgenstein and Cassirer contributed to the idea that all rational cognition is made up by the use of perceptible (visual, acoustic, tactile) signs.

  4. On the concept and culture of diagrams: Bender and Marrinan (2010), Pombo and Gerner (2010), and Stjernfelt (2007).

  5. On zero: Kaplan (2001), Reid (1992), Rotman (1987).

  6. Datta and Singh (1962, 118); Bose (1971, 177).

  7. Abu Dscha’far Muhammed ibn Musa al-Chwarizmi (ca. 780–850 AD) contributed mostly to the introduction of Indian numerals in Europe: al-Hwarizmi 1857. See al-Daffa 1977; Hill 1915.

  8. Krämer (2008), pp. 464.

  9. Viète 1970 (1646), vol. 1 pp. 1–12, 42–81, 305–327.

  10. On Indian numerals: Datta and Singh (1962).

  11. Leibniz (1979), pp. 42.

  12. Krämer (1991a), pp. 88.

  13. Jonas (1997), p. 248.

  14. As an exception from bottom to top: the writing of Tagbanuwa on Palawan, Philippines (http://de.wikipedia.org/wiki/Tagbanuwa-Schrift). Barbara Tversky has done inspiring research on directionality in graphics; for example: Tversky (2004).

  15. Kant (1977) (1768).

  16. The internal arithmetic order—from right to left—is the opposite to the Western order of writing and reading from left to right.

  17. Giaquinto (2007), pp. 127.

  18. See Krämer (1991a), pp. 143.

  19. Leibniz (1961), p. 531.

  20. Krämer (1988).

  21. See Krämer (2011).

  22. Wittgenstein (1967, 1984), vol. I , Philosophische Untersuchungen § 122, p. 302.; see Hacker (2004), Puhl (2001, 2006); Krämer (2011), p. 285.

  23. Wittgenstein (1984), vol. VII, Bemerkungen über die Philosophie der Psychologie, §889, p. 163.

  24. On the connection between spatiality, diagrammatics, and mind: Châtelet (2000), pp. 38; on the connection between flat spaces and arts: Summers (2003), pp. 43.

  25. Leibniz (1846); see Krämer (1991b).

  26. Leibniz (1961) pp. 326; Leibniz (1960/1961), vol. VII (1961), p. 206.

  27. The term “coordinate system” only characterizes a tendency: in handling the Pappus-problem within his Géométrie Descartes selected two non right-angled lines as referential system.

  28. Descartes (1973); German: Descartes (1981); English (1954); see Krämer (1989).

  29. Descartes (1981), p. 2.

  30. Zittel constructs a gap between the diagrammatic and iconic visualization in Descartes’ natural science and philosophy on the one side and his methodical and mathematical orientation on the other. Our paper starts from the assumption, that there is an interesting connection between Descartes’ visualization praxis as mathematician and as natural scientist and philosopher, although this is not the subject of this essay.

  31. Descartes (1966), vol. 10, Regulae ad directionem ingenii; German (1997).

  32. Descartes (1966), vol. 10, Rule 3, p. 367.

  33. Descartes (1966), vol 10, Rule 12, p. 418.

  34. Cogitationes Privatae (Descartes 2011), 196: “Ut imaginatio utitur figuris ad corpora concipienda, ita intellectus utitur quisbusdam corporibus sensibilibus ad spiritualia figuranda, ut vento, lumine.” One anonymous reviewer mentioned, that the bodily dimension of Descartes’ concept of imagination could be sustained by Descartes (1966), Vol. X, Rule 14, pp 438, 440–441.

  35. Plato (1971); see Krämer (2010).

  36. Descartes (1966), vol. 10, Rule 14, pp. 441.

  37. Descartes (1966), vol. 10, Rule 12, pp. 411.

  38. Descartes (1966), vol. 10, Rule 8, pp. 393.

  39. See Schuster (1980); Krämer (1991a), pp. 159.

References

  • Bender J, Marrinan M (2010) The culture of diagram. Stanford UP, Stanford

    Google Scholar 

  • Châtelet G (2000) Figuring space: philosophy, mathematics and physics. Dordrecht, Kluwer

    Book  Google Scholar 

  • Clark A, Chalmers D (1998) The extended mind. Analysis 58/1:7–19

    Article  Google Scholar 

  • al-Daffa AA (1977) The Muslim contribution to mathematics. Croom Helm, London

    Google Scholar 

  • Datta B, Singh AN (1962) History of Hindu mathematics: a source book, vol 2 vols, Single volumeth edn. Asia Publ. House, Bombay

    Google Scholar 

  • Descartes, René (1954). The geometry of René Descartes, transl. from the French and Latin In D. E. Smith, & New Dover (Eds.). New York: Dover.

  • Descartes, René (1966). Regulae ad directionem ingenii. In: Charles Adam and Paul Tannery (Eds.), Oeuvres de Descartes, 11 vols., vol. 10 (pp. 359–488). Paris: Vrin.

  • Descartes R (1973) Discours de la méthode et essais. In: Adam C, Tannery P (eds) Oeuvres de Descartes, 11 vols, Vol. 6. Vrin, Paris

    Google Scholar 

  • Descartes, René (1981). Geometrie, transl. and ed. L. Schlesinger, 2nd ed., Darmstadt: Wissenschaftliche Buchgesellschaft.

  • Descartes, René (1997). Regeln zur Ausrichtung der Erkenntniskraft, transl. and ed. L. Gäbe, 2nd ed., Hamburg: Meiner.

  • Descartes, René (2011). Regulae ad directionem ingenii/Cogitationes privatae, Lateinisch-Deutsch ü.u.ed. Christian Wohlers, Hamburg: Felix Meiner.

  • Giaquinto M (2007) Visual thinking in mathematics. An epistemological study. University Press, Oxford

    Book  Google Scholar 

  • Hacker PMS (2004) Übersichtlichkeit und übersichtliche Darstellung. Deutsche Zeitschrift für Philosophie 52/3:405–420

    Google Scholar 

  • Hill GF (1915) The development of Arabic numerals in Europe. Clarendon, Oxford

    Google Scholar 

  • Husserl, Edmund (1970 [1954]). Crisis of European sciences and transcendental phenomenology, Evanston III: Northwestern University Press.

  • al-Hwarizmi (1857). Algorithmi de numero Indorum, Rom (=Trattati d’arithmetica, ed. B. Boncompagni, 1).

  • Jonas, Hans. (1997). “Der Adel des Sehens”, In R. Konersmann, & Kritik des Sehens. (Eds.), (pp. 247–272). Leipzig: Reclam.

  • Kant, Immanuel. (1977). Von dem ersten Grunde des Unterschiedes der Gegenden im Raume, In: 2. Vorkritische Schriften bis 1768, Vol. 2 (pp. 993–1000). Frankfurt: Suhrkamp.

  • Kaplan R (2001) The nothing that is. A natural history of zero. Penguin, London

    Google Scholar 

  • Krämer S (1988) Symbolische Maschinen. Wissenschaftliche Buchgesellschaft, Darmstadt

    Google Scholar 

  • Krämer S (1989) Über das Verhältnis von algebra und Geometrie in Descartes, Géomètrie. Philosophia Naturalis 26/1:19–40

    Google Scholar 

  • Krämer S (1991a) Berechenbare Vernunft. Kalkül und Rationalismus im 17. Jahrhundert. de Gruyter, Berlin

    Book  Google Scholar 

  • Krämer S (1991b) Zur Begründung des Infinitesimalkalküls durch Leibniz. Philosophia Naturalis 28/2:117–146

    Google Scholar 

  • Krämer S (2008) ‘The productivity of blanks’: on the mathematical zero and the vanishing point in central perspective. Remarks on the convergences between science and art in the Early Modern Period. In: Helmar S, Ludger S, Jan L (eds) Instruments in Arts and Sciences. On the Architectonics of Cultural Boundaries in the 17th Century. Walter de Gruyter, Berlin, pp 457–478

    Google Scholar 

  • Krämer S (2010) ‘Epistemology of the Line’. Reflections on the diagrammatical mind. In: Pombo O, Gerner A (eds) Studies in diagrammatology and diagram praxis, studies in logic 24. College Publications, London, pp 13–39

    Google Scholar 

  • Krämer S (2011) ‘The mind’s eye’. Visualizing the non-visual and the ‘epistemology of the line’. In: Elisabeth N, Richard H, Wolfram P (eds) Image and imaging in philosophy, science, and the arts. Preproceedings of the 33rd International Wittgenstein Symposium, vol 2. Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, pp 275–295

    Google Scholar 

  • Leibniz, Gottfried Wilhelm (1846). Historia et origo calculi differentialis a G.G. Leibnitio, conscripta, ed. Carl I. Gerhardt, Hannover: Im Verlage der Hahn’schen Hofbuchhandlung.

  • Leibniz, Gottfried Wilhelm. (1961). Opuscules et fragments inédits de Leibniz, ed. Louis Couturat, [orig. Paris 1903], Reprint Hildesheim: Olms.

  • Leibniz, Gottfried Wilhelm. (1979). Herrn von Leibniz Rechnung mit Null und Eins, 3rd ed., [orig. 1705, Faksimile], Berlin/München: Siemens-Aktiengesellschaft.

  • Lüthy C (2006) Where logical necessity becomes visual persuasion: Descartes’s clear and distinct illustrations. In: Kusukawa S, Ian M (eds) Transmitting knowledge. Words, images, and instruments in early modern Europe. University Press, Oxford, pp 97–134

    Google Scholar 

  • Plato (1971). Politeia, In Gunther Eigler and transl. Friedrich Schleiermacher (Eds.), Platon. Werke in acht Bänden, Vol. 4, (pp. 514–519). Darmstadt: Wissenschaftliche Buchgesellschaft.

  • Pombo, Olga and Alexander Gerner, Eds. (2010). Studies in diagrammatology and diagram praxis (Studies in Logic 24). London: College Publications.

  • Puhl, Klaus. (2001). Geschichte und Ritual. Wittgenstein und Foucault über genetische Erklärungen kultureller Praktiken. In Uwe Meixner (Ed.), Metaphysik im postmetaphysischen Zeitalter / Metaphysics in the Post-Metaphysical Age (pp. 15–25). Wien: öbv&hpt.

  • Puhl K (2006) Only connect… perspicuous representation and the logic of Nachträglichkeit. Grazer Philosophische Studien 71/1:23–38

    Google Scholar 

  • Reid C (1992) From zero to infinity. What makes numbers interesting, 4th edn. Mathematical Assoc. of America, San Francisco

    Google Scholar 

  • Rotman B (1987) Signifying nothing. Semiotics of zero. Macmillan, Palgrave

    Google Scholar 

  • Schuster JA (1980) Descartes’ mathesis universalis: 1619–28. In: Gaukrogger S (ed) Descartes: philosophy, mathematics and physics. Harvester Press, Sussex, pp 41–96

    Google Scholar 

  • Sepper DL (1996) Descartes’ imagination. Proportion, images and the activity of thinking. University of California Press, Berkeley

    Google Scholar 

  • Sepper DL (2000) Figuring things out: figurate problem-solving in the early Descartes. In: Gaukrogger S, Schuster J, Sutton J (eds) Descartes’ natural philosophy. Routledge, London, pp 228–248

    Google Scholar 

  • Stjernfelt F (2007) Diagrammatology. An investigation on the borderlines of phenomenology, ontology and semiotics (Synthese Library 336). Springer, Dordrecht

    Google Scholar 

  • Summers D (2003) Real spaces. World art history and the rise of western modernism. Phaidon, London

    Google Scholar 

  • Tversky B (2004) Semantics, syntax, and pragmatics of graphics. In: Holmqvist K, Ericsson Y (eds) Language and visualization. Lund UP, Lund, pp 141–158

    Google Scholar 

  • Viète, Francois (1970 [1646]). In artem analyticem Isagoge. In: Francois Viète, Opera mathematica (ed.), Franz v. Schooten, Leiden 1946, Reprint Hildesheim: Olms.

  • Wittgenstein L (1967) Bemerkungen über Frazers‚ The Golden Bough. Synthese 17:233–253

    Article  Google Scholar 

  • Wittgenstein L (1984) Werkausgabe in 8 Bänden. Suhrkamp, Frankfurt

    Google Scholar 

  • Zittel C (2009) Theatrum philosophicum. Descartes und die Rolle ästhetischer Formen in der Wissenschaft. Akademie, Berlin

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sybille Krämer.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Krämer, S. Mathematizing Power, Formalization, and the Diagrammatical Mind or: What Does “Computation” Mean?. Philos. Technol. 27, 345–357 (2014). https://doi.org/10.1007/s13347-012-0094-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13347-012-0094-3

Keywords

Navigation