-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
We present a case study of how mathematicians write for mathematicians. We have conducted interviews with two research mathematicians, the talented PhD student Adam and his experienced supervisor Thomas, about a research paper they wrote together. Over the course of 2 years, Adam and Thomas revised Adam’s very detailed first draft. At the beginning of this collaboration, Adam was very knowledgeable about the subject of the paper and had good presentational skills but, as a new PhD student, did not yet have experience writing research papers for mathematicians. Thus, one main purpose of revising the paper was to make it take into account the intended audience. For this reason, the changes made to the initial draft and the authors’ purpose in making them provide a window for viewing how mathematicians write for mathematicians. We examined how their paper attracts the interest of the reader and prepares their proofs for validation by the reader. Among other findings, we found that their paper prepares the proofs for two types of validation that the reader can easily switch between.
2021, Synthese, 199(1): 859-870.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
Mathematicians appear to have quite high standards for when they will rely on testimony. Many mathematicians require that a number of experts testify that they have checked the proof of a result p before they will rely on p in their own proofs without checking the proof of p. We examine why this is. We argue that for each expert who testifies that she has checked the proof of p and found no errors, the likelihood that the proof contains no substantial errors increases because different experts will validate the proof in different ways depending on their background knowledge and individual preferences. If this is correct, there is much to be gained for a mathematician from requiring that a number of experts have checked the proof of p before she will rely on p in her own proofs without checking the proof of p. In this way a mathematician can protect her own work and the work of others from errors. Our argument thus provides an explanation for mathematicians’ attitude towards relying on testimony.Comment (from this Blueprint): The orthodox picture of mathematical knowledge is so individualistic that it often leaves out the mathematician themselves. In this piece, Andersen et al. look at what role testimony plays in mathematical knowledge. They thereby emphasise social features of mathematical proofs, and why this can play an important role in deciding which results to trust in the maths literature.
Müller-Hill, Eva. Formalizability and Knowledge Ascriptions in Mathematical Practice2009, Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, (13-2): 21-43.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
We investigate the truth conditions of knowledge ascriptions for the case of mathematical knowledge. The availability of a formalizable mathematical proof appears to be a natural criterion:
(*) X knows that p is true iff X has available a formalizable proof of p.
Yet, formalizability plays no major role in actual mathematical practice. We present results of an empirical study, which suggest that certain readings of (*) are not necessarily employed by mathematicians when ascribing knowledge. Further, we argue that the concept of mathematical knowledge underlying the actual use of “to know” in mathematical practice is compatible with certain philosophical intuitions, but seems to differ from philosophical knowledge conceptions underlying (*).
Comment (from this Blueprint): Müller-Hill is interested in the question of when mathematicians have mathematical knowledge and to what extent it relies on the formalisability of proofs. In this paper, she undertakes an empirical investigation of mathematicians’ views of when mathematicians know a theorem is true. Amazingly, while they say that they believe proofs have an exact definition and that the standards of knowledge are invariant, when presented with various toy scenarios, their judgements seem to suggest systematic context-sensitivity of a number of factors.
De Toffoli, Silvia. Groundwork for a Fallibilist Account of Mathematics2021, The Philosophical Quarterly, 71(4).-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices.Comment (from this Blueprint): De Toffoli makes a strong case for the importance of mathematical practice in addressing important issues about mathematics. In this paper, she looks at proof and justification, with an emphasis on the fact that mathematicians are fallible. With this in mind, she argues that there are circumstances under which we can have mathematical justification, despite a possibility of being wrong. This paper touches on many cases and questions that will reappear later across the Blueprint, such as collaboration, testimony, computer proofs, and diagrams.
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.
Cheng, Eugenia. Mathematics, Morally2004, Cambridge University Society for the Philosophy of Mathematics.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
A source of tension between Philosophers of Mathematics and Mathematicians is the fact that each group feels ignored by the other; daily mathematical practice seems barely affected by the questions the Philosophers are considering. In this talk I will describe an issue that does have an impact on mathematical practice, and a philosophical stance on mathematics that is detectable in the work of practising mathematicians. No doubt controversially, I will call this issue ‘morality’, but the term is not of my coining: there are mathematicians across the world who use the word ‘morally’ to great effect in private, and I propose that there should be a public theory of what they mean by this. The issue arises because proofs, despite being revered as the backbone of mathematical truth, often contribute very little to a mathematician’s understanding. ‘Moral’ considerations, however, contribute a great deal. I will first describe what these ‘moral’ considerations might be, and why mathematicians have appropriated the word ‘morality’ for this notion. However, not all mathematicians are concerned with such notions, and I will give a characterisation of ‘moralist’ mathematics and ‘moralist’ mathematicians, and discuss the development of ‘morality’ in individuals and in mathematics as a whole. Finally, I will propose a theory for standardising or universalising a system of mathematical morality, and discuss how this might help in the development of good mathematics.
Comment (from this Blueprint): Cheng is a mathematician working in Category Theory. In this article she complains about traditional philosophy of mathematics that it has no bearing on real mathematics. Instead, she proposes a system of “mathematical morality” about the normative intuitions mathematicians have about how it ought to be.
Fabre, Cécile. Cosmopolitan peace2016, Oxford University Press UK-
Expand entry
-
Added by: Ten-Herng LaiAbstract:
This chapter explores why, from a cosmopolitan point of view, we should remember some wars, and furthermore how we should remember them. It contrasts itself with remembering war for partial and/or nationalist purposes, and also deals with the particularity problem, on why people of certain countries should remember their past wars.Comment (from this Blueprint): There are several articles on why some commemorations are unacceptable. Remembering war appropriately could shed some light on what good commemorations consist in. Moreover, this paper also discusses why some of our war remembrances are suboptimal.
Berninger, Anja. Commemorating Public Figures–In Favour of a Fictionalist Position2020, Journal of Applied Philosophy-
Expand entry
-
Added by: Ten-Herng LaiAbstract:
In this article, I discuss the commemoration of public figures such as Nelson Mandela and Yitzhak Rabin. In many cases, our commemoration of such figures is based on the admiration we feel for them. However, closer inspection reveals that most (if not all) of those we currently honour do not qualify as fitting objects of admiration. Yet, we may still have the strong intuition that we ought to continue commemorating them in this way. I highlight two problems that arise here: the problem that the expressed admiration does not seem appropriate with respect to the object and the problem that continued commemorative practices lead to rationality issues. In response to these issues, I suggest taking a fictionalist position with respect to commemoration. This crucially involves sharply distinguishing between commemorative and other discourses, as well as understanding the objects of our commemorative practices as fictional objects.Comment (from this Blueprint): This is a persuasive article arguing for a somewhat counter-intutive conclusion. The fictionalist approach, that what we honour is not the historical figure, but some idealised version of them, seems to capture what we actually do in the real world, even if we think we are not doing this. Do compare the position on eliminativism with Frowe's paper.
Shahvisi, Arianne. Colonial monuments as slurring speech acts2021, Journal of Philosophy of Education 55(3):453-468-
Expand entry
-
Added by: Ten-Herng LaiAbstract:
In recent years, the removal of monuments which glorify historical figures associated with racism and colonialism has become one of the most visible and contested forms of decolonisation. Yet many have objected that there is educational value in leaving such monuments standing. In this paper, I argue that public monuments can be understood as speech acts which communicate messages to those who live among them. Some of those speech acts derogate particular social groups, contributing to their marginalisation in much the way that slurs do. Comparing derogating monuments to slurs is also productive in suggesting morally appropriate responses to their harms. I explore the limits of the use-mention distinction in relation to the harmfulness of slurs and apply this to show that attempting to recontextualise harmful monuments in situ—by, for example, changing the text on an accompanying plaque in order to retain the monument for its educational value—will not solve the problem in most cases. I conclude that the removal of slurring monuments, or their relocation to museum exhibitions dedicated to presenting a more critical view of history, is a more robust and reliable way of protecting against harm, and that this consideration outweighs any purported educational value in leaving monuments in place.Comment (from this Blueprint): Speech act theory is a very good way to understand why problematic monuments are problematic. It also has some important implications concerning what we ought to do with these monuments and whether they have good educational value. Especially regarding the second thing, the analogy with slurs is an illuminating one. There are better ways to teach the objectionableness of slurs than mentioning them constantly. Similarly, there are better ways to teach historical lessons than preserving problematic monuments.
Frowe, Helen. The Duty to Remove Statues of Wrongdoers2019, Journal of Practical Ethics 7(3):1-31-
Expand entry
-
Added by: Ten-Herng LaiAbstract:
This paper argues that public statues of persons typically express a positive evaluative attitude towards the subject. It also argues that states have duties to repudiate their own historical wrongdoing, and to condemn other people’s serious wrongdoing. Both duties are incompatible with retaining public statues of people who perpetrated serious rights violations. Hence, a person’s being a serious rights violator is a sufficient condition for a state’s having a duty to remove a public statue of that person. I argue that this applies no less in the case of the ‘morally ambiguous’ wrongdoer, who both accomplishes significant goods and perpetrates serious rights violations. The duty to remove a statue is a defeasible duty: like most duties, it can be defeated by lesser-evil considerations. If removing a statue would, for example, spark a violent riot that would risk unjust harm to lots of people, the duty to remove could be outweighed by the duty not to foreseeably cause unjust harm. This would provide a lesser-evil justification for keeping the statue. But it matters that the duty to remove is outweighed, rather than negated, by these consequences. Unlike when a duty is negated, one still owes something in cases of outweighing. And it especially matters that it is outweighed by the predicted consequences of wrongful behaviour by others.Comment (from this Blueprint): This paper highlights several important things. First, statues are blunt tools and express pro-attitudes to the persons they represent as a whole. Second, it sets out a clear standard for removal, and defends the conclusion that we should remove many or even most existing statues. Third, to the question “what if removal incites violence?” this paper provides a good answer. Fourth, a legitimate question is what we should do about statues of wrongdoers of the distant past? The discussion on this here is insightful.
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. -
-
-
-
-
-
Andersen, Line Edslev, Johansen, Mikkel Willum, Kragh Sørensen, Henrik. Mathematicians Writing for Mathematicians
2021, Synthese, 198(26): 6233-6250.
Comment (from this Blueprint): In this paper, Andersen et al. track the genesis of a maths research paper written in collaboration between a PhD student and his supervisor. They track changes made to sequential drafts and interview the two authors about the motivations for them, and show how the edits are designed to engage the reader in a mathematical narrative on one level, and prepare the paper for different types of validation on another level.