The linguistic theory of the logical A Priori: is it obsolete In holistic interpretations, the logical truths are considered as continuous with empirical science: they are revisable, a posteriori, though very near to the centre of our web of belief. In this paper, we consider the merits and demerits of this approach, and we propose that it is necessary to revaluate holistic philosophies of logic. Some arguments are put forward which point in favour of the logical empiricists’ theory of logical (...) truth. We argue (following Hartry Field) that the concept of “correlation between logical facts and logical beliefs” (which is at the heart of the holistic theory) is inconsistent. Finally, we concentrate on the principle of contradiction and argue (following Manley Thompson) that this principle is fundamental for meaning, truth, and thinking. This thesis is derived from considerations on the nature of intentionality. (shrink)

In the spirit of James and Dewey, I ask what one might want from a theory of knowledge. Much Anglophone epistemology is centered on questions that were once highly pertinent, but are no longer central to broader human and scientific concerns. The first sense in which epistemology without history is blind lies in the tendency of philosophers to ignore the history of philosophical problems. A second sense consists in the perennial attraction of approaches to knowledge that divorce knowing subjects from (...) their societies and from the tradition of socially assembling a body of transmitted knowledge. When epistemology fails to use the history of inquiry as a laboratory in which methodological claims can be tested, there is a third way in which it becomes blind. Finally, lack of attention to the growth of knowledge in various domains leaves us with puzzles about the character of the knowledge we have. I illustrate this last theme by showing how reflections on the history of mathematics can expand our options for understanding mathematical knowledge. (shrink)

Menary OpenMIND, MIND Group, Frankfurt am Main, 2015) has argued that the development of our capacities for mathematical cognition can be explained in terms of enculturation. Our ancient systems for perceptually estimating numerical quantities are augmented and transformed by interacting with a culturally-enriched environment that provides scaffolds for the acquisition of cognitive practices, leading to the development of a discrete number system for representing number precisely. Numerals and the practices associated with numeral systems play a significant role in this process. (...) However, the details of the relationship between the ancient number system and the discrete number system remain unclear. This lack of clarity is exacerbated by the problem of symbolic estrangement and the fact that unique features of how numeral systems represent require our ancient number system to play a dual role. These issues highlight that Dehaene’s From monkey brain to human brain, MIT Press, Cambridge, pp 133–157, 2005) neuronal recycling hypothesis may be insufficient to explain the neural mechanisms underlying the process of enculturation. In order to explain mathematical enculturation, and enculturation more generally, it may be necessary to adopt Anderson’s :245–266, 2010; After phrenology: neural reuse and the interactive brain, MIT Press, Cambridge, 2014) theory of neural reuse. (shrink)

Electronic computers form an integral part of modern mathematical practice. Several high-profile results have been proven with techniques where computer calculations form an essential part of the proof. In the traditional philosophical literature, such proofs have been taken to constitute a posteriori knowledge. However, this traditional stance has recently been challenged by Mark McEvoy, who claims that computer calculations can constitute a priori mathematical proofs, even in cases where the calculations made by the computer are too numerous to be surveyed (...) by human agents. In this article we point out the deficits of the traditional literature that has called for McEvoy’s correction. We also explain why McEvoy’s defence of mathematical apriorism fails and we discuss how the debate over the epistemological status of computer-assisted mathematics contains several unfortunate conceptual reductions. (shrink)

forthcoming in Philosophy Compass. This is a paper which aims both to survey the field and do some work at its cutting edge.

This paper examines Duhem’s concept of good sense as an attempt to support a non rule-governed account of rationality in theory choice. Faced with the underdetermination of theory by evidence thesis and the continuity thesis, Duhem tried to account for the ability of scientists to choose theories that continuously grow to a natural classification. I will examine the concept of good sense and the problems that stem from it. I will also present a recent attempt by David Stump to link (...) good sense to virtue epistemology. I will argue that even though this approach can be useful for the better comprehension of the concept of good sense, there are some substantial differences between virtue epistemologists and Duhem. In the light of this reconstruction of good sense, I will propose a possible way to interpret the concept of good sense, which overcomes the noted problems and fits better with Duhem’s views on scientific method and motivation in developing the concept of good sense. (shrink)

