Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude (...) by arguing that versions of OSR that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

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)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

The Benacerraf Problem of Mathematical Truth and Knowledge Before philosophical theorizing, people tend to believe that most of the claims generally accepted in mathematics—claims like “2+3=5” and “there are infinitely many prime numbers”—are true, and that people know many of them. Even after philosophical theorizing, most people remain committed to mathematical truth and mathematical knowledge. … Continue reading The Benacerraf Problem of Mathematical Truth and Knowledge →.

Realists about modality offer an attractive semantics for modal discourse in terms of possible worlds, but standard accounts of the worlds—as properties, propositions, or causally-isolated concreta—invoke entities with which we can’t interact. If realism is true, how can we know anything about modal matters? Let's call this "the Benacerraf Problem." I suggest that C. I. Lewis has an intriguing answer to it. Given that we’re willing to disentangle some of Lewis’s insights from his phenomenalism, we can take the (...) following line. If the Benacerraf Problem is a genuine one, then it threatens all knowledge—not just modal knowledge. But then it leads to a general and implausible form of skepticism, not a limited and more plausible debunking argument. Hence, whatever we’re willing to say about skepticism we should say about the Benacerraf 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)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

Paul Benacerraf’s argument that mathematical realism is apparently incompatible with mathematical knowledge has been widely thought to also show that a priori knowledge in general is problematic. Although many philosophers have rejected Benacerraf’s argument because it assumes a causal theory of knowledge, some maintain that Benacerraf nevertheless put his finger on a genuine problem, even though he didn’t state the problem in its most challenging form. After diagnosing what went wrong with Benacerraf’s argument, I (...) argue that a new, more challenging, version of Benacerraf’s problem can be constructed. The new version—what I call the Defeater Version—of Benacerraf’s problem makes use of a no-defeater condition on knowledge and justification. I conclude by arguing that the best way to avoid the problem is to construct a theory of how a priori judgments reliably track the facts. I also suggest four different kinds of theories worth pursuing. (shrink)

There are two general questions which many views in the philosophy of mathematics can be seen as addressing: what are mathematical objects, and how do we have knowledge of them? Naturally, the answers given to these questions are linked, since whatever account we give of how we have knowledge of mathematical objects surely has to take into account what sorts of things we claim they are; conversely, whatever account we give of the nature of mathematical objects must be accompanied by (...) a corresponding account of how it is that we acquire knowledge of those objects. The connection between these problems results in what is often called "Benacerraf's Problem", which is a dilemma that many philosophical views about mathematical objects face. It will be my goal here to present a view, attributed to Richard Dedekind, which approaches the initial questions in a different way than many other philosophical views do, and in doing so, avoids the dilemma given by Benacerraf's problem. (shrink)

Benacerraf’s problem is justly famous. It’s had a major influence on the philosophy of mathematics right from its initial appearance, an influence that continues up through the present moment.

In a series of recent publications, Jeffrey King (The nature and structure of content, 2007; Proc Aristot Soc 109(3):257–277, 2009; Philos Stud, 2012) argues for a view on which propositions are facts. He also argues against views on which propositions are set-theoretical objects, in part because such views face Benacerraf problems. In this paper, we argue that, when it comes to Benacerraf problems, King’s view doesn’t fare any better than its set-theoretical rivals do. Finally, we argue that his (...) view faces a further Benacerraf problem, one that threatens to undercut his explanation of why propositions have truth-conditions. If correct, our arguments undercut King’s main motivation for accepting his view over its rivals. (shrink)

Hartry Field’s epistemological challenge to the mathematical platonist is often cast as an improvement on Paul Benacerraf’s original epistemological challenge. I disagree. While Field’s challenge is more difficult for the platonist to address than Benacerraf’s, I argue that this is because Field’s version is a special case of what I call the ‘sociological challenge’. The sociological challenge applies equally to platonists and fictionalists, and addressing it requires a serious examination of mathematical practice. I argue that the non-sociological part (...) of Field’s challenge amounts to a minor reformulation of Benacerraf’s original challenge. So, I contend, Field’s challenge is not an improvement on Benacerraf’s. What is new to Field’s challenge is as much a problem for the fictionalist as it is for the platonist. (shrink)

The paper is devoted to analysis of P. Benacerraf’s argument against set-theoretic reductionist realism which is a fragment of a broader argument, know as the “identification problem”. The analyzed fragment of P. Benacerraf’s argument concerns the possibility of reducing of mathematical notions to set-theoretic notions. The paper presents a reconstruction of P. Benacerraf’s original argumentation, its analysis and also several possible objections proposed by P. Benacerraf himself about 30 years later after the original publication. Namely, (...) he claimed (1) that a set-theoretic definition of natural numbers in G. Frege’s fashion can serve as a proper and unique set-theoretic definition, (2) that his argument doesn’t undermine eliminative reductionsts’ position, (3) that even if there are no argument possible in favor of some particular set-theoretic definition of natural numbers one may take set-theoretic realism for granted. An analysis of the mentioned possible objections shows their dependence on a number of additional premises. The paper demonstrates that P. Benacerraf’s objections on his own argument against set-theoretic realism either have a pragmatic character themselves or essentially rely on additional arguments that are justified pragmatically or require additional argumentation. For example, his possible objections require that set theory is considered as the only true foundational theory in mathematics, and that it has several important pragmatic virtues, like convenience of use to formalize other mathematical theories. In some cases, P. Benacerraf’s objections on their own, or the indicated additional principles may well be called into question, which demonstrates the insufficiency of P. Benacerraf’s objections against his original argument. Without the mentioned pragmatic arguments P. Benacerraf’s objections become a kind of belief in mysticism. Accordingly, his doubts about his own argument against set-theoretical realism seem insufficient to reject the problem of identification and save the position of set-theoretical realism from collapse. (shrink)

