This paper presents examples of infinite diagrams whose use is more or less essential for understanding and accepting various proofs in higher mathematics. The significance of these is discussed with respect to the thesis that every proof can be formalized, and a “pre” form of this thesis that every proof can be presented in everyday statements-only form.

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more precisely, to Hilbert’s (...) main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

Monsters lurk within mathematical as well as literary haunts. I propose to trace some pathways between these two monstrous habitats. I start from Jeffrey Jerome Cohen’s influential account of monster culture and explore how well mathematical monsters fit each of his seven theses. The mathematical monsters I discuss are drawn primarily from three distinct but overlapping domains. Firstly, late nineteenth-century mathematicians made numerous unsettling discoveries that threatened their understanding of their own discipline and challenged their intuitions. The great French mathematician (...) Henri Poincaré characterised these anomalies as ‘monsters’, a name that stuck. Secondly, the twentieth-century philosopher Imre Lakatos composed a seminal work on the nature of mathematical proof, in which monsters play a conspicuous role. Lakatos coined such terms as ‘monster-barring’ and ‘monster-adjusting’ to describe strategies for dealing with entities whose properties seem to falsify a conjecture. Thirdly, and most recently, mathematicians dubbed the largest of the sporadic groups ‘the Monster’, because of its vast size and uncanny properties, and because its existence was suspected long before it could be confirmed. (shrink)

I focus on specific practices in twentieth- and twenty-first-century mathematics of articulating, barring, taming, and operating with what mathematicians widely call mathematical monsters. I describe how over centuries the quotidian procedures of the epitome of rational practice – mathematics – have produced beings outside the extant purified categories understood by theorems and proofs, despite, and sometimes as a consequence of, ever greater precision and rigor. However, mathematical monsters stand in a different relation to their makers than socio-economic and moral monsters (...) who are barred from the world. Indeed, we will see how mathematicians have made plural and productive accommodation with their monsters. Although some mathematicians have been persuaded by logicians to bar monsters from the temple of mathematics by simply forbidding the operations that engender beings against nature, most mathematicians have accommodated or simply cohabited with their monsters by extending axioms, definitions, theorems, and methods of proving theorems as a part of quotidianized practice. (shrink)

This paper investigates the role of pictures in mathematics in the particular case of Cayley graphs—the graphic representations of groups. I shall argue that their principal function in that theory—to provide insight into the abstract structure of groups—is performed employing their visual aspect. I suggest that the application of a visual graph theory in the purely non-visual theory of groups resulted in a new effective approach in which pictures have an essential role. Cayley graphs were initially developed as exact mathematical (...) constructions. Therefore, they are legitimate components of the theory (combinatorial and geometric group theory) and the pictures of Cayley graphs are a part of practical mathematical procedures. (shrink)

The construction of a systematic philosophical foundation for logic is a notoriously difficult problem. In Part One I suggest that the problem is in large part methodological, having to do with the common philosophical conception of “providing a foundation”. I offer an alternative to the common methodology which combines a strong foundational requirement with the use of non-traditional, holistic tools to achieve this result. In Part Two I delineate an outline of a foundation for logic, employing the new methodology. The (...) outline is based on an investigation of why logic requires a veridical justification, i.e., a justification which involves the world and not just the mind, and what features or aspect of the world logic is grounded in. Logic, the investigation suggests, is grounded in the formal aspect of reality, and the outline proposes an account of this aspect, the way it both constrains and enables logic, logic's role in our overall system of knowledge, the relation between logic and mathematics, the normativity of logic, the characteristic traits of logic, and error and revision in logic. (shrink)

Certain mathematical objects bear the name “pathological”. They either occur as unexpected and unwilling in mathematical research practice, or are constructed deliberately, for instance in order to delimit the scope of application of a theorem. I discuss examples of mathematical pathologies and the circumstances of their emergence. I focus my attention on the creative role of pathologies in the development of mathematics. Finally, I propose a few reflections concerning the degree of cognitive accessibility of mathematical objects. I believe that the (...) problems discussed in the paper may attract the attention of philosophers interested in concept formation and the development of mathematical ideas. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

In this paper, I argue that Scott Soames’ theory of naturalized cognitive propositions faces a serious objection: there are true propositions for which NCP cannot account. More carefully, NCP cannot account for certain truths of mathematics unless it is possible for there to be an infinite intellect. For those who reject the possibility of an infinite intellect, this constitutes a reductio of NCP.