In this article, we report a study in which 109 research-active mathematicians were asked to judge the validity of a purported proof in undergraduate calculus. Significant results from our study were as follows: (a) there was substantial disagreement among mathematicians regarding whether the argument was a valid proof, (b) applied mathematicians were more likely than pure mathematicians to judge the argument valid, (c) participants who judged the argument invalid were more confident in their judgments than those who judged it valid, (...) and (d) participants who judged the argument valid usually did not change their judgment when presented with a reason raised by other mathematicians for why the proof should be judged invalid. These findings suggest that, contrary to some claims in the literature, there is not a single standard of validity among contemporary mathematicians. (shrink)

ABSTRACT: Whereas relevance in scientific explanations is usually discussed as if it was a single problem, several criteria of relevance will be distinguished in this paper. Emphasis is laid upon the notion of intra-scientific relevance, which is illustrated using explanation of the law of areas as an example. Traditional accounts of explanation, such as the causal and unificationist accounts, are analyzed against these criteria of relevance. Particularly, it will be shown that these accounts fail to indicate which explanations fulfill the (...) condition of intra-scientific relevance. Finally, the significance of this latter criterion is emphasized, and the epistemic benefits of explanations that fulfill it are highlighted. (shrink)

What I wish to consider here is how understanding something is related to the justification of beliefs about what it means. Suppose, for instance, that S understands the name “Clinton” and has a justified belief that it names Clinton. How is S’s understanding related to that belief’s justification? Or suppose that S understands the sentence “Clinton is President”, or Jones’ assertive utterance of it, and has a justified belief that that sentence expresses the proposition that Clinton is President, or that (...) Jones said that Clinton is President. How is S’s understanding related to the justifications of these beliefs? (shrink)

Kitcher urges us to think of mathematics as an idealized science of human operations, rather than a theory describing abstract mathematical objects. I argue that Kitcher's invocation of idealization cannot save mathematical truth and avoid platonism. Nevertheless, what is left of Kitcher's view is worth holding onto. I propose that Kitcher's account should be fictionalized, making use of Walton's and Currie's make-believe theory of fiction, and argue that the resulting ideal-agent fictionalism has advantages over mathematical-object fictionalism.

Among the universal attributes of homo sapiens, several have become established as special fields of study—language, art and music, religion, and political economy. But mathematics, another universal attribute of our species, is still modeled separately by logicians, historians, neuroscientists, and others. Could it be integrated into “mathematics studies,” a coherent, many-faceted branch of empirical science? Could philosophers facilitate such a unification? Some philosophers of mathematics identify themselves with “positions” on the nature of mathematics. Those “positions” could more productively serve as (...) models of mathematics. (shrink)

It is shown how mathematical discoveries such as De Moivre's theorem can result from patterns among the symbols of existing formulae and that significant mathematical analogies are often syntactic rather than semantic, for the good reason that mathematical proofs are always syntactic, in the sense of employing only formal operations on symbols. This radically extends the Lakatos approach to mathematical discovery by allowing proof-directed concepts to generate new theorems from scratch instead of just as evolutionary modifications to some existing theorem. (...) The emphasis upon syntax and proof permits discoveries to go beyond the limits of any prevailing semantics. It also helps explain the shortcomings of inductive AI systems of mathematics learning such as Lenat's AM, in which proof has played no part in the formation of concepts and conjectures. (shrink)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received very little (...) attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)

The standard taxonomy of theories of epistemic justification generates four positions from the Foundationalism v. Coherentism and Internalism v. Externalism disputes. I develop a new taxonomy driven by two other distinctions: Fundamentalism v. Non-Fundamentalism and Actual-Result v. Proper-Aim conceptions of epistemic justification. Actual-Result theorists hold that a belief is justified only if, as an actual matter of fact, it is held or formed in a way that makes it more likely than not to be true. Proper-Aim theorists hold that a (...) belief is justified only if it is held or formed in a way that it proper or correct insofar as truth is the aim or norm. Fundamentalists hold that which particular ways of holding or forming beliefs that confer justification is knowable a priori; epistemic principles are a priori necessary truths. Non- Fundamentalists disagree; epistemic principles are empirical contingent truths. The new taxonomy generates four positions: Cartesianism, Reliabilism, Intuitionism, and Pragmatism. The first two are Actual-Result; the second two are Proper-Aim. The first and third are Fundamentalist, the second and fourth are Non-Fundamentalist. The new taxonomy illuminates much of the current debate in the theory of epistemic justification. (shrink)

