Formalizability and Knowledge Ascriptions in Mathematical Practice

Posted on by Simon Fokt

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 (*).

Groundwork for a Fallibilist Account of Mathematics

Posted on by Simon Fokt

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.

Philosophy of mathematical practice: a primer for mathematics educators

Posted on by Simon Fokt

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.

Mathematics, Morally

Posted on by Simon Fokt

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.

Commemorating Public Figures–In Favour of a Fictionalist Position

Posted on by Simon Fokt

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.

Against Simple Removal: A Defence of Defacement as a Response to Racist Monuments

Posted on by Simon Fokt

In recent years, protesters around the world have been calling for the removal of commemorations honouring those who are, by contemporary standards, generally regarded as seriously morally compromised by their racism. According to one line of thought, leaving racist memorials in place is profoundly disrespectful, and doing so tacitly condones, and perhaps even celebrates, the racism of those honoured and memorialized. The best response is to remove the monuments altogether. In this article, I first argue against a prominent offense-based account of the wrong of simply leaving memorials in place, unaltered, before offering my own account of this wrong. In at least some cases, these memorials wrong insofar as they express and exemplify a morally objectionable attitude of race-based contempt. I go on to argue that the best way of answering this disrespect is through a process of expressively “dehonouring” the subject. Removal of these commemorations is ultimately misguided, in many cases, because removal, by itself, cannot adequately dishonour, and simple removal does not fully answer the ways in which these memorials wrong. I defend a more nuanced approach to answering the wrong posed by these monuments, and I argue that public expressions of contempt through defacement have an ineliminable role to play in an apt dishonouring process.

Monuments as commitments: How art speaks to groups and how groups think in art

Posted on by Simon Fokt

Art can be addressed, not just to individuals, but to groups. Art can even be part of how groups think to themselves – how they keep a grip on their values over time. I focus on monuments as a case study. Monuments, I claim, can function as a commitment to a group value, for the sake of long-term action guidance. Art can function here where charters and mission statements cannot, precisely because of art’s powers to capture subtlety and emotion. In particular, art can serve as the vessel for group emotions, by making emotional content sufficiently public so as to be the object of a group commitment. Art enables groups to guide themselves with values too subtle to be codified.