A paper in this journal by Fraser MacBride, ‘Can Ante Rem Structuralism Solve the Access Problem?’, raises important issues concerning the epistemological goals and burdens of contemporary philosophy of mathematics, and perhaps philosophy of science and other disciplines as well. I use a response to MacBride's paper as a framework for developing a broadly holistic framework for these issues, and I attempt to steer a middle course between reductive foundationalism and extreme naturalistic quietism. For this purpose the notion of (...) entitlement is invoked along the way, suitably modified for the present anti-foundationalist setting. (shrink)

It seems possible to know that a mathematical claim is necessarily true by inspecting a diagrammatic proof. Yet how does this work, given that human perception seems to just (as Hume assumed) ‘show us particular objects in front of us’? I draw on Peirce’s account of perception to answer this question. Peirce considered mathematics as experimental a science as physics. Drawing on an example, I highlight the existence of a primitive constraint or blocking function in our thinking which we (...) might call ‘the hardness of the mathematical must’. (shrink)

In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical and empirical aspects of the desired new epistemology, connect it to the public image of mathematics, and give a summary and an introduction to the contributions to this issue.

This paper clarifies and discusses Imre Lakatos’ claim that mathematics is quasi-empirical in one of his less-discussed papers A Renaissance of Empiricism in the Recent Philosophy of Mathematics. I argue that Lakatos’ motivation for classifying mathematics as a quasi-empirical theory is epistemological; what can be called the quasi-empirical epistemology of mathematics is not correct; analysing where the quasi-empirical epistemology of mathematics goes wrong will bring to light reasons to endorse a pluralist view of (...) mathematics. (shrink)

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

This paper deals with Husserl’s idea of pure logic as it is coined in the Logical Investigations. First, it exposes the formation of pure logic around a conception of completeness ; then, it presents intentionality as the keystone of such a structuring ; and finally, it provides a systematic reconstruction of pure logic from the semiotic standpoint of intentionality. In this way, it establishes Husserlian pure logic as a phenomenological epistemology of mathematical logic.

One establishes oneself within science from the start. One does not reconstitute it from scratch. One does not found it. Alain Badiou, Le Concept de modèle1 [T]here are no crises within science, nor can there be, for science is the pure affirmation of difference. Alain Badiou, "Marque et manque" 2.

This paper deals with the very different attitudes that Descartes and Pascal had to the cycloid—the curve traced by the motion of a point on the periphery of a circle as the circle rolls across a right line. Descartes insisted that such a curve was merely mechanical and not truly geometric, and so was of no real mathematical interest. He nevertheless responded to enquiries from Mersenne, who posed the problems of determining its area and constructing its tangent. Pascal, in contrast, (...) saw the cycloid as a paradigm of geometric intelligibility, and he made it the focus of a series of challenge problems he posed to the mathematical world in 1658. After dealing with some of the history of the cycloid , I trace this difference in attitude to an underlying difference in the mathematical epistemologies of Descartes and Pascal. For Descartes, the truly geometric is that which can be expressed in terms of finite ratios between right lines, which in turn are expressible as closed polynomial equations. As Descartes pointed out, this means that ratios between straight and curved lines are not geometrically admissible, and curves that require them must be banished from geometry. Pascal, in contrast, thought that the scope of geometry included curves such as the cycloid, which are to be studied by employing infinitesimal methods and ratios between curved and straight lines. (shrink)

In The Concept of Model Alain Badiou establishes a new logical ’concept of model’. Translated for the first time into English, the work is accompanied by an exclusive interview with Badiou in which he elaborates on the connections between his early and most recent work-for which the concept of model remains seminal.

In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, (...) there was a need for a comprehensive overview which would tie the lines together. This volume fills that need by presenting a balanced mixture of high quality expository and research articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California.With an introductory survey to put the works into an appropriate context, the collection consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'. Among the topics addressed are: ordinal notations, the dynamical systems approach to Ramsey theory, Hindman's finite sums theorem and related ultrafilters, well quasiordering theory, uncountable combinatorics, nonstandard models of set theory, and a length-of-proof analysis of Godel's incompleteness theorem. Many of the articles bring the reader to the frontiers of research in this area, and most assume familiarity with combinatorics and/or mathematical logic only at the senior undergraduate or first-year graduate level. (shrink)