The distinction between analytic and synthetic propositions, and with that the distinction between a priori and a posteriori truth, is being abandoned in much of analytic philosophy and the philosophy of most of the sciences. These distinctions should also be abandoned in the philosophy of mathematics. In particular, we must recognize the strong empirical component in our mathematical knowledge. The traditional distinction between logic and mathematics, on the one hand, and the natural sciences, on the other, should be dropped. Abstract (...) mathematical objects, like transcendental numbers or Hilbert spaces, are theoretical entities on a par with electromagnetic fields or quarks. Mathematical theories are not primarily logical deductions from axioms obtained by reflection on concepts but, rather, are constructions chosen to solve some collection of problems while fitting smoothly into the other theoretical commitments of the mathematician who formulates them. In other words, a mathematical theory is a scientific theory like any other, no more certain but also no more devoid of content. (shrink)

It is shown how the historiographic purport of Lakatosian methodology of mathematics is structured on the theme of analysis and synthesis. This theme is explored and extended to the revolutionary phase around 1800. On the basis of this historical investigation it is argued that major innovations, crucial to the appraisal of mathematical progress, defy reconstruction as irreducibly rational processes and should instead essentially be understood as processes of social-cognitive interaction. A model of conceptual change is developed whose essential ingredients are (...) the variability of rational responses to new intellectual and practical challenges arising in the cultural environment of mathematics, and the shifting selective pressure of society. The resulting view of mathematical development is compared with Kuhn's theory of scientific paradigms in the light of some personal communications. (shrink)

In this paper I explore possibilities of bringing post-positivist philosophies of empirical science to bear on the dynamics of mathematical development. This is done by way of a convergent accommodation of a mathematical version of Lakatos's methodology of research programmes, and a version of Kuhn's account of scientific change that is made applicable to mathematics by cleansing it of all references to the psychology of perception. The resulting view is argued in the light of two case histories of radical conceptual (...) innovations. (shrink)

In this paper I will take into examination the relevance of the main indispensability arguments for the comprehension of the applicability of mathematics. I will conclude not only that none of these indispensability arguments are of any help for understanding mathematical applicability, but also that these arguments rather require a preliminary analysis of the problems raised by the applicability of mathematics in order to avoid some tricky difficulties in their formulations. As a consequence, we cannot any longer consider the applicability (...) problems as subordinate to ontological ones: no ontological stance on mathematical entities can offer an easy road to the comprehension of the applicability of mathematics. (shrink)

This essay will be divided into three parts. In the first part, we discuss the case of infintesimals seen as a bridge between the discrete and the continuous. This leads in the second part to a discussion of the nature of numbers. In the last part, we follow up with some observations on the obvious applicability of mathematics.

Kitcher and Aspray distinguish a mainstream tradition in the philosophy of mathematics concerned with foundationalist epistemology, and a ‘maverick’ or naturalistic tradition, originating with Lakatos. My claim is that if the consequences of Lakatos's contribution are fully worked out, no less than a radical reconceptualization of the philosophy of mathematics is necessitated, including history, methodology and a fallibilist epistemology as central to the field. In the paper an interpretation of Lakatos's philosophy of mathematics is offered, followed by some critical discussion, (...) and an extension to a social constructivist position (which might well have been unacceptable to Lakatos). (shrink)

A traditional problem of ethics in mathematics is the denial of social responsibility. Pure mathematics is viewed as neutral and value free, and therefore free of ethical responsibility. Applications of mathematics are seen as employing a neutral set of tools which, of themselves, are free from social responsibility. However, mathematicians are convinced they know what constitutes good mathematics. Furthermore many pure mathematicians are committed to purism, the ideology that values purity above applications in mathematics, and some historical reasons for this (...) are discussed. MacIntyre’s virtue ethics accommodates both the good mathematician and the ethics of the social practice of mathematics. It demonstrates that purism is compatible with acknowledging the social responsibility of mathematics. Four aspects of this responsibility are mentioned, two concerning the impact of mathematics via education, and two concerning explicit and implicit applications of mathematics. The last of these opens up the performativity of mathematical and measurement applications in society, which change the very processes they are supposed to measure. Although these applications are not explored in detail, they illustrate the importance of considering the ethics and social responsibility of mathematics in society. MacIntyre’s virtue theory opens a broad approach to the controversial topic of the ethics of mathematics encompassing purism, and absolutist and social constructivist philosophies of mathematics, but still enabling ethical critiques of the impact of mathematics on society. (shrink)

