Aesthetics in philosophy of mathematics is too narrowly construed. Beauty is not the only feature in mathematics that is arguably aesthetic. While not the highest aesthetic value, being interesting is a sine qua non for publishability. Of the many ways to be interesting, being explanatory has recently been discussed. The motivational power of what is interesting is important for both directing research and stimulating education. The scientific satisfaction of curiosity and the artistic desire for beautiful results are complementary but both (...) aesthetic. (shrink)

ABSTRACT This paper explores the role of aesthetic judgements in mathematics by focussing on the relationship between the epistemic and aesthetic criteria employed in such judgements, and on the nature of the psychological experiences underpinning them. I claim that aesthetic judgements in mathematics are plausibly understood as expressions of what I will call ‘aesthetic-epistemic feelings’ that serve a genuine cognitive and epistemic function. I will then propose a naturalistic account of these feelings in terms of sub-personal processes of representing and (...) assessing the relation between cognitive processes and certain properties of the stimuli at which they are directed. (shrink)

ABSTRACT Mathematicians frequently use aesthetic vocabulary and sometimes even describe themselves as engaged in producing art. Yet aestheticians, in so far as they have discussed this at all, have often downplayed the ascriptions of aesthetic properties as metaphorical. In this paper I argue firstly that the aesthetic talk should be taken literally, and secondly that it is at least reasonable to classify some mathematics as art.

Mathematics stand in a privileged relationship with aesthetics: a relationship that follows two main directions. The first concerns the introduction of mathematical considerations into aesthetic discourse. For instance, it is common to mention the mathematical architecture of certain artistic productions. The second leads from aesthetics to mathematics. In this case, the question is that of the role and meaning that aesthetic considerations may assume in mathematics. It is indeed a widely held view among mathematicians, of whatever socio-historical context, not only (...) to see their discipline as presenting a strong aesthetic dimension, but also to consider that this dimension plays a fundamental role in the process of developing and understanding mathematics. The main ambition of this paper is to show how Nelson Goodman’s aesthetics can be used to justify this point of view and to propose a thesis concerning the aesthetic functioning of mathematics. This first result allows to resituate Goodman’s aesthetics within a very classical tradition that will be described. Finally, the underlying ambition is to show the keys provided by Goodman’s theory for the philosophy of mathematics. (shrink)

Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

Mathematicians often conduct aesthetic judgements to evaluate mathematical objects such as equations or proofs. But is there a consensus about which mathematical objects are beautiful? We used a comparative judgement technique to measure aesthetic intuitions among British mathematicians, Chinese mathematicians, and British mathematics undergraduates, with the aim of assessing whether judgements of mathematical beauty are influenced by cultural differences or levels of expertise. We found aesthetic agreement both within and across these demographic groups. We conclude that judgements of mathematical beauty (...) are not strongly influenced by cultural difference, levels of expertise, and types of mathematical objects. Our findings contrast with recent studies that found mathematicians often disagree with each other about mathematical beauty. (shrink)

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view advanced by James McAllister, the assertion is that beauty in science does not confine itself to anecdotes or personal idiosyncrasies, but rather that it had played a role in shaping the development of science. Mathematicians often evaluate certain pieces of mathematics using words like beautiful, elegant, or even ugly. Such evaluations (...) are prevalent, however, rigorous investigation of them, of mathematical beauty, is much less common. The volume integrates the basic elements of aesthetics, as it has been developed over the last 200 years, with recent findings in neuropsychology as well as a good knowledge of mathematics. The volume begins with a discussion of the reasons to interpret mathematical beauty in a literal or non-literal fashion, which also serves to survey historical and contemporary approaches to mathematical beauty. The author concludes that literal approaches are much more coherent and fruitful, however, much is yet to be done. In this respect two chapters are devoted to the revision and improvement of McAllister’s theory of the role of beauty in science. These antecedents are used as a foundation to formulate a naturalistic aesthetic theory. The central idea of the theory is that aesthetic phenomena should be seen as constituting a complex dynamical system which the author calls the aesthetic as process theory. The theory comprises explications of three central topics: aesthetic experience, aesthetic value and aesthetic judgment. The theory is applied in the final part of the volume and is used to account for the three most salient and often used aesthetic terms often used in mathematics: beautiful, elegant and ugly. This application of the theory serves to illustrate the theory in action, but also to further discuss and develop some details and to showcase the theory’s explanatory capabilities. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

This paper discusses the viability of claims of mathematical beauty, asking whether mathematical beauty, if indeed there is such a thing, should be conceived of as a sub-variety of the more commonplace kinds of beauty: natural, artistic and human beauty; or, rather, as a substantive variety in its own right. If the latter, then, per the argument, it does not show itself in perceptual awareness – because perceptual presence is what characterises the commonplace kinds of beauty, and mathematical beauty is (...) not among these. I conclude that the reference to mathematical beauty merely expresses the awe in the mathematician about the intricate complexities and simplicity of certain proofs, theorems or mathematical “objects.”. (shrink)

