-
Expand entry
-
Added by: Franci MangravitiAbstract:
Logical nihilism can be understood as the view that there are no laws of logic. This paper presents both a counterexample-based argument in favor of logical nihilism, and a way to resist it by using Lakatos' method of lemma incorporation. The price to pay is the loss of absolute generality.
Saint-Croix, Catharine. Privilege and Position: Formal Tools for Standpoint Epistemology2020, Res Philosophica, 97(4), 489-524-
Expand entry
-
Added by: Franci MangravitiAbstract:
How does being a woman affect one’s epistemic life? What about being black? Or queer? Standpoint theorists argue that such social positions can give rise to otherwise unavailable epistemic privilege. “Epistemic privilege” is a murky concept, however. Critics of standpoint theory argue that the view is offered without a clear explanation of how standpoints confer their benefits, what those benefits are, or why social positions are particularly apt to produce them. But this need not be so. This article articulates a minimal version of standpoint epistemology that avoids these criticisms and supports the normative goals of its feminist forerunners. With this foundation, we develop a formal model in which to explore standpoint epistemology using neighborhood semantics for modal logic.
Comment (from this Blueprint): The paper contains a very extensive introduction to standpoint theory and its history, making it well suited for a course on modal logic (showcasing an application) or on formal epistemology. Formal elements are introduced with a lot of examples and informal discussion, so the paper might also be used in a course focusing on standpoint theory, although familiarity with (some) formal semantics is still a prerequisite.
Plumwood, Val. The Politics of Reason: Towards a Feminist Logic1993, Australasian Journal of Philosophy, 71(4): 436-462-
Expand entry
-
Added by: Franci MangravitiAbstract:
The author argues that there is a strong connection between the dualisms that have strengthened and naturalized systematic oppression across history (man/woman, reason/emotion, etc.), and "classical" logic. It is suggested that feminism's response should not be to abandon logic altogether, but rather to focus on the development of alternative, less oppressive forms of rationality, of which relevant logics provide an example.
Comment (from this Blueprint): This is a seminal text of feminist logic, and thus a natural pick for any course wanting to discuss the topic. It could however also be assigned in a course on relevant logics interested in discussing particular applications, especially if such a course has previously spent time on the arguments in Plumwood's "False laws of logic" (or more generally, in Sylvan&co's "Relevant logics and their rivals"). Eckert and Donahue's "Towards a Feminist Logic" is a useful reading companion.
Eichler, Lauren. Sacred Truths, Fables, and Falsehoods: Intersections between Feminist and Native American Logics2018, APA Newsletter on Native American and Indigenous Philosophy, 18(1).-
Expand entry
-
Added by: Franci MangravitiAbstract:
From the newsletter's introduction: "Lauren Eichler [...] examines the resonances between feminist and Native American analyses of classical logic. After considering the range of responses, from overly monolithic rejection to more nuanced appreciation, Eichler argues for a careful, pluralist understanding of logic as she articulates her suggestion that feminists and Native American philosophers could build fruitful alliances around this topic."
Comment:
available in this Blueprint
Morris, Rebecca Lea. Intellectual Generosity and the Reward Structure of Mathematics2021, Synthese, 199(1): 345-367.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
Prominent mathematician William Thurston was praised by other mathematicians for his intellectual generosity. But what does it mean to say Thurston was intellectually generous? And is being intellectually generous beneficial? To answer these questions I turn to virtue epistemology and, in particular, Roberts and Wood's (2007) analysis of intellectual generosity. By appealing to Thurston's own writings and interviewing mathematicians who knew and worked with him, I argue that Roberts and Wood's analysis nicely captures the sense in which he was intellectually generous. I then argue that intellectual generosity is beneficial because it counteracts negative effects of the reward structure of mathematics that can stymie mathematical progress.Comment (from this Blueprint): In this paper, Morris looks at ascriptions of intellectual generosity in mathematics, focusing on the mathematician William Thurston. She looks at how generosity should be characterised, and argues that it is beneficial in counteract some of the negative effects of the reward structure of mathematics.
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.
Steingart, Alma. A Group Theory of Group Theory: Collaborative Mathematics and the ‘Uninvention’ of a 1000-page Proof2012, Social Studies of Science, 42(2): 185-213.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
Over a period of more than 30 years, more than 100 mathematicians worked on a project to classify mathematical objects known as finite simple groups. The Classification, when officially declared completed in 1981, ranged between 300 and 500 articles and ran somewhere between 5,000 and 10,000 journal pages. Mathematicians have hailed the project as one of the greatest mathematical achievements of the 20th century, and it surpasses, both in scale and scope, any other mathematical proof of the 20th century. The history of the Classification points to the importance of face-to-face interaction and close teaching relationships in the production and transformation of theoretical knowledge. The techniques and methods that governed much of the work in finite simple group theory circulated via personal, often informal, communication, rather than in published proofs. Consequently, the printed proofs that would constitute the Classification Theorem functioned as a sort of shorthand for and formalization of proofs that had already been established during personal interactions among mathematicians. The proof of the Classification was at once both a material artifact and a crystallization of one community’s shared practices, values, histories, and expertise. However, beginning in the 1980s, the original proof of the Classification faced the threat of ‘uninvention’. The papers that constituted it could still be found scattered throughout the mathematical literature, but no one other than the dwindling community of group theorists would know how to find them or how to piece them together. Faced with this problem, finite group theorists resolved to produce a ‘second-generation proof’ to streamline and centralize the Classification. This project highlights that the proof and the community of finite simple groups theorists who produced it were co-constitutive–one formed and reformed by the other.Comment (from this Blueprint): Steingart is a sociologist who charts the history and sociology of the development of the extremely large and highly collaborative Classification Theorem. She shows that the proof involved a community deciding on shared values, standards of reliability, expertise, and ways of communicating. For example, the community became tolerant of so-called “local errors” so long as these did not put the main result at risk. Furthermore, Steingart discusses how the proof’s text is distributed across a wide number of places and requires expertise to navigate, leaving the proof in danger of uninvention if the experts retire from mathematics.
Martin, Ursula, Pease, Alison. Mathematical Practice, Crowdsourcing, and Social Machines2013, in Intelligent Computer Mathematics. CICM 2013. Lecture Notes in Computer Sciences, Carette, J. et al. (eds.). Springer.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. The Study of Mathematical Practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question-answering system mathoverflow contains around 40,000 mathematical conversations, and polymath collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of “soft” aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a “social machine”, a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.Comment (from this Blueprint): In this paper, Martin and Pease look at how mathematics happens online, emphasising how this embodies the picture of mathematics given by Polya and Lakatos, two central figures in philosophy of mathematical practice. They look at multiple venues of online mathematics, including the polymath projects of collaborative problem-solving, and mathoverflow, which is a question-and-answer forum. By looking at the discussions that take place when people are doing maths online, they argue that you can get rich new kinds of data about the processes of mathematical discovery and understanding. They discuss how online mathematics can become a “social machine”, and how this can open up new ways of doing mathematics.
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.
Carter, Jessica. Diagrams and Proofs in Analysis2010, International Studies in the Philosophy of Science, 24(1): 1-14.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
This article discusses the role of diagrams in mathematical reasoning in the light of a case study in analysis. In the example presented certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures were replaced by reasoning about permutation groups. This article argues that, even though the diagrams are not present in the published papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept formation as well as representations of proofs. In addition we note that 'visualization' is used in two different ways. In the first sense 'visualization' denotes our inner mental pictures, which enable us to see that a certain fact holds, whereas in the other sense 'visualization' denotes a diagram or representation of something.Comment (from this Blueprint): In this paper, Carter discusses a case study from free probability theory in which diagrams were used to inspire definitions and proof strategies. Interestingly, the diagrams were not present in the published results making them dispensable in one sense, but Carter argues that they are essential in the sense that their discovery relied on the visualisation supplied by the diagrams.
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. -
-
-
-
-
-
Russell, Gillian. Logical Nihilism: Could there be no Logic?
2018, Philosophical Issues, 28: 308-324
Comment: The paper is appropriate for any course discussing the monism vs pluralism vs nihilism debate in logic (or maybe even focusing on varieties of logical nihilism). On a technical level it requires no more than an introduction to formal logic; some familiarity with monist and pluralist positions is helpful for context.