In a series of articles dating from 1903 to 1906, Frege criticizes Hilbert’s methodology of proving the independence and consistency of various fragments of Euclidean geometry in his Foundations of Geometry. In the final part of the last article, Frege makes his own proposal as to how the independence of genuine axioms should be proved. Frege contends that independence proofs require the development of a ‘new science’ with its own basic truths. This paper aims to provide a reconstruction of this (...) New Science that meets modern standards and to examine possible problems surrounding Frege’s original proposal. The paper is organized as follows: the first two sections summarize the main points of the Frege–Hilbert controversy and discuss some issues surrounding the problem of independence proofs. Section 3 contains an informal presentation of Frege’s proposal. In section 4 a more detailed reconstruction of Frege’s New Science is set out while section 5 examines what is left out. The concluding section is devoted to a discussion of Frege’s strategy and its significance from a broader perspective. (shrink)

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

The ArgumentThe belief in the existence of eternal mathematical truth has been part of this science throughout history. Bourbaki, however, introduced an interesting, and rather innovative twist to it, beginning in the mid-1930s. This group of mathematicians advanced the view that mathematics is a science dealing with structures, and that it attains its results through a systematic application of the modern axiomatic method. Like many other mathematicians, past and contemporary, Bourbaki understood the historical development of mathematics as a series of (...) necessary stages inexorably leading to its current state — meaning by this, the specific perspective that Bourbaki had adopted and were promoting. But unlike anyone else, Bourbaki actively put forward the view that their conception of mathematics was not only illuminating and useful for dealing with the current concerns of mathematics, but that this was in fact the ultimate stage in the evolution of mathematics, bound to remain unchanged by any future development of this science. In this way, they were extending in an unprecedented way the domain of validity of the belief in the eternal character of mathematical truths, from the body to the images of mathematical knowledge.Bourbaki were fond of presenting their insistence on the centrality of the modern axiomatic method as a way to ensure the eternal character of mathematical truth as an offshoot of Hilbert's mathematical heritage. A detailed examination of Hilbert's actual conception of the axiomatic method, however, brings to the fore interesting differences between it and Bourbaki's conception, thus underscoring the historically conditioned character of certain, fundamental mathematical beliefs. (shrink)

The ArgumentRecent studies in the philosophy of mathematics have increasingly stressed the social and historical dimensions of mathematical practice. Although this new emphasis has fathered interesting new perspectives, it has also blurred the distinction between mathematics and other scientific fields. This distinction can be clarified by examining the special interaction of thebodyandimagesof mathematics.Mathematics has an objective, ever-expanding hard core, the growth of which is conditioned by socially and historically determined images of mathematics. Mathematics also has reflexive capacities unlike those of (...) any other exact science. In no other exact science can the standard methodological framework usedwithinthe discipline also be used to study the nature of the discipline itself.Although it has always been present in mathematical research, reflexive thinking has become increasingly central to mathematics over the past century. Many of the images of the discipline have been dictated by the increase in reflexive thinking which has also determined a great portion of the contemporary philosophy and historiography of mathematics. (shrink)

My goal in this paper is to explain what ethical naturalism is, to locate the pivotal issue between naturalists and non-naturalists, and to motivate taking naturalism seriously. I do not aim to establish the truth of naturalism nor to answer the various familiar objections to it. But I do aim to motivate naturalism sufficiently that the attempt to deal with the objections will seem worthwhile. I propose that naturalism is best understood as the view that the moral properties are natural (...) in the sense that they are empirical. I pursue certain issues in the understanding of the empirical. The crux of the matter is whether any synthetic proposition about the instantiation of a moral property is strongly a priori in that it does not admit of empirical evidence against it. I propose an argument from epistemic defeaters that, I believe, undermines the plausibility of a priorism in ethics and supports the plausibility of naturalism. (shrink)