Since virtually every mathematical theory can be interpreted in set theory, the latter is a foundation for mathematics. Whether set theory, as opposed to any of its rivals, is the right foundation for mathematics depends on what a foundation is for. One purpose is philosophical, to provide the metaphysical basis for mathematics. Another is epistemic, to provide the basis of all mathematical knowledge. Another is to serve mathematics, by lending insight into the various fields. Another is (...) to provide an arena for exploring relations and interactions between mathematical fields, their relative strengths, etc. Given the different goals, there is little point to determining a single foundation for all of mathematics. (shrink)

Predictive policing has become a new panacea for crime prevention. However, we still know too little about the performance of computational methods in the context of predictive policing. The paper provides a detailed analysis of existing approaches to algorithmic crime forecasting. First, it is explained how predictive policing makes use of predictive models to generate crime forecasts. Afterwards, three epistemologies of predictive policing are distinguished: mathematical social science, social physics and machine learning. Finally, it is shown that these epistemologies have (...) significant implications for the constitution of predictive knowledge in terms of its genesis, scope, intelligibility and accessibility. It is the different ways future crimes are rendered knowledgeable in order to act upon them that reaffirm or reconfigure the status of criminological knowledge within the criminal justice system, direct the attention of law enforcement agencies to particular types of crimes and criminals and blank out others, satisfy the claim for the meaningfulness of predictions or break with it and allow professionals to understand the algorithmic systems they shall rely on or turn them into a black box. By distinguishing epistemologies and analysing their implications, this analysis provides insight into the techno-scientific foundations of predictive policing and enables us to critically engage with the socio-technical practices of algorithmic crime forecasting. (shrink)

Critical notice of C. Pincock's Mathematics and Scientific Representation (2012).

The concepts of measurement and measurable quantity are discussed. A probabilistic interpretation independent of the arrow of time is recommended and a definition of quantizable physical systems is given. The space of states of information about the physical system is Schwarz space rather than Hilbert space.

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be (...) remedied. I contend that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

This chapter contains sections titled: Introduction Platonism in Mathematics Nominalism in Mathematics Conclusion References.

The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and (...) the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things as well. Jody Azzouni argues that mathematical knowledge really is a special kind of knowledge with its own special means of gathering evidence. He analyses the (...) linguistic pitfalls and misperceptions philosophers in this field are often prone to, and explores the misapplications of epistemic principles from the empirical sciences to the exact sciences. What emerges is a picture of mathematics both sensitive to mathematical practice, and to the ontological and epistemological issues that concern philosophers. (shrink)

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting (...) with the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

This book offers a phenomenological conception of experiential justification that seeks to clarify why certain experiences are a source of immediate justification and what role experiences play in gaining (scientific) knowledge. Based on the author's account of experiential justification, this book exemplifies how a phenomenological experience-first epistemology can epistemically ground the individual sciences. More precisely, it delivers a comprehensive picture of how we get from epistemology to the foundations of mathematics and physics. The book is unique as (...) it utilizes methods and insights from the phenomenological tradition in order to make progress in current analytic epistemology. It serves as a starting point for re-evaluating the relevance of Husserlian phenomenology to current analytic epistemology and making an important step towards paving the way for future mutually beneficial discussions. This is achieved by exemplifying how current debates can benefit from ideas, insights, and methods we find in the phenomenological tradition. (shrink)

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It (...) is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite. (shrink)