In this article, I will discuss the relationship between mathematical intuition and mathematical visualization. I will argue that in order to investigate this relationship, it is necessary to consider mathematical activity as a complex phenomenon, which involves many different cognitive resources. I will focus on two kinds of danger in recurring to visualization and I will show that they are not a good reason to conclude that visualization is not reliable, if we consider its use in mathematical practice. Then, I (...) will give an example of mathematical reasoning with a figure, and show that both visualization and intuition are involved. I claim that mathematical intuition depends on background knowledge and expertise, and that it allows to see the generality of the conclusions obtained by means of visualization. (shrink)

This paper presents examples of infinite diagrams (as well as infinite limits of finite diagrams) whose use is more or less essential for understanding and accepting various proofs in higher mathematics. The significance of these is discussed with respect to the thesis that every proof can be formalized, and a "pre" form of this thesis that every proof can be presented in everyday statements-only form.

Wie ist es wohl, eine Fledermaus zu sein? Wäre ein rein physikalisches Duplikat von mir nur ein empfindungsloser Zombie? Muss man sich seinem Schicksal ergeben, wenn man sich unfreiwillig als lebensnotwendige Blutwaschanlage eines weltberühmten Violinisten wieder findet? Kann man sich wünschen, der König von China zu sein? Bin ich vielleicht nur ein Gehirn in einem Tank mit Nährflüssigkeit, das die Welt von einer Computersimulation vorgegaukelt bekommt? Worauf beziehen sich die Menschen auf der Zwillingserde mit ihrem Wort 'Wasser', wenn es bei (...) ihnen gar kein H2O gibt? -/- Diese und weitere seltsame Fragen sind das tägliche Brot vieler professioneller Philosophen. Die abstrusen Umstände, die dabei geschildert werden, nennt man "Gedankenexperimente". -/- Was soll die Erörterung dieser Szenarien, die sich so weit von unserem alltäglichen Leben, z.T. außerhalb der Grenzen unserer Wirklichkeit abspielen? Welche Rolle spielen diese "Gedankenexperimente" in der philosophischen Methodologie? Ist diese Rolle überhaupt berechtigt? -/- Das vorliegende Buch gibt Antworten auf diese Fragen. Es stellt sich heraus, dass diese seltsamen Gedankenexperimente nicht nur berechtigte, sondern überaus wichtige Instrumente philosophischen Forschens darstellen. (shrink)

The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which had some (...) special epistemic status. (shrink)

According to the most popular non-skeptical views about intuition, intuitions justify beliefs because they are based on understanding. More precisely: if intuiting that p justifies you in believing that p it does so because your intuition is based on your understanding of the proposition that p. The aim of this paper is to raise some challenges for accounts of intuitive justification along these lines. I pursue this project from a non-skeptical perspective. I argue that there are cases in which intuiting (...) that p justifies you in believing that p, but such that there is no compelling reason to think this is because your intuition is based on your understanding of the proposition that p. (shrink)

Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

Without a doubt, one of the main reasons Platonsim remains such a strong contender in the Foundations of Mathematics debate is because of the prima facie plausibility of the claim that objectivity needs objects. It seems like nothing else but the existence of external referents for the terms of our mathematical theories and calculations can guarantee the objectivity of our mathematical knowledge. The reason why Frege – and most Platonists ever since – could not adhere to the idea that mathematical (...) objects were mental, conventional or in any other way dependent on our faculties, will or other historical contingencies was that objects whose properties of existence depended on such contingencies could not warrant the objectivity required for scientific knowledge. This idea gained currency in the second half of the 19th Century and remains current for the most part today. However, it was not always like that. Objectivity, after all, has a history, and according to its historians (Daston 2001), the view that scientific knowledge need be objective is a fairly recent one. Up until mid-19th Century, science was not so much concerned with objectivity, as it was concerned with truth. Before the rise of the modern university and the professional scientist, science had the discovery of truths as its ultimate goal. In contrast, modern science now aims at the production and acquisition of objective knowledge. The difference might seem.. (shrink)

This paper analyzes some examples of diagrammatic proofs in elementary mathematics. It suggests that the cognitive features that allow us to understand such proofs are extensions of the cognitive features that allow us to navigate the physical world.