The specific characteristics of mathematical argumentation all depend on the centrality that writing has in the practice of mathematics, but blindness to this fact is near universal. What follows concerns just one of those characteristics, justification by proof. There is a prevalent view that long proofs pose a problem for the thesis that mathematical knowledge is justified by proof. I argue that there is no such problem: in fact, virtually all the justifications of mathematical knowledge are ‘long proofs’, but because (...) these real justifications are distributed in the written archive of mathematics, proofs remain surveyable, hence good. (shrink)

Mathematics has a great variety ofapplications in the physical sciences.This simple, undeniable fact, however,gives rise to an interestingphilosophical problem:why should physical scientistsfind that they are unable to evenstate their theories without theresources of abstract mathematicaltheories? Moreover, theformulation of physical theories inthe language of mathematicsoften leads to new physical predictionswhich were quite unexpected onpurely physical grounds. It is thought by somethat the puzzles the applications of mathematicspresent are artefacts of out-dated philosophical theories about thenature of mathematics. In this paper I argue (...) that this is not so.I outline two contemporary philosophical accounts of mathematics thatpay a great deal of attention to the applicability of mathematics and showthat even these leave a large part of the puzzles in question unexplained. (shrink)

Recently Colin Cheyne and Charles Pigden have challenged supporters of mathematical indispensability arguments to give an account of how causally inert mathematical entities could be indispensable to science. Failing to meet this challenge, claim Cheyne and Pigden, would place Platonism in a no win situation: either there is no good reason to believe in mathematical entities or mathematical entities are not causally inert. The present paper argues that Platonism is well equipped to meet this challenge.

Mathematical apriorists usually defend their view by contending that axioms are knowable a priori, and that the rules of inference in mathematics preserve this apriority for derived statements—so that by following the proof of a statement, we can trace the apriority being inherited. The empiricist Philip Kitcher attacked this claim by arguing there is no satisfactory theory that explains how mathematical axioms could be known a priori. I propose that in analyzing Ernest Sosa’s model of intuition as an intellectual virtue, (...) we can construct an “intuition–virtue” that could supply the missing explanation for the apriority of axioms. I first argue that this intuition–virtue qualifies as an a priori warrant according to Kitcher’s account, and then show that it could produce beliefs about mathematical axioms independent of experience. If my argument stands, this paper could provide insight on how virtue epistemology could help defend mathematical apriorism on a larger scale. (shrink)

Tyler Burge offers a theory of testimony that allows for the possibility of both testimonial a priori warrant and testimonial a priori knowledge. I uncover a tension in his account of the relationship between the two, and locate its source in the analogy that Burge draws between testimonial warrant and preservative memory. I contend that this analogy should be rejected, and offer a revision of Burge's theory that eliminates the tension. I conclude by assessing the impact of the revised theory (...) on the scope of a priori knowledge. (shrink)

Kripke claims that there are necessary a posteriori truths and contingent a priori truths. These claims challenge the traditional Kantian view that (K) All knowledge of necessary truths is a priori and all a priori knowledge is of necessary truths. Kripke’s claims continue to be resisted, which indicates that the Kantian view remains attractive. My goal is to identify the most plausible principles linking the epistemic and the modal. My strategy for identifying the principles is to investigate two related questions. (...) Are there compelling general supporting arguments for (K)? Are there decisive counterexamples to (K)? My investigation uncovers two intuitively plausible principles that are not open to decisive counterexamples but which enjoy no compelling independent support. (shrink)

During the past decade a new twist in the debate regarding the a priori has unfolded. A number of prominent epistemologists have challenged the coherence or importance of the a priori—a posteriori distinction or, alternatively, of the concept of a priori knowledge. My focus in this paper is on these new challenges to the a priori. My goals are to provide a framework for organizing the challenges, articulate and assess a range of the challenges, and present two challenges of my (...) own. (shrink)

This paper attempts to show how the “big data” paradigm is changing science through offering access to millions of database elements in real time and the computational power to rapidly process those data in ways that are not initially obvious. In order to gain a proper understanding of these changes and their implications, we propose applying an extended cognition model to the novel scenario.