Descartes’ Rules for the direction of the mind presents us with a theory of knowledge in which imagination, considered as an “aid” for the intellect, plays a key role. This function of schematization, which strongly resembles key features of Proclus’ philosophy of mathematics, is in full accordance with Descartes’ mathematical practice in later works such as La Géométrie from 1637. Although due to its reliance on a form of geometric intuition, it may sound obsolete, I would like to show (...) that this has strong echoes in contemporary philosophy of mathematics, in particular in the trend of the so called “philosophy of mathematical practice”. Indeed Ken Manders’ study on the Euclidean practice, along with Reviel Netz’s historical studies on ancient Greek Geometry, indicate that mathematical imagination can play a central role in mathematical knowledge as bearing specific forms of inference. Moreover, this role can be formalized into sound logical systems. One question of general epistemology is thus to understand this mysterious role of the imagination in reasoning and to assess its relevance for other mathematical practices. Drawing from Edwin Hutchins’ study of “material anchors” in human reasoning, I would like to show that Descartes’ epistemology of mathematics may prove to be a helpful resource in the analysis of mathematical knowledge. (shrink)

A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ (PMP) are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already (...) there, ready to meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

The question of the applicability of mathematics is an epistemological issue that was explicitly raised by Kant, and which has played different roles in the works of neo-Kantian philosophers, before becoming an essential issue in early analytic philosophy. This paper will first distinguish three main issues that are related to the application of mathematics: indispensability arguments that are aimed at justifying mathematics itself; philosophical justifications of the successful application of mathematics to scientific theories; and discussions on (...) the application of real numbers to the measurement of physical magnitudes. A refinement of this tripartition is suggested and supported by a historical investigation of the differences between Kant’s position on the problem, several neo-Kantian perspectives, early analytic philosophy, and late 19th century mathematicians. Finally, the debate on the cogency of an application constraint in the definition of real numbers is discussed in relation to a contemporary debate in neo-logicism, in order to suggest a comparison not only with Frege’s original positions, but also with the ideas of several neo-Kantian scholars, including Hölder, Cassirer, and Helmholtz. (shrink)

This book collects original essays on the epistemology of modality and related issues in modal metaphysics and philosophical methodology. The contributors utilize both the newer metaphysics-first and the more traditional epistemology-first approaches to these issues. The chapters on modal epistemology mostly focus on the problem of how we can gain knowledge of possibilities, which have never been actualized, or necessities which are not provable either by logico-mathematical reasoning or by linguistic competence alone. These issues are closely related (...) to some of the central issues in philosophical methodology, notably: to what extent is the armchair methodology of philosophy a reliable guide for the formation of beliefs about what is possible and necessary. This question also relates to the nature of thought experiments that are extensively used in science and philosophy. Epistemology of Modality and Philosophical Methodology will be of interest to researchers and advanced students working on the epistemology and metaphysics of modality, as well as those whose work is concerned with philosophical methodology more generally. (shrink)

With his book The Nature of Mathematical Knowledge (1983), Ph. Kitcher, that had been doing extensive research in the history of the subject and in the contemporary debates on epistemology, saw clearly the need for a change in philosophy of mathematics. His goal was to replace the dominant, apriorist philosophy of mathematics with an empiricist philosophy. The current philosophies of mathematics all appeared, according to his analysis, not to fit well with how mathematicians actually do (...) class='Hi'>mathematics. A shift in orientation should invoke the more general reflection that causal, genetic factors are as significant for epistemology as logical structure. As I am to a large extent sympathetic with Kitcher's proposal, my aims here will be simple: first I start presenting Kitcher's argument, and then I try to raise some doubts about his contribution. These doubts come probably from my unskilfulness to follow the torrential flow of Kitcher's ideas. (shrink)

