Agency in Mathematical Practice

Hamami, Yacin

doi:10.1007/978-3-031-40846-5_48

No full text

Contribution to collective works (Parts of books)

Agency in Mathematical Practice

Hamami, Yacin

2024 • In Handbook of the History and Philosophy of Mathematical Practice: Volume 1-4

Permalink
https://hdl.handle.net/2268/334468

DOI
10.1007/978-3-031-40846-5_48

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

Actions in mathematical practice; Agency in mathematical practice; Mathematical agents; Philosophy of mathematical practice; Mathematics (all); Arts and Humanities (all)

Abstract :

[en] A characteristic feature of the philosophy of mathematical practice is to attend to what people do when they do mathematics. But what does it mean to do mathematics? This question raises several issues regarding the nature of action, activity, and agency in mathematical practice. The present chapter reviews contributions in the field that have attempted to theorize about these notions. It begins with some motivations for taking agents seriously in the philosophical study of mathematical practice. The core of the chapter discusses, in turn, what it means to carry out mathematical activities, do things with mathematical artifacts, engage with mathematical proofs, and perform mathematical actions prescribed by mathematical texts. Taken together, the various lines of work reported here provide an initial, but already sophisticated, picture of what it means to do mathematics. The chapter ends with some suggestions for future research on agency in mathematical practice.

Disciplines :

Mathematics
Philosophy & ethics

Author, co-author :

Hamami, Yacin ; Université de Liège - ULiège > Traverses

Language :

English

Title :

Agency in Mathematical Practice

Publication date :

2024

Main work title :

Handbook of the History and Philosophy of Mathematical Practice: Volume 1-4

Publisher :

Springer

ISBN/EAN :

978-3-03-140846-5
978-3-03-140845-8

Additional URL :

https://link.springer.com/content/pdf/10.1007/978-3-031-40846-5_48

Available on ORBi :

since 14 July 2025

Statistics

Number of views

36 (0 by ULiège)

Number of downloads

0 (0 by ULiège)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

OpenAlex citations

Bibliography

