De Toffoli, Silvia, Giardino, Valeria. An Inquiry into the Practice of Proving in Low-Dimensional Topology
2015, in From Logic to Practice, Gabriele Lolli, Giorgio Venturi and Marco Panza (eds.). Springer International Publishing.
-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology.Comment (from this Blueprint): De Toffoli and Giardino look at proof practices in low-dimensional topology, and especially a proof by Rolfsen that relies on epistemic actions on a diagrammatic representation. They make the case that the many diagrams are used to trigger our manipulative imagination to make inferential moves which cannot be reduced to formal statements without loss of intuition.Dick, Stephanie. AfterMath: The Work of Proof in the Age of Human–Machine Collaboration2011, Isis, 102(3): 494-505.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
During the 1970s and 1980s, a team of Automated Theorem Proving researchers at the Argonne National Laboratory near Chicago developed the Automated Reasoning Assistant, or AURA, to assist human users in the search for mathematical proofs. The resulting hybrid humans+AURA system developed the capacity to make novel contributions to pure mathematics by very untraditional means. This essay traces how these unconventional contributions were made and made possible through negotiations between the humans and the AURA at Argonne and the transformation in mathematical intuition they produced. At play in these negotiations were experimental practices, nonhumans, and nonmathematical modes of knowing. This story invites an earnest engagement between historians of mathematics and scholars in the history of science and science studies interested in experimental practice, material culture, and the roles of nonhumans in knowledge making.Comment (from this Blueprint): Dick traces the history of the AURA automated reasoning assistant in the 1970s and 80s, arguing that the introduction of the computer system led to novel contributions to mathematics by unconventional means. Dick’s emphasis is on the AURA system as changing the material culture of mathematics, and thereby leading to collaboration and even negotiations between the mathematicians and the computer system.Dutilh Novaes, Catarina. The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning2020, Cambridge University Press.-
Expand entry
-
Added by: Fenner Stanley TanswellPublisher’s Note:
This comprehensive account of the concept and practices of deduction is the first to bring together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice. Catarina Dutilh Novaes draws on all of these perspectives to argue for an overarching conceptualization of deduction as a dialogical practice: deduction has dialogical roots, and these dialogical roots are still largely present both in theories and in practices of deduction. Dutilh Novaes' account also highlights the deeply human and in fact social nature of deduction, as embedded in actual human practices; as such, it presents a highly innovative account of deduction. The book will be of interest to a wide range of readers, from advanced students to senior scholars, and from philosophers to mathematicians and cognitive scientists.Comment (from this Blueprint): This book by Dutilh Novaes recently won the coveted Lakatos Award. In it, she develops a dialogical account of deduction, where she argues that deduction is implicitly dialogical. Proofs represent dialogues between Prover, who is aiming to establish the theorem, and Skeptic, who is trying to block the theorem. However, the dialogue is both partially adversarial (the two characters have opposite goals) and partially cooperative: the Skeptic’s objections make sure that the Prover must make their proof clear, convincing, and correct. In this chapter, Dutilh Novaes applies her model to mathematical practice, and looks at the way social features of maths embody the Prover-Skeptic dialogical model.Francois, Karen, Vandendriessche, Eric. Reassembling Mathematical Practices: a Philosophical-Anthropological Approach2016, Revista Latinoamericana de Etnomatemática Perspectivas Socioculturales de la Educación Matemática, 9(2): 144-167.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
In this paper we first explore how Wittgenstein’s philosophy provides a conceptual tools to discuss the possibility of the simultaneous existence of culturally different mathematical practices. We will argue that Wittgenstein’s later work will be a fruitful framework to serve as a philosophical background to investigate ethnomathematics (Wittgenstein 1973). We will give an overview of Wittgenstein’s later work which is referred to by many researchers in the field of ethnomathematics. The central philosophical investigation concerns Wittgenstein’s shift to abandoning the essentialist concept of language and therefore denying the existence of a universal language. Languages—or ‘language games’ as Wittgenstein calls them—are immersed in a form of life, in a cultural or social formation and are embedded in the totality of communal activities. This gives rise to the idea of rationality as an invention or as a construct that emerges in specific local contexts. In the second part of the paper we introduce, analyse and compare the mathematical aspects of two activities known as string figure-making and sand drawing, to illustrate Wittgenstein’s ideas. Based on an ethnomathematical comparative analysis, we will argue that there is evidence of invariant and distinguishing features of a mathematical rationality, as expressed in both string figure-making and sand drawing practices, from one society to another. Finally, we suggest that a philosophical-anthropological approach to mathematical practices may allow us to better understand the interrelations between mathematics and cultures. Philosophical investigations may help the reflection on the possibility of culturally determined ethnomathematics, while an anthropological approach, using ethnographical methods, may afford new materials for the analysis of ethnomathematics and its links to the cultural context. This combined approach will help us to better characterize mathematical practices in both sociological and epistemological terms.Comment (from this Blueprint): Francois and Vandendriessche here present a later Wittgensteinian approach to “ethnomathematics”: mathematics practiced outside of mainstream Western contexts, often focused on indigenous or tribal groups. They focus on two case studies, string-figure making and sand-drawing, in different geographic and cultural contexts, looking at how these practices are mathematical.Friend, Michele. Introducing Philosophy of Mathematics2007, Acumen; reprinted by Routledge (2014).-
Expand entry
-
Added by: Berta Grimau, Contributed by: Matt Clemens
Publisher's Note: What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it seeks to strike a balance between conceptual accessibility and correct representation of the issues. Friend examines the standard theories of mathematics - Platonism, realism, logicism, formalism, constructivism and structuralism - as well as some less standard theories such as psychologism, fictionalism and Meinongian philosophy of mathematics. In each case Friend explains what characterises the position and where the divisions between them lie, including some of the arguments in favour and against each. This book also explores particular questions that occupy present-day philosophers and mathematicians such as the problem of infinity, mathematical intuition and the relationship, if any, between the philosophy of mathematics and the practice of mathematics. Taking in the canonical ideas of Aristotle, Kant, Frege and Whitehead and Russell as well as the challenging and innovative work of recent philosophers like Benacerraf, Hellman, Maddy and Shapiro, Friend provides a balanced and accessible introduction suitable for upper-level undergraduate courses and the non-specialist.Comment : This book provides an introduction to the philosophy of mathematics. No previous mathematical skills/knowledge required. Suitable for undergraduate courses on philosophy of mathematics.Hamami, Yacin, Morris, Rebecca Lea. Philosophy of mathematical practice: a primer for mathematics educators2020, ZDM, 52(6): 1113-1126.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice. In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education.Comment (from this Blueprint): While this paper by Hamami & Morris is not a necessary reading, it provides a fairly broad overview of the practical turn in mathematics. Since it was aimed at mathematics educators, it is a very accessible piece, and provides useful directions to further reading beyond what is included in this blueprint.Jenkins-Ichikawa, Carrie. Knowledge of Arithmetic2005, British Journal for the Philosophy of Science 56: 727-747.-
Expand entry
-
Added by: Jamie Collin
Abstract: The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining funda- mentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements of the arithmetical structure of the inde- pendent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists.Comment : Useful as a primary or secondary reading in an advanced undergraduate course epistemology (in a section on a priori knowledge) or an advanced undergraduate course on philosophy of mathematics. This is not an easy paper, but it is clear. It is also useful within a teaching context, as it provides a summary of the influential neo-Fregean approach to mathematical knowledge.Leng, Mary. Mathematics and Reality2010, Oxford University Press, USA.-
Expand entry
-
Added by: Jamie Collin
Publisher's Note: Mary Leng offers a defense of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of our best empirical theories are (at least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focussed on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. Leng, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized.Comment : This book presents the most developed account of mathematical fictionalism. The book, or chapters from it, would provide useful further reading in advanced undergraduate or postgraduate courses on metaphysics or philosophy of mathematics.Leng, Mary. “Algebraic” Approaches to Mathematics2009, In Otávio Bueno & Øystein Linnebo (eds.). New Waves in Philosophy of Mathematics. Palgrave Macmillan.-
Expand entry
-
Added by: Jamie Collin
Summary: Surveys the opposition between views of mathematics which take mathematics to represent a independent mathematical reality and views which take mathematical axioms to define or circumscribe their subject matter; and defends the latter view against influential objections.Comment : A very clear and useful survey text for advanced undergraduate or postgraduate courses on metaphysics or philosophy of mathematics.Leng, Mary. What’s there to know?2007, In M. Leng, A. Paseau, and M. Potter (eds.), Mathematical Knowledge. OUP-
Expand entry
-
Added by: Jamie Collin
Summary: Defends an account of mathematical knowledge in which mathematical knowledge is a kind of modal knowledge. Leng argues that nominalists should take mathematical knowledge to consist in knowledge of the consistency of mathematical axiomatic systems, and knowledge of what necessarily follows from those axioms. She defends this view against objections that modal knowledge requires knowledge of abstract objects, and argues that we should understand possibility and necessity in a primative way.Comment : This would be useful in an advanced undergraduate course on metaphysics, epistemology or philosophy of logic and mathematics. This is not an easy paper, but Leng does an excellent job of making clear some difficult ideas. The view defended is an important one in both philosophy of logic and philosophy of mathematics. Any reasonably comprehensive treatment of nominalism should include this paper.Can’t find it?Contribute the texts you think should be here and we’ll add them soon!
-
-
-
This site is registered on Toolset.com as a development site. -
-
-
-
-
-