According to a grand narrative that long ago ceased to be told, there was a seventeenth century Scientific Revolution, during which a few heroes conquered nature thanks to mathematics. This grand narrative began with the exhibition of quantitative laws that these heroes, Galileo and Newton for example, had disclosed: the law of falling bodies, according to which the speed of a falling body is proportional to the square of the time that has elapsed since the beginning of its fall; (...) the law of gravitation, according to which two bodies are attracted to one another in proportion to the sum of their masses and in inverse proportion to the square of the distance separating them -- according to his own preferences, each narrator added one or two quantitative laws of this kind. The essential feature was not so much the examples that were chosen, but, rather, the more or less explicit theses that accompanied them. First, mathematization would be taken as the criterion for distinguishing between a qualitative Aristotelian philosophy and the new quantitative physics. Secondly, mathematization was founded on the metaphysical conviction that the world was created pondere, numero et mensura, or that the ultimate components of natural things are triangles, circles, and other geometrical objects. This metaphysical conviction had two immediate consequences: that all the phenomena of nature can be in principle submitted to mathematics and that mathematical language is transparent; it is the language of nature itself and has simply to be picked up at the surface of phenomena. Finally, it goes without saying that, from a social point of view, the evolution of the sciences was apprehended through what has been aptly called the "relay runner model," according to which science progresses as a result of individual discoveries. Grand narratives such as this are perhaps simply fictions doomed to ruin as soon as they are clearly expressed. In any case, the very assumption on which this grand narrative relies can be brought into question: even in the canonical domain of mechanics, the relevant epistemological units crucial to understanding the dynamics of the Scientific Revolution are perhaps not a few laws of motion, but a complex set of problems embodied in mundane objects. Moreover, each of the theses just mentioned was actually challenged during the long period of historiographical reappraisal, out of which we have probably not yet stepped. Against the sharp distinction between a qualitative Aristotelian philosophy and the new quantitative physics, numerous studies insist that Rome wasn't built in a day, so to speak. Since Antiquity, there have always been mixed sciences; the emergence of pre-classical mechanics depends on both medieval treatises and the practical challenges met by Renaissance engineers. It is indeed true that, for Aristotle, mathematics merely captures the superficial properties of things, but the Aristotelianisms were many during the Renaissance and the Early Modern period, with some of them being compatible with the introduction of mathematics in natural philosophy. In addition, the gap between the alleged program of mathematizing nature and its effective realization was underlined as most natural phenomena actually escaped mathematization; at best they were enrolled in what Thomas Kuhn began to rehabilitate under the appellation of the "Baconian sciences," i.e., empirical investigations aiming at establishing isolated facts, without relating them to any overarching theory. Hence, mathematization of nature cannot pretend to capture a historical fact: at most, it expresses an indeterminate task for generations to come. On top of these first two considerations, and against the thesis of the neutrality of the mathematical language, it was urged that mathematics is not "only a language" and that, exactly as other symbolic means or cognitive tools, it has its own constraints. For example, it has been thoroughly explained that the Euclidean theory of proportions both guides and frustrates the Galilean analysis of motion; its shortages were particularly clear with respect to the expression of continuity, which is crucial in the case of motion. Consequently, when calculus was invented and applied to the analysis of motion, it was not a transposition that left things as they stood. Even more clearly than in the case of a translation from one natural language to another, the shift from one symbolic language to another entails that certain possibilities are opened while others are closed. The cognitive constraints imposed by established mathematical theories, as seen in the theory of proportions or calculus, were not the only ones to be studied in relation to mathematization. Certain schemes dependent on the grammar of natural languages, e.g., the scheme of contrariety, or certain symbolic means of representation, e.g. geometrical diagrams and numerical tables, were also subject to such scrutiny. Lastly, it was insisted that, even if we concede the existence of scientific geniuses, mathematics is largely produced by intellectual communities and embedded within social practices. More attention was consequently paid to the forms of communication in given mathematical networks, or to the teaching of the discipline in, for example, Jesuit colleges and universities. The set of mathematical practices specific to specialized craftsmen, highly-qualified experts and engineers began to be studied in its own right. All these reflections may have helped us change our perspectives on the question of mathematization. It seems, however, that they were instead set aside, both because of a general distrust towards sweeping narratives that are always subject to the suspicion that they overlook the unyielding complexity of real history, and because of a shift in our interests. The more obscure and idiosyncratic they are, an alchemist, a patron of the sciences or a lunatic collector is nowadays honored in journals of the history of sciences. As for the general issues involved in the question of mathematization, they are rejected as obsolete, or reserved for specialized journals in the history of mathematics. Consequently, before presenting the essays of this fascicle, I would like to say a few words in favor of a renewed study of the forms of mathematization in the history of the early sciences. (shrink)

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is (...) also the case with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)