Causal theory of knowledge has been used by some theoreticians who, dealing with the philosophy of mathematics, touched the subject of mathematical knowledge. Some of them discuss the necessity of the causal condition for justification, which creates the grounds for renewing the old conflict between empiricists and rationalists. Emphasizing the condition of causality as necessary for justifiability, causal theory has provided stimulus for the contemporary empiricists to venture on the so far unquestioned cognitive foundations of mathematics. However, in what sense (...) can we speak about the justifiability as causality when it comes to mathematical knowledge? Can we justify the mathematical statement 2+2=4 by means of causality-perceptibility? Do we need perceptibility, a visual image of apples and marbles we add up in our first mathematics lesson, in order to know that statement? Does the same go with the statement that any two points can be joined by a straight line, and that the sum of angles in any triangle is the angle the measure of which equals the sum of the measures of the two right angles? Even though the major part of this article offers a review of the attitudes of various authors who endeavor to discuss the application of the causal theory to the problem of understanding of mathematical knowledge, it advocates the idea that knowledge expressed in a mathematical statement is acquired and transmitted by evidence. Evidence is by itself a guarantee of truth. It convinces us of the accuracy of mathematical truths. Proving, we find out. The greatest part of what we know is based on evidence of the previous knowledge . Due to the previous knowledge, we can say that knowledge in mathematics is in itself different from the knowledge in empirical sciences, i.e. it does not require causal relation that is considered necessary condition of knowing in those sciences.Uzročna teorija znanja iskorištena je od strane nekih teoretičara koji su se, baveći se filozofijom matematike, dotakli teme matematičkog znanja. Neki od njih govore o nužnosti uzročnog uvjeta za opravdanje, čime se stvaraju uvjeti za obnavljanje starog sukoba empirista i racionalista. Uzročna teorija je, isticanjem uvjeta uzročnosti kao nužnog za opravdanost, dala poticaj suvremenim empiristima da krenu čak i na do tada nedodirljive spoznajne temelje matematike. Međutim, u kom smislu možemo govoriti o opravdanosti kao uzročnosti kad je riječ o matematičkom znanju? Da li uzročnošću-čulnošću možemo opravdati matematički iskaz 2+2=4? Je li nam za znanje tog iskaza neophodna čulnost, vizualna predodžba jabuka ili klikera koje zbrajamo na našim prvim satovima matematike u školi? Stoje li stvari isto i s iskazom da se kroz bilo koje dvije točke može povući točno jedan pravac, ili da je zbroj kutova bilo kojeg trokuta kut čija je mjera jednaka zbroju mjera dvaju pravih kutova? Iako je u ovom radu, uglavnom, dan pregled stavova autora koji pokušavaju govoriti o primjeni uzročne teorije u shvaćanju matematičkog znanja, ideja koja se podržava u njemu jest da je znanje, iskazano matematičkim tvrđenjem, dobiveno i preneseno dokazom. Dokaz, sam po sebi, jamac je istine. On nas uvjerava u točnost matematičkih tvrdnji. Dokazujući spoznajemo. Najveći dio onoga što znamo zasnovano je dokazom na prethodnim znanjima . Zbog prethodnog možemo reći da je znanje u matematici po svojoj prirodi drugačije od znanja u empirijskim znanostima, to jest da ne iziskuje uzročnu vezu koja se smatra nužnim uvjetom za znanje u tim znanostima. (shrink)

Evolutionary debunking arguments purport to show that robust moral realism, the metaethical view that there are non-natural and mind-independent moral properties and facts that we can know about, is incompatible with evolutionary explanations of morality. One of the most prominent evolutionary debunking arguments is advanced by Sharon Street, who argues that if moral realism were true, then objective moral knowledge is unlikely because realist moral properties are evolutionary irrelevant and moral beliefs about those properties would not be selected for. However, (...) no evolutionary, causal explanation plays an essential role in reaching the argument’s epistemological conclusion. Street’s argument depends on the Benacerraf-Field challenge, which is the challenge to explain the reliability of our moral beliefs about causally inert moral properties. The Benacerraf-Field challenge relies on metaphysically necessary facts about realist moral properties, rather than on contingent Darwinian facts about the origin of our moral beliefs. Attempting to include an essential causal empirical premise yet avoiding recourse to the Benacerraf-Field problem yields an argument that is either self-defeating or of limited scope. Ultimately, evolutionary, causal explanations of our moral beliefs and their consequences do not present the strongest case against robust moral realism. Rather, the question is whether knowledge of casually-inert, mind-intendent properties is plausible at all. (shrink)