We investigate how epistemic injustice can manifest itself in mathematical practices. We do this as both a social epistemological and virtue-theoretic investigation of mathematical practices. We delineate the concept both positively—we show that a certain type of folk theorem can be a source of epistemic injustice in mathematics—and negatively by exploring cases where the obstacles to participation in a mathematical practice do not amount to epistemic injustice. Having explored what epistemic injustice in mathematics can amount to, we use the concept (...) to highlight a potential danger of intellectual enculturation. (shrink)

Should judgments of beauty play a guiding role in theoretical science even if beauty is not a sign of truth? In this paper I argue that they should in certain cases. If we analyze the rationality of theoretical pursuit using decision theory, a theory’s beauty can influence the utilities of the various options confronting the researcher. After considering the views of Pierre Duhem and Thomas Kuhn on aesthetics in science, I suggest that because we value freedom of inquiry we rightly (...) allow scientists some choice in how they value aesthetic properties of theories and thus some freedom to use beauty to guide their research program. (shrink)

Mathematicians judge proofs to possess, or lack, a variety of different qualities, including, for example, explanatory power, depth, purity, beauty and fit. Philosophers of mathematical practice have begun to investigate the nature of such qualities. However, mathematicians frequently draw attention to another desirable proof quality: being motivated. Intuitively, motivated proofs contain no "puzzling" steps, but they have received little further analysis. In this paper, I begin a philosophical investigation into motivated proofs. I suggest that a proof is motivated if and (...) only if mathematicians can identify (i) the tasks each step is intended to perform; and (ii) where each step could have reasonably come from. I argue that motivated proofs promote understanding, convey new mathematical resources and stimulate new discoveries. They thus have significant epistemic benefits and directly contribute to the efficient dissemination and advancement of mathematical knowledge. Given their benefits, I also discuss the more practical matter of how we can produce motivated proofs. Finally I consider the relationship between motivated proofs and proofs which are explanatory, beautiful and fitting. (shrink)

Mathematics is becoming increasingly specialized, divided into a vast and growing number of subfields. While this division of cognitive labor has important benefits, it also has a significant drawb...

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

In Beauty and Revolution in Science, James McAllister advances a rationalistic picture of science in which scientific progress is explained in terms of aesthetic evaluations of scientific theories. Here I present a new model of aesthetic evaluations by revising McAllister’s core idea of the aesthetic induction. I point out that the aesthetic induction suffers from anomalies and theoretical inconsistencies and propose a model free from such problems. The new model is based, on the one hand, on McAllister’s original model and (...) on further developments by Theo Kuipers in his “Beauty, a Road to the Truth?”. On the other hand, it is based on empirical findings about affection and emotion, and a naturalistic aesthetic theory. The new model is thus a naturalistic model with a wider explanatory range and much more internal consistency that McAllister’s. (shrink)

This introduction to the special issue on "Aesthetics of Science" reviews recent philosophical research on aesthetic aspects of science. Topics represented in this research include the aesthetic properties of scientific images, theories, and experiments; the relation of science and art; the role of aesthetic criteria in scientific practice and their effect on the development of science; aesthetic aspects of mathematics; the contrast between a classic and a Romantic aesthetic; and the relation between emotion, cognition, and rationality.

Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.

A phenomenological approach to mathematical practice is sketched out, and some problems with this sort of approach are considered. The approach outlined takes mathematical practices as its data, and seeks to provide an empirically adequate philosophy of mathematics based on observation of these practices. Some observations are presented, based on two case studies of some research into the classification of C*-algebras. It is suggested that an anti-realist account of mathematics could be developed on the basis of these and other studies, (...) locating the substance of mathematics in the various informal argument methods used by mathematicians. (shrink)

What do mathematicians mean when they use terms such as ‘deep’, ‘elegant’, and ‘beautiful’? By applying empirical methods developed by social psychologists, we demonstrate that mathematicians' appraisals of proofs vary on four dimensions: aesthetics, intricacy, utility, and precision. We pay particular attention to mathematical beauty and show that, contrary to the classical view, beauty and simplicity are almost entirely unrelated in mathematics.

One of the central aims of the philosophical analysis of mathematical explanation is to determine how one can distinguish explanatory proofs from non-explanatory proofs. In this paper, I take a closer look at the current status of the debate, and what the challenges for the philosophical analysis of explanatory proofs are. In order to provide an answer to these challenges, I suggest we start from analysing the concept understanding. More precisely, I will defend four claims: understanding is a condition for (...) explanation, unificatory understanding is a type of explanatory understanding, unificatory understanding is valuable in mathematics, and mathematical proofs can contribute to unificatory understanding. As a result, in a context where the epistemic aim is to unify mathematical results, I argue it is fruitful to make a distinction between proofs based on their explanatory value. (shrink)

