To what extent are the subjects of our thoughts and talk real? This is the question of realism. In this book, Justin Clarke-Doane explores arguments for and against moral realism and mathematical realism, how they interact, and what they can tell us about areas of philosophical interest more generally. He argues that, contrary to widespread belief, our mathematical beliefs have no better claim to being self-evident or provable than our moral beliefs. Nor do our mathematical beliefs have better claim to (...) being empirically justified than our moral beliefs. It is also incorrect that reflection on the "genealogy" of our moral beliefs establishes a lack of parity between the cases. In general, if one is a moral antirealist on the basis of epistemological considerations, then one ought to be a mathematical antirealist as well. And, yet, Clarke-Doane shows that moral realism and mathematical realism do not stand or fall together -- and for a surprising reason. Moral questions, insofar as they are practical, are objective in a sense that mathematical questions are not. Moreover, the sense in which they are objective can be explained only by assuming practical anti-realism. One upshot of the discussion is that the concepts of realism and objectivity, which are widely identified, are actually in tension. Another is that the objective questions in the neighborhood of questions of logic, modality, grounding, and nature are practical questions too. Practical philosophy should, therefore, take center stage. (shrink)

I believe that Tom is the proud father of a baby boy. Why do I think his child is a boy? A natural answer might be that I remember that his name is ‘Owen’ which is usually a boy’s name. Here I’ve given information that might be part of a causal explanation of my believing that Tom’s baby is a boy. I do have such a memory and it is largely what sustains my conviction. But I haven’t given you just (...) any causally relevant information, I’ve given my grounds for my belief. I’ve given reasons that might justify me in supposing that Tom’s baby is a boy. Less naturally, the question might be taken as a request for a broader causal explanation of my holding this belief. Appropriate answers might cite all manner of facts concerning the evolution of the human race, why I chose to pursue philosophy and hence came to know Tom, the mechanisms of email transmission, the firing of various neurons, the circumstances of concept formation as a result of which I’m able to grasp the thought that Tom’s baby is a boy, and so on. It is an interesting question what distinguishes the narrower set of answers that I first suggested. I won’t pursue that here. I assume you have a good enough sense of the distinction I’m drawing. We might call the narrower set of answers justifying reasons, the kind of reasons I might cite in justifying my belief. Answers of the first sort are clearly relevant to epistemological evaluation. In assessing whether you know p or are rational in believing it to the degree you do, I will naturally want to consider what reasons you have for your belief. In deliberating myself about whether to believe p, in seeking an answer to the question of whether p, I will naturally consider what reasons or grounds I have to suppose that p. But what I want to focus on here is how explanations of the broader sort bear on such questions as whether to believe p. From a third-person perspective we can ask, ‘In assessing the epistemic status of S’s belief that p, what is the relevance of causal information that lies outside of the realm of justifying reasons?’ From the first-person standpoint we can ask ‘In seeking to answer whether p, how should such causal information affect my deliberations?’ At first it might seem that such broader causal information could have little relevance if any. Like any belief my belief that p can be traced back to innumerable causes from far and wide.. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (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)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

This paper seeks to question the position of ZF as the dominant system of set theory, and in particular to examine whether there is any philosophical justification for the axiom of foundation. After some historical observations regarding Poincare and Russell, and the notions of circularity and hierarchy, the iterative conception of set is argued to be a semi-constructvist hybrid without philosophical coherence. ZF cannot be justified as necessary to avoid paradoxes, as axiomatizing a coherent notion of set, nor on pragmatic (...) grounds, and should be replaced by a system allowing non-well-founded sets. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

This paper explores the prospects for safety-based theories of knowledge in the light of some recent objections.

This paper explores the prospects for safety-based theories of knowledge in the light of some recent objections.

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set (...) theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science. (shrink)

Upon discovering that certain beliefs we hold are contingent on arbitrary features of our background, we often feel uneasy. I defend the proposal that if such cases of contingency anxiety involve defeaters, this is because of the epistemic significance of disagreement. I note two hurdles to our accepting this Disagreement Hypothesis. Firstly, some cases of contingency anxiety apparently involve no disagreement. Secondly, the proposal may seem to make our awareness of the influence of arbitrary background factors irrelevant in determining whether (...) to revise our beliefs. I show that each of these problems can be successfully accommodated by the Disagreement Hypothesis. (shrink)

Upon discovering that certain beliefs we hold are contingent on arbitrary features of our background, we often feel uneasy. I defend the proposal that if such cases of contingency anxiety involve defeaters, this is because of the epistemic significance of disagreement. I note two hurdles to our accepting this Disagreement Hypothesis. Firstly, some cases of contingency anxiety apparently involve no disagreement. Secondly, the proposal may seem to make our awareness of the influence of arbitrary background factors irrelevant in determining whether (...) to revise our beliefs. I show that each of these problems can be successfully accommodated by the Disagreement Hypothesis. (shrink)

In this paper, we develop an alternative strategy, Platonized Naturalism, for reconciling naturalism and Platonism and to account for our knowledge of mathematical objects and properties. A systematic (Principled) Platonism based on a comprehension principle that asserts the existence of a plenitude of abstract objects is not just consistent with, but required (on transcendental grounds) for naturalism. Such a comprehension principle is synthetic, and it is known a priori. Its synthetic a priori character is grounded in the fact that it (...) is an essential part of the logic in which any scientific theory will be formulated and so underlies (our understanding of) the meaningfulness of any such theory (this is why it is required for naturalism). Moreover, the comprehension principle satisfies naturalist standards of reference, knowledge, and ontological parsimony! As part of our argument, we identify mathematical objects as abstract individuals in the domain governed by the comprehension principle, and we show that our knowledge of mathematical truths is linked to our knowledge of that principle. (shrink)

Since Benacerraf’s “Mathematical Truth” a number of epistemological challenges have been launched against mathematical platonism. I first argue that these challenges fail because they unduely assimilate mathematics to empirical science. Then I develop an improved challenge which is immune to this criticism. Very roughly, what I demand is an account of how people’s mathematical beliefs are responsive to the truth of these beliefs. Finally I argue that if we employ a semantic truth-predicate rather than just a deflationary one, there surprisingly (...) turns out to be logical space for a response to the improved challenge where no such space appeared to exist. (shrink)

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

In this paper, we sketch the development of two important themes of modern set theory, both of which can be regarded as growing out of work of Kurt Gödel. We begin with a review of some basic concepts and conventions of set theory.§0. The ordinal numbers were Georg Cantor's deepest contribution to mathematics. After the natural numbers 0, 1, …, n, … comes the first infinite ordinal number ω, followed by ω + 1, ω + 2, …, ω + ω, (...) … and so forth. ω is the first limit ordinal as it is neither 0 nor a successor ordinal. We follow the von Neumann convention, according to which each ordinal number α is identified with the set {ν ∣ ν α} of its predecessors. The ∈ relation on ordinals thus coincides with <. We have 0 = ∅ and α + 1 = α ∪ {α}. According to the usual set-theoretic conventions, ω is identified with the first infinite cardinal ℵ0, similarly for the first uncountable ordinal number ω1 and the first uncountable cardinal number ℵ1, etc. We thus arrive at the following picture:The von Neumann hierarchy divides the class V of all sets into a hierarchy of sets Vα indexed by the ordinal numbers. The recursive definition reads: ;Vλ = ∪v<λVv for limit ordinals λ. We can represent this hierarchy by the following picture. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...) view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for. (shrink)

Since Edmund L. Gettier reminded us recently of a certain important inadequacy of the traditional analysis of "S knows that p," several attempts have been made to correct that analysis. In this paper I shall offer still another analysis (or a sketch of an analysis) of "S knows that p," one which will avert Gettier's problem. My concern will be with knowledge of empirical propositions only, since I think that the traditional analysis is adequate for knowledge of nonempirical truths.

Metaethical—or, more generally, metanormative— realism faces a serious epistemological challenge. Realists owe us—very roughly speaking—an account of how it is that we can have epistemic access to the normative truths about which they are realists. This much is, it seems, uncontroversial among metaethicists, myself included. But this is as far as the agreement goes, for it is not clear—nor uncontroversial—how best to understand the challenge, what the best realist way of coping with it is, and how successful this attempt is. (...) In this paper I try, first, to present the challenge in its strongest version, and second, to show how realists—indeed, robust realists—can cope with it. The strongest version of the challenge is, I argue, that of explaining the correlation between our normative beliefs and the independent normative truths. And I suggest an evolutionary explanation as a way of solving it. (shrink)

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for (...) mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach the problem of moral disagreement. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge. (shrink)

This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.

Mark Balaguer argues for full blooded platonism (FBP), and argues that FBP alone can solve Benacerraf's familiar epistemic challenge. I note that if FBP really can solve Benacerraf's epistemic challenge, then FBP is not alone in its capacity so to solve; RFBP—really full blooded platonism—can do the trick just as well, where RFBP differs from FBP by allowing entities from inconsistent mathematics. I also argue briefly that there is positive reason for endorsing RFBP.

Mark Balaguer has written a provocative and original book. The book is as ambitious as a work of philosophy of mathematics could be. It defends both of the dominant views concerning the ontology of mathematics, Platonism and Anti-Platonism, and then closes with an argument that there is no fact of the matter which is right.

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He does this by establishing that both platonism and anti-platonism are defensible views. Introducing a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, he proceeds to defend anti-platonism (in particular, mathematical fictionalism) against various attacks, most notably the Quine-Putnam indispensability attack. He concludes by arguing that it is not simply that we do not currently have any good argument (...) for or against platonism, but that we could never have such an argument and, indeed, that there is no fact of the matter as to whether platonism is correct. (shrink)

This book does three main things. First, it defends mathematical platonism against the main objections to that view (most notably, the epistemological objection and the multiple-reductions objection). Second, it defends anti-platonism (in particular, fictionalism) against the main objections to that view (most notably, the Quine-Putnam indispensability objection and the objection from objectivity). Third, it argues that there is no fact of the matter whether abstract mathematical objects exist and, hence, no fact of the matter whether platonism or anti-platonism is true.

A response is given here to Benacerraf's 1973 argument that mathematical platonism is incompatible with a naturalistic epistemology. Unlike almost all previous platonist responses to Benacerraf, the response given here is positive rather than negative; that is, rather than trying to find a problem with Benacerraf's argument, I accept his challenge and meet it head on by constructing an epistemology of abstract (i.e., aspatial and atemporal) mathematical objects. Thus, I show that spatio-temporal creatures like ourselves can attain knowledge about mathematical (...) objects by simply explaininghow they can do this. My argument is based upon the adoption of a particular version of platonism — full-blooded platonism — which asserts that any mathematical object which possiblycould exist actuallydoes exist. (shrink)

Nozick analyzes fundamental issues, such as the identity of the self, knowledge and skepticism, free will, the foundations of ethics, and the meaning of life.