One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the (...) problem can be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

In this article, I discuss a trivialization worry for Hartry Field’s official formulation of the access problem for mathematical realists, which was pointed out by Øystein Linnebo. I argue that various attempted reformulations of the Benacerraf problem fail to block trivialization, but that access worriers can better defend themselves by sticking closer to Hartry Field’s initial informal characterization of the access problem in terms of general epistemic norms of coincidence avoidance.

Does Wittgenstein have a coherent philosophy of mathematics? Here, I will be concerned with showing that the answer is positive. However, given that his life-long philosophical perspective on mathematics tends to be misleading, I focus on the specific problem posed by Paul Benacerraf in ‘Mathematical Truth’, that is: the puzzle about how to reconcile the metaphysics with the epistemology for mathematics. My aim is to show that there is an adequate anti-platonistic solution to that puzzle in the mature (...) writings of the Austrian philosopher. (shrink)

The Benacerraf’s problem is a problem about how we can attain mathematical knowledge: mathematical entities are entities not located in space-time; we exist in spacetime; so, it does not seem that we could have a causal connection with mathematical entities in order to attain mathematical knowledge. In this paper, I propose a solution to the Benacerraf’s problem supported by the Quinean doctrines of naturalism, confirmational holism and postulation. I show that we have empirical knowledge of (...) centres of mass and of entities outside of our light cone and that these entities are inefficacious causality entities, at least,with us. At the end, I defend the existential knowledge of centres of mass and of entities outside of our light cone against the Eleatic principle of Cheyne that we only could attain existential knowledge of entities by a causal connection. (shrink)

In this article, I discuss a trivialization worry for Hartry Field’s official formulation of the access problem for mathematical realists, which was pointed out by Øystein Linnebo (and has recently been made much of by Justin Clarke-Doane). I argue that various attempted reformulations of the Benacerraf problem fail to block trivialization, but that access worriers can better defend themselves by sticking closer to Hartry Field’s initial informal characterization of the access problem in terms of (something like) (...) general epistemic norms of coincidence avoidance. (shrink)

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox, a challenge to 'classical' mathematics from a world-famous mathematician, a new foundational school, and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably with Bertrand Russell, W. V. Quine, and Gödel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection (...) brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

In this article, I discuss Hawthorne'€™s contextualist solution to Benacerraf'€™s dilemma. He wants to find a satisfactory epistemology to go with realist ontology, namely with causally inaccessible mathematical and modal entities. I claim that he is unsuccessful. The contextualist theories of knowledge attributions were primarily developed as a response to the skeptical argument based on the deductive closure principle. Hawthorne uses the same strategy in his attempt to solve the epistemologist puzzle facing the proponents of mathematical and modal realism, (...) but this problem is of a different nature than the skeptical one. The contextualist theory of knowledge attributions cannot help us with the question about the nature of mathematical and modal reality and how they can be known. I further argue that Hawthorne'€™s account does not say anything about a priori status of mathematical and modal knowledge. Later, Hawthorne adds to his account an implausible claim that in some contexts a gettierized belief counts as knowledge. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current (...) debate on Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Gödel himself, (...) and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers.

A range of current truth-value realist philosophies of mathematics allow one to reduce the Benacerraf Problem to a problem concerning mathematicians' ability to recognize which conceptions of pure mathematical structures are coherent – in a sense which can be cashed out in terms of logical possibility. In this paper I will clarify what it takes to solve this `residual' access problem and then present a framework for solving it.

What Numbers Could Not Be’) that an adequate account of the numbers and our arithmetic practice must satisfy not only the conditions usually recognized to be necessary: (a) identify some w-sequence as the numbers, and (b) correctly characterize the cardinality relation that relates a set to a member of that sequence as its cardinal number—it must also satisfy a third condition: the ‘<’ of the sequence must be recursive. This paper argues that adding this further condition was a mistake—any w-sequence (...) would do, no matter how undecidable its ‘<’ relation. (shrink)

Suggests that the recent emphasis on Benacerraf's access problem locates the peculiarity of mathematical knowledge in the wrong place. Instead we should focus on the sense in which mathematical concepts are or might be "armchair concepts" – concepts about which non-trivial knowledge is obtainable a priori.

Those inclined to believe in the existence of propositions as traditionally conceived might seek to reduce them to some other type of entity. However, parsimonious propositionalists of this type are confronted with a choice of competing candidates – for example, sets of possible worlds, and various neo-Russellian and neo-Fregean constructions. It is argued that this choice is an arbitrary one, and that it closely resembles the type of problematic choice that, as Benacerraf pointed out, bedevils the attempt to reduce (...) numbers to sets – should the number 2 be identified with the set Ø or with the set Ø, Ø? An “argument from arbitrary identification” is formulated with the conclusion that propositions (and perhaps numbers) cannot be reduced away. Various responses to this argument are considered, but ultimately rejected. The paper concludes that the argument is sound: propositions, at least, are sui generis entities. (shrink)