This paper argues that mathematics is imbued with values reflecting its production from human imagination and dialogue. Epistemological, ontological, aesthetic and ethical values are specified, both overt and covert. Within the culture of mathematics, the overt values of truth, beauty, purity, universalism, objectivism, rationalism and utility are identified. In contrast, hidden within mathematics and its culture are the covert values of objectism and ethics, including the specific ethical values of separatism, openness, fairness and democracy. Some of these values emerge from (...) a dialogical view of the nature of mathematics, and certainly from the dialogical nature of culture. It is acknowledged that the choice of certain perspectives, such as absolutism, lead to the appearance of mathematics as largely value-free through hiding value-assumptions behind the initial choice of philosophy. By uncovering the values of mathematics I show that it more closely resembles other components of human culture than is usually recognised. (shrink)

In a very influential paper Rota stresses the relevance of mathematical beauty to mathematical research, and claims that a piece of mathematics is beautiful when it is enlightening. He stops short, however, of explaining what he means by ‘enlightening’. This paper proposes an alternative approach, according to which a mathematical demonstration or theorem is beautiful when it provides understanding. Mathematical beauty thus considered can have a role in mathematical discovery because it can guide the mathematician in selecting which hypothesis to (...) consider and which to disregard. Thus aesthetic factors can have an epistemic role qua aesthetic factors in mathematical research. (shrink)

Insight often strikes us blind; when we aren’t expecting it, we suddenly see a connection that previously eluded us—a kind of ‘Aha!’ experience. People with a propensity to such experiences are regarded as insightful, and insightfulness is a paradigmatic intellectual virtue. What’s not clear, however, is just what it is in virtue of which being such that these experiences tend to happen to one renders one intellectually virtuous. This paper draws from both virtue epistemology as well as empirical work on (...) the psychology of problem solving and creativity to make some inroads in accounting for insightfulness as an intellectual virtue. Important to the view advanced is that virtuously insightful individuals manifest certain skills which both cultivate insight experiences (even if not by directly bringing them about) and enable such individuals to move in an epistemically responsible way from insight experience to epistemic endorsement. (shrink)

It is a common thought that mathematics can be not only true but also beautiful, and many of the greatest mathematicians have attached central importance to the aesthetic merit of their theorems, proofs and theories. But how, exactly, should we conceive of the character of beauty in mathematics? In this paper I suggest that Kant's philosophy provides the resources for a compelling answer to this question. Focusing on §62 of the ‘Critique of Aesthetic Judgment’, I argue against the common view (...) that Kant's aesthetics leaves no room for beauty in mathematics. More specifically, I show that on the Kantian account beauty in mathematics is a non-conceptual response felt in light of our own creative activities involved in the process of mathematical reasoning. The Kantian proposal I thus develop provides a promising alternative to Platonist accounts of beauty widespread among mathematicians. While on the Platonist conception the experience of mathematical beauty consists in an intellectual insight into the fundamental structures of the universe, according to the Kantian proposal the experience of beauty in mathematics is grounded in our felt awareness of the imaginative processes that lead to mathematical knowledge. The Kantian account I develop thus offers to elucidate the connection between aesthetic reflection, creative imagination and mathematical cognition. (shrink)

In his book The Metaphysics of Beauty Nick Zangwill argues for the claim that aesthetic properties metaphysically necessarily depend on sensory properties. This claim plays a role in his argument against physicalist aesthetic realism as well as in the formulation of his own response- dependence view. In this article, I offer reasons to resist the aesthetic/ sensory dependence claim by a discussion of the case of theories, theorems, proofs, and similar theoretical objects, which do possess genuinely aesthetic properties, while these (...) do not depend on any sensory properties. I argue against Zangwill’s claim that such attributions of aesthetic properties are merely metaphorical. (shrink)

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

Mathematics and aesthetics have a long history in common. In this relation however, the aesthetic dimension of mathematics largely refers to concepts such as purity, absoluteness, symmetry, and so on. In stark contrast to such a nexus of ideas, the Japanese aesthetic of wabi-sabi values imperfections, temporality, incompleteness, earthly crudeness, and even contradiction. In this paper, I discuss the possibilities of “wabi-sabi mathematics” by showing how wabi-sabi mathematics is conceivable; how wabi-sabi mathematics is observable; and why we should bother about (...) wabi-sabi mathematics. (shrink)

Recent attempts at defining mathematical beauty fall roughly into two schools of thought. One takes its starting point in the subjective experience of the mathematician and characterises mathematical beauty in cognitive terms. The other seeks to reduce beauty to objective notions such as truth, symmetry, or simplicity. This second approach is popular among analytic philosophers, who are committed to seeing mathematics and science as prototypically rational enterprises. I criticise this stance on the grounds that this commitment makes its supporters approach (...) beauty in mathematics not with a genuine desire to sympathetically understand it, but with the preconceived goal of explaining it away and playing it down. (shrink)