Avigad J (2008) Computers in mathematical inquiry. In: Mancosu P (ed) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 302–316
Boghossian P (2014) What is inference? Philos Stud 169(1):1–18
Bratman ME (1987) Intention, plans, and practical reason. Harvard University Press, Cambridge, MA
Cantù P (2023) The social constitution of mathematical knowledge: objectivity, semantics and axiomatics. In: Sriraman B (ed) Handbook of the history and philosophy of mathematical practice. Springer, Cham
Carter J (2008) Structuralism as a philosophy of mathematical practice. Synthese 163(2):119–131
Carter J (2019) Philosophy of mathematical practice: motivations, themes and prospects. Philos Math 27(1):1–32
Chemla K (ed) (2012) The history of mathematical proof in ancient traditions. Cambridge University Press, Cambridge
Chemla K (ed) (2015) Proof, generality and the prescription of mathematical action: a nanohistorical approach to communication. Centaurus 57(4):278–300
Chemla K, Virbel J (eds) (2015) Texts, textual acts and the history of science. Springer, Cham
Clark A (2003) Natural-born cyborgs: minds, technologies, and the future of human intelligence. Oxford University Press, Oxford/New York
Clark A (2008) Supersizing the mind: embodiment, action, and cognitive extension. Oxford University Press, Oxford/New York
Clark A, Chalmers D (1998) The extended mind. Analysis 58(1):7–19
Cole J (2013) Towards an institutional account of the objectivity, necessity, and atemporality of mathematics. Philos Math 21(1):9–36
De Cruz H, De Smedt J (2013) Mathematical symbols as epistemic actions. Synthese 190(1):3–19
De Toffoli S (2017) ‘Chasing’ the diagram: the use of visualizations in algebraic reasoning. Rev Symb Log 10(1):158–186
De Toffoli S (2023) The epistemological subject(s) of mathematics. In: Sriraman B (ed) Handbook of the history and philosophy of mathematical practice. Springer, Cham
De Toffoli S, Giardino V (2014) Forms and roles of diagrams in knot theory. Erkenntnis 79(3): 829–842
De Toffoli S, Giardino V (2015) An inquiry into the practice of proving in low-dimensional topology. In: Lolli G, Panza M, Venturi G (eds) From logic to practice: Italian studies in the philosophy of mathematics, Boston studies in the philosophy and history of science, vol 308. Springer, Cham, pp 315–336
De Toffoli S, Giardino V (2016) Envisioning transformations—the practice of topology. In: Larvor B (ed) Mathematical cultures: the London meetings 2012–2014. Birkhäuser, Cham, pp 25–50
Detlefsen M (1992) Poincaré against the logicians. Synthese 90(3):349–378
Feferman S (2009) Conceptions of the continuum. Intellectica 51(1):169–189
Ferreirós J (2016) Mathematical knowledge and the interplay of practices. Princeton University Press, Princeton
Ferreirós J (2022) What are mathematical practices? The web-of-practices approach. In: Sriraman B (ed) Handbook of the history and philosophy of mathematical practice. Springer, Cham
Folina J (2018) Towards a better understanding of mathematical understanding. In: Piazza M, Pulcini G (eds) Truth, existence and explanation. Springer, Cham, pp 121–146
Frege G (1879) Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Louis Nebert, Halle a. S
Friedman M (2018) A history of folding in mathematics: mathematizing the margins, Science networks. Historical studies, vol 59. Springer, Cham
Gentzen G (1934) Untersuchungen über das logische Schließen I & II. Math Z 39(176–210):405–431
Giaquinto M (2005) Mathematical activity. In: Mancosu P, Jørgensen KF, Pedersen SA (eds) Visualization, explanation and reasoning styles in mathematics. Springer, Dordrecht, pp 75–87
Giardino V (2018) Tools for thought: the case of mathematics. Endeavour 42(2):172–179
Gibson JJ (1979) The ecological approach to visual perception. Houghton Mifflin, Boston
Grandaty M, Debanc C, Virbel J (2000) Evaluer les effets de la mise en page sur la comprehension et la mémorisation de textes procéduraux (règles de jeux) par des adultes et des enfants de 9 à 12 ans.” PArole (special issue “Langage et Cognition”). 13:3–38
Hacking I (2000) What mathematics has done to some and only some philosophers. In: Smiley T (ed) Mathematics and necessity: essays in the history of philosophy. Oxford University Press, Oxford
Hamami Y, Morris RL (2020) Philosophy of mathematical practice: a primer for mathematics educators. ZDM 52(6):1113–1126
Hamami Y, Morris RL (2021) Plans and planning in mathematical proofs. Rev Symb Log 14(4): 1030–1065
Hamami Y, Morris RL (2022a) Rationality in mathematical proofs. Australas J Philos
Hamami Y, Morris RL (2022b) Understanding in mathematics: the case of mathematical proofs. Unpublished manuscript
Hersh R (1997) What is mathematics, really? Oxford University Press, New York/Oxford
Hutchins E (2005) Material anchors for conceptual blends. J Pragmat 37(10):1555–1577
Inglis M, Tanswell FS (2022) The language of proofs: a philosophical corpus linguistics study of instructions and imperatives in mathematical texts. In: Sriraman B (ed) Handbook of the history and philosophy of mathematical practice. Springer, Cham
Jaffe A, Quinn F (1993) “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics. Bull Am Math Soc 29(1):1–13
Kirsh D, Maglio P (1994) On distinguishing epistemic from pragmatic action. Cogn Sci 18(4): 513–549
Kitcher P (1984) The nature of mathematical knowledge. Oxford University Press, New York
Lakatos I (1976) Proofs and refutations: the logic of mathematical discovery. In: Worrall J, Zahar E (eds) . Cambridge University Press, Cambridge
Landy D, Allen C, Zednik C (2014) A perceptual account of symbolic reasoning. Front Psychol 5(275):1–10
Larvor B (2012) How to think about informal proofs. Synthese 187(2):715–730
Larvor B (2019) From Euclidean geometry to knots and nets. Synthese 196(7):2715–2736
Mac Lane S (1935) A logical analysis of mathematical structure. Monist 45(1):118–130. Oxford University Press
Mac Lane S (1981) Mathematical models: a sketch for the philosophy of mathematics. Am Math Mon 88(7):462–472
Mac Lane S (1986) Mathematics: form and function. Springer, New York
Mancosu P, Jørgensen KF, Pedersen SA (eds) (2005) Visualization, explanation and reasoning styles in mathematics. Springer, Dordrecht
Manders K (2008) The Euclidean diagram (1995). In: Mancosu P (ed) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 80–133
Martin-Löf P (1984) Intuitionistic type theory. Bibliopolis, Naples
Netz R (1999) The shaping of deduction in Greek mathematics: a study in cognitive history. Cambridge University Press, Cambridge
Piñeros Glasscock JS, Tenenbaum S (2023) Action. In: Zalta EN, Nodelman U (eds) The Stanford encyclopedia of philosophy, Spring 2023. Metaphysics Research Lab, Stanford University
Poincaré H (1908) Science et Méthode. Ernest Flammarion, Paris
Prawitz D (1965) Natural deduction. A proof-theoretical study. Almqvist / Wiksell, Stockholm
Prawitz D (2012) The epistemic significance of valid inference. Synthese 187(3):887–898
Rittberg CJ, Tanswell FS, Van Bendegem JP (2020) Epistemic injustice in mathematics. Synthese 197(9):3875–3904
Robinson JA (2000) Proof =guarantee + explanation. In: Hölldobler S (ed) Intellectics and computational logic, vol 19:277–294. Applied Logic Series. Kluwer Academic Publishers, Dordrecht
Roth AS (2017) Shared agency. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, Summer 2017
Schlosser M (2019) Agency. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, Winter 2019. Metaphysics Research Lab, Stanford University
Sundholm G (2012) “Inference versus consequence” revisited: inference, consequence, conditional, implication. Synthese 187(3):943–956
Tanswell FS (forthcoming) Go forth and multiply: on actions, instructions and imperatives in mathematical proofs. In: Bueno O, Brown J (eds) Essays on the philosophy of Jody Azzouni. Springer, Cham
Vandendriessche E (2015) String figures as mathematics? In: Studies in history and philosophy of science, vol 36. Springer, Cham
Virbel J (2000) Un type de composition d’actes illocutoires directifs et engageants dans les textes de type “consigne”. PArole (special Issue “Langage et Cognition”) 11–12:200–221
Weber, Keith, and Fenner Stanley Tanswell. 2022. “Instructions and recipes in mathematical proofs.” Educ Stud Math 111 (1): 73–87
Wilder RL (1950) The cultural basis of mathematics. Proc Intl Congr Math 1:258–271
Wright C (2014) Comment on Paul Boghossian, “what is inference”. Philos Stud 169(1):27–37