Abstract
In the past 10 years, contemporary philosophy of mathematics has seen the development of a trend that conceives mathematics as first and foremost a human activity and in particular as a kind of practice. However, only recently the need for a general framework to account for the target of the so-called philosophy of mathematical practice has emerged. The purpose of the present article is to make progress towards the definition of a more precise general framework for the philosophy of mathematical practice by exploring two strategies. A first strategy is to turn to philosophy of mind and Edwin Hutchins' view of distributed cognition in order to better understand the cognitive issues at play when considering a community of mathematicians; a second strategy is to refer to philosophy of language and focus on Robert Brandom's inferentialism and mathematical conceptual content. A possible combination of these two views, called enhanced material inferentialism, is then put forward as a promising framework to account for the philosophy of mathematical practice.
Similar content being viewed by others
Data availability
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
Notes
Kitcher (1984) defined a mathematical practice as the quintuple <L, M, S, R, Q> composed by Language, Metamathematical views, accepted Statements, Reasoning methods and Questions (chapters 7 and 8). van Kerkhove and van Bendegem (2004) extended Kitcher’s proposal so as to include mathematical communities, thus obtaining a seventuple < M, P, F, PM, C, AM, PS > composed by a mathematical community M of individual mathematicians, a research program P, a formal language F, a set PM of proof methods, a set C of concepts, a set AM of argumentative methods and a set PS of proof strategies.
van Bendegem (1993) claims that, differently from philosophy of science, the philosophy of mathematics of the 1990s was dominated by a “received view”, according to which mathematics is considered—wrongly—as “the exact science”. More recently, van Bendegem (2014) identified eight perspectives that look at mathematics from the point of view of its practice: (1) the Lakatosian approach; (2) the descriptive analytical naturalizing approach; (3) the normative analytical naturalizing approach; (4) the sociology of mathematics approach; (5) the mathematics educationalist approach; (6) the ethno-mathematical approach; (7) the evolutionary biology of mathematics; and (8) the cognitive psychology of mathematics. For him, only the first three have a distinct philosophical nature, which shows to what extent the study of mathematics may involve several disciplines.
This is clear also from the profiles of the members of the Association for the Philosophy of Mathematical Practice (APMP) created in 2009. For reference, see the APMP website: http://www.philmathpractice.org.
An alternative—and not incompatible with my own—way of parsing the literature is provided in Carter (2019) where three different, in some cases overlapping, “strands” in the philosophy of mathematical practice are identified: (1) the agent based strand, (2) the historical strand, and (3) the epistemological strand.
Ferreirós (2016, chapter 3) points out that Kitcher’s quintuple is misleading because it is still based on an analysis of the production of scientific knowledge as depending mainly on linguistic knowledge; as a consequence, he rather thinks in terms of the couple Framework plus Agent, where frameworks are of two kinds: theoretical and symbolic. Moreover, the Framework-Agent couple is not identified with mathematical practice but is at the core of the practice and of the production and reproduction of knowledge.
This view resonates with Michael Detlefsen’s interpretation of Poincaré, according to which rigor is conceptualized in terms of understanding (see Detlefsen 1992).
Ferreirós suggests that there might also be elementary or “practical” parts of mathematics that connect to the physical world. I agree with this possibility, but if this is the case, then it is necessary to allow for some kind of mathematical content that does not only depend only on inferential connections to other concepts.
The case of material anchors is more difficult to discuss, and I will go back to this issue in the next section.
In the same footnote, Brandom claims that McDowell (1994)’s conceptualism about perceptual experience presents the strongest argument against his view.
It has to be noted here that this is another point where Brandom and the view I propose here move away from Hutchins’ framework, which is representational.
Note that here I deliberately use “materially” and not “visually”, because I want to focus on the dynamical features of the use of these tools and the invariances that emerge and not so much on their visual properties, that are in general subject to irrelevant variations (at the exception of tools that are designed with visual features conveying relevant meaning, as for example in Byrne 1847).
See Derry (2017) for a discussion of inferentialism in mathematics education.
References
Andersen L (2017) Outsiders enabling scientific change: learning from the sociohistory of a mathematical proof. Soc Epistemol 31(2):184–191
Ashton Z (2020) Audience role in mathematical proof development. Synthese 198(Suppl 26):6251–6275
Brandom R (2010) How analytic philosophy has failed cognitive science. Critique and Humanism 31(1):151–174
Brandom R (2000) Articulating reasons: an introduction to inferentialism. Harvard University Press, Cambridge
Byrne O (1847) The Elements of Euclid. William Pickering, London
Cantù P (2022) What is axiomatics? Ann Math Philos 1(1). https://mxphi.com/wp-content/uploads/2022/10/cantu.pdf
CareySpelke SES (1996) Science and core knowledge. Philos Sci 63(4):515–533
Carter J (2019) Philosophy of mathematical practice: motivations, themes and prospects. Philos Math 27(1):1–32
Detlefsen M (1992) Poincaré against the logicians. Synthese 90(3):349–378
Derry J (2017) An introduction to inferentialism in mathematics education. Math Educ Res J 29:403–418
Ferreirós J (2016) Mathematical knowledge and the interplay of practices. Princeton University Press, Princeton
Frake C (1985) Cognitive maps of time and tide among medieval seafarers. Man 20:254–270
Giardino V (2017) The practical turn in philosophy of mathematics: a portrait of a young discipline. Phenomenol Mind 12:18–28
Giardino V (2018) Tools for thought: the case of mathematics. Endeavour 42:172–179
Hutchins E (2013) The cultural ecosystem of human cognition. Philos Psychol 27(1):34–49
Hutchins E (2005) Material anchors for conceptual blends. J Pragm 37(10):1555–1577
Hutchins E (1995) Cognition in the wild. MIT Press, Cambridge
Kitcher P (1984) The nature of mathematical knowledge. Oxford University Press, New York
Lakatos I (1976) Proofs and refutations. Cambridge University Press, Cambridge
Levine S (2012) Brandom’s pragmatism. Trans Charles S Peirce Soc 48(2):125–140
Maddy P (1997) Naturalism in mathematics. Oxford University Press, Oxford
McDowell J (1994) Mind and world. Harvard University Press, Cambridge
Michaelian K, Sutton J (2013) Distributed cognition and memory research: History and future directions. Rev Philos Psychol 4:1–24
Nelsen RB (1997) Proofs without words: exercises in visual thinking. Mathematical Association of America, Washington DC
Quine WV (1968) Ontological relativity. J Philos 65(7):185–212
Soler L, Zwart S, Lynch M, Israel-Jost V (eds) (2014) Science after the practice turn in the philosophy, history, and social studies of science. Routledge, New York-London
Thurston WP (1994) On proof and progress in mathematics. Bull Am Math Soc 30(2):161–177
van Bendegem JP (1993) Real-life mathematics versus ideal mathematics: the ugly truth. In: Krabbe ECW, Dalitz RJ, Smit PA (eds) Empirical logic and public debate, essays in honour of Else M. Barth. Rowman & Littlefield, Lanham, pp 263–272
van Bendegem JP (2014) The impact of the philosophy of mathematical practice to the philosophy of mathematics. In: Soler L, Zwart S, Lynch M, Israel-Jost V (eds) Science after the practice turn in the philosophy, history, and social studies of science. Routledge, New York-London, pp 215–226
van Kerkhove B, van Bendegem JP (2004) The unreasonable richness of mathematics. J Cogn Cult 4(3):525–549
Acknowledgements
Previous versions of this paper were presented in Aix-en Provence at the International Workshop on Mathematical Practice, in Parma at a conference on Mathematical Practice and Social Ontology and in Toulouse at the Annual Conference of the European Network for the Philosophy of the Social Sciences. I thank all the participants to these events for their questions. Many thanks to two anonymous reviewers and to Paola Cantù whose precious comments helped me improve the paper, and to Pietro Salis who many years ago suggested to me to have a look at Robert Brandom's philosophy of language in relation to my views on diagrammatic reasoning. This work was supported by the Agence Nationale de la Recherche: Grant Number EUR FrontCog grant ANR-17-EURE-0017.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Giardino, V. The Practice of Mathematics: Cognitive Resources and Conceptual Content. Topoi 42, 259–270 (2023). https://doi.org/10.1007/s11245-022-09861-7
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11245-022-09861-7