In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

It is widely believed that platonists face a formidable problem: that of providing an intelligible account of mathematical knowledge. The problem is that we seem unable, if the platonist is right, to have the causal relationships with the objects of mathematics without which knowledge of these objects seems unintelligible. The standard platonist response to this challenge is either to deny that knowledge without causation is unintelligible, or to make room for causal interactions by softening the platonism at issue. In this (...) essay I argue that the idea of causal relations with fully platonist objects is unproblematic. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

Multistable figures offer an intriguing model for arbitrating conflicting positions. Moving back and forth between the different aspects under which something can be seen, one recognizes that mutually contradictory descriptions can be equally valid and that disputes over the correct account can be resolved without dissolving differences or establishing a higher synthesis. Yet, the experience of a gestalt switch also offers a model for radical conversions and revolutions – that is, for irreversible leaps to incommensurable alternatives foiling ideals of rational (...) choice while providing the possibility and necessity of decision. Accentuating the temporal dimensions of multistable figures, this multidisciplinary volume illuminates the critical potentials and limits of multistability as a complex figure of thought. (shrink)

For the past hundred years, mathematics, for its own reasons, has been shifting away from the study of “mathematical objects” and towards the study of “structures”. One would have expected philosophers to jump onto the bandwagon, as in many other cases, to proclaim that this shift is no accident, since mathematics is “essentially” about structures, not objects. In fact, structuralism has not been a very popular philosophy of mathematics, probably because of the hostility of Frege and other influential logicists, and (...) quasi-logicists like Quine. Recently, however, structuralism has finally penetrated the philosophical community and a number of “structuralist” volumes in the philosophy of mathematics have seen the light of day. Michael Resnik is one of the most distinguished representatives of this school, along with Stewart Shapiro, who has also recently published a structuralist tract. (shrink)

One of Adrian Piper’s “reactive guerrilla performances” dealing with issues of race and racism was a calling card that she handed out to individuals who made racist remarks that they would not have made if they had taken themselves to be in the presence of a person of color. The card reads.

In “Mathematical Truth,” Paul Benacerraf raises an epistemic challenge for mathematical platonists. In this paper, I examine the assumptions that motivate Benacerraf’s original challenge, and use them to construct a new causal challenge for the epistemology of mathematics. This new challenge, which I call ‘Gödel’s Gap’, appeals to intuitive insights into mathematical knowledge. Though it is a causal challenge, it does not rely on any obviously objectionable constraints on knowledge. As a result, it is more compelling than the original challenge. (...) It is also more general; the challenge applies equally to platonistic and non-platonistic accounts of mathematical truth. And it can be generalized beyond the case of mathematical knowledge to pose a challenge for, e.g., moral knowledge. (shrink)

In the introduction to his Realism, mathematics and modality, and in earlier papers included in that collection, Hartry Field offered an epistemological challenge to platonism in the philosophy of mathematics. Justin Clarke-Doane Truth, objects, infinity: New perspectives on the philosophy of Paul Benacerraf, 2016) argues that Field’s challenge is an illusion: it does not pose a genuine problem for platonism. My aim is to show that Clarke-Doane’s argument relies on a misunderstanding of Field’s challenge.

Many philosophers posit abstract entities – where something is abstract if it is acausal and lacks spatio-temporal location. Theories, types, characteristics, meanings, values and responsibilities are all good candidates for abstractness. Such things raise an epistemological puzzle: if they are abstract, then how can we have any epistemic access to how they are? If they are invisible, intangible and never make anything happen, then how can we ever discover anything about them? In this article, I critically examine epistemological objections to (...) belief in abstract objects offered by Paul Benacerraf, Colin Cheyne and Hartry Field. (shrink)

Sometimes, learning about the origins of a belief can make it irrational to continue to hold that belief—a phenomenon we call ‘genealogical defeat’. According to explanationist accounts, genealogical defeat occurs when one learns that there is no appropriate explanatory connection between one’s belief and the truth. Flatfooted versions of explanationism have been widely and rightly rejected on the grounds that they would disallow beliefs about the future and other inductively-formed beliefs. After motivating the need for some explanationist account, we raise (...) some problems for recent versions of explanationism. Learning from their failures, we then produce and defend a more resilient explanationism. (shrink)

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...) if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

In this paper, I challenge those interpretations of Frege that reinforce the view that his talk of grasping thoughts about abstract objects is consistent with Russell's notion of acquaintance with universals and with Gödel's contention that we possess a faculty of mathematical perception capable of perceiving the objects of set theory. Here I argue the case that Frege is not an epistemological Platonist in the sense in which Gödel is one. The contention advanced is that Gödel bases his Platonism on (...) a literal comparison between mathematical intuition and physical perception. He concludes that since we accept sense perception as a source of empirical knowledge, then we similarly should posit a faculty of mathematical intuition to serve as the source of mathematical knowledge. Unlike Gödel, Frege does not posit a faculty of mathematical intuition. Frege talks instead about grasping thoughts about abstract objects. However, despite his hostility to metaphor, he uses the notion of ‘grasping’ as a strategic metaphor to model his notion of thinking, i.e., to underscore that it is only by logically manipulating the cognitive content of mathematical propositions that we can obtain mathematical knowledge. Thus, he construes ‘grasping’ more as theoretical activity than as a kind of inner mental ‘seeing’. (shrink)

Knowing is something that we do not have much of a theory about., p. 365.)Interest has recently been shown in causal theories of perception, memory, inference, reference, truth, justification and belief, as well as in a more general “causal theory of knowledge” which would embrace and connect all of these concepts within a broad epistemological framework. The burden of this paper is that prospects are poor for an interesting and general enough causal theory of knowledge. A threat to generality arises (...) from the causal theory's difficulties with knowledge of general truths. A threat to interest arises when attempts to accommodate general truths lead to a weakening of the notion of “causal connection” appealed to, making dubious the explanatory force of such an appeal. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Some mathematical philosophers believe that we can achieve a new and better version of mathematical Platonism, by eliminating defects of original Platonism. According to Brown's version of Platonism, that here we call it “Modern Platonism”, the nature of mathematics can be formulated in these seven theses: realism, abstraction, particularity, Intuitiveness, priority, fallibility, and extensibility. This paper criticizes and evaluates the New Platonism, according to two major criteria: the social acceptability, and the methodological acceptability. The social acceptability of a theory, according (...) to my definition, is the interest and attitude of the people to that theory; and it can be measured on the frequency or percentage of interested parties. But the methodological acceptance of a theory means to match it with criteria such as consistency, simplicity and explanatory power; and its value can be assessed based on its success in solving philosophical problems related to it. According to Brown, the new Platonism, is the best philosophical theory about the nature of mathematics, both sociological and methodological. As for sociological criteria, we can be sympathetic and agree with Brown. That is, it seems that the new version of Platonism is still acceptable. But it needs to prove its methodological acceptability. Because the access problem and the certainty problem are still not resolved. (shrink)

Aristotelian, or non-Platonist, realism holds that mathematics is a science of the real world, just as much as biology or sociology are. Where biology studies living things and sociology studies human social relations, mathematics studies the quantitative or structural aspects of things, such as ratios, or patterns, or complexity, or numerosity, or symmetry. Let us start with an example, as Aristotelians always prefer, an example that introduces the essential themes of the Aristotelian view of mathematics. A typical mathematical truth is (...) that there are six different pairs in four objects: Figure 1. There are 6 different pairs in 4 objects The objects may be of any kind, physical, mental or abstract. The mathematical statement does not refer to any properties of the objects, but only to patterning of the parts in the complex of the four objects. If that seems to us less a solid truth about the real world than the causation of flu by viruses, that may be simply due to our blindness about relations, or tendency to regard them as somehow less real than things and properties. But relations (for example, relations of equality between parts of a structure) are as real as colours or causes. (shrink)

This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...) it difficult to understand how we can have knowledge of them and how they can have any relevance for our mathematical theories. I begin by characterizing a realist position in the philosophy of mathematics and discussing two of the most influential arguments for that kind of view. Next, after highlighting some of the difficulties that realism faces, I look at a few alternative approaches that attempt to account for our mathematical practice without making the assumption that there exist abstract mathematical entities. More specifically, I examine the fictionalist views developed by Hartry Field, Mark Balaguer, and Stephen Yablo, respectively. A common feature of these views is that they accept that mathematics interpreted at face value is committed to the existence of abstract objects. In order to avoid this commitment, they claim that mathematics, when taken at face value, is false. I argue that the fictionalist idea of mathematics as consisting of falsehoods is counter-intuitive and that we should aim for an account that can accommodate both the intuition that mathematics is true and the intuition that the causal inertness of abstract mathematical objects makes them irrelevant to mathematical practice and mathematical knowledge. The solution that I propose is based on Rudolf Carnap's distinction between an internal and an external perspective on existence. I argue that the most reasonable interpretation of the notions of mathematical truth and existence is that they are internal to mathematics and, hence, that mathematical truth cannot be used to draw the conclusion that mathematical objects exist in an external/ontological sense. (shrink)