The field of numerical cognition provides a fairly clear picture of the processes through which we learn basic arithmetical facts. This scientific picture, however, is rarely taken as providing a response to a much‐debated philosophical question, namely, the question of how we obtain number knowledge, since numbers are usually thought to be abstract entities located outside of space and time. In this paper, I take the scientific evidence on how we learn arithmetic as providing a response to the philosophical question (...) of how we obtain number knowledge. I reject the view that numbers are abstract entities located outside of space and time and, alternatively, derive from the scientific evidence a novel account of the nature of numbers. In this account, numbers are reifications of the counting procedure and arithmetic statements are seen as describing the functioning of counting and calculation techniques. (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)

Contemporary philosophy’s three main naturalisms are methodological, ontological and epistemological. Methodological naturalism states that the only authoritative standards are those of science. Ontological and epistemological naturalism respectively state that all entities and all valid methods of inquiry are in some sense natural. In philosophy of mathematics of the past few decades methodological naturalism has received the lion’s share of the attention, so we concentrate on this. Ontological and epistemological naturalism in the philosophy of mathematics are discussed more briefly in section (...) 6. (shrink)

Lynne Baker’s case for the incompatibility of naturalism with the first-person perspective raises a range of questions about the relationship between naturalism and the various properties involved in first-person perspectives. After arguing that non-qualitative properties—most notably, haecceities like being Lynne Baker—are ineliminably tied to first-person perspectives, this paper considers whether naturalism and non-qualitative properties are, in fact, compatible. In doing so, the discussion focus on Shamik Dasupgta’s argument against individuals and, in turn, non-qualitative properties. Several strategies for undermining Dasgupta's argument (...) are considered, drawing on de re laws and haecceitistic possibilities. Finally, an analogy is drawn between naturalism and platonism regarding mathematical entities and naturalism's parallel commitment to individuals. I conclude that naturalists are obliged to posit non-qualitative properties. (shrink)

This paper discusses the nature of, problems for, and benefits delivered by fictionalist strategies in metaphysics.

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

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

The purpose of this note is to examine the relationship between the practice of mathematics and the philosophy of mathematics, ontology in particular. One conclusion is that the enterprises are (or should be) closely related, with neither one dominating the other. One cannot 'read off' the correct way to do mathematics from the true ontology, for example, nor can one ‘read off’ the true ontology from mathematics as practiced.

Argues against the rationality of self-concern. Non-instrumental interest in my own well-being is not justified by the fact that it is mine. This follows from the metaphysics of first-person thought, as thought about the object of immediate knowledge. The argument leaves room for rational self-interest as a form of self-love that is justified, like love for others, by the fact of our shared humanity.

Religious fictionalism is the theory that it is morally and intellectually legitimate to affirm religious sentences and to engage in public and private religious practices, without believing the content of religious claims. This article discusses the main features of fictionalism, contrasts hermeneutic, and revolutionary kinds of fictionalism and explores possible historical and recent examples of religious fictionalism. Such examples are found in recent theories of faith, pragmatic approaches to religion, and mystical traditions in religious theology.

According to a simple formulation of doxasticism about propositional faith, necessarily faith that p requires belief that p. Support of doxasticism is long-standing and was rarely a matter of dispute until William Alston (1996) proposed that that the content of propositional faith need not be believed if it is accepted. Subsequently non-doxastic theories that reject the belief requirement have proliferated and have come to dominate literature in the field. This paper aims to redress the balance by identifying a dilemma for (...) non-doxasticism that comes into view when we draw out the implications of non-doxasticism for the interpretation of affirmations of religious propositional faith. One horn of this dilemma commits non-doxasticists to hermeneutic fictionalism: a substantive, contentious and little explored theory about religious discourse. The other appears to render the affirmation of faith prima facie bullshitting, leading to problems about the integrity of religious discourse and its speakers. (shrink)

Expressive-Assertivism, a metaethical theory championed by Daniel Boisvert, is sometimes considered to be a particularly promising form of hybrid expressivism. One of the main virtues of Expressive-Assertivism is that it seems to offer a simple solution to the Frege-Geach problem. I argue, in contrast, that Expressive-Assertivism faces much the same challenges as pure expressivism.

Toni Rønnow-Rasmussen | : This paper explores a novel metaethical theory according to which value judgments express conditional beliefs held by those who make them. Each value judgment expresses the belief that something is the case on condition that something else is the case. The paper aims to reach a better understanding of this view and to highlight some of the challenges that lie ahead. The most pressing of these revolves around the correct understanding of the nature of the relevant (...) cognitive attitudes. It is suggested that the distinction between “dormant attitudes” and “occurrent attitudes” helps us to understand these conditional beliefs. | : Cet article explore une nouvelle théorie méta-éthique selon laquelle les jugements de valeur expriment les croyances conditionnelles des sujets qui les font. Chaque jugement de valeur exprimerait la croyance selon laquelle quelque chose est le cas à la condition que quelque chose d’autre le soit. L’objectif de cet article est de parvenir à une meilleure compréhension de ce point de vue et de souligner certaines de ses difficultés. La plus urgente d’entre elles concerne la compréhension adéquate de la nature des attitudes cognitives pertinentes. Nous suggérons que la distinction entre « attitudes dormantes » et « attitudes occurrentes » permettrait de mieux comprendre les croyances conditionnelles. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

Naturalism in the philosophy of mathematics is the view that philosophy cannot legitimately gainsay mathematics. I distinguish between reinterpretation and reconstruction naturalism: the former states that philosophy cannot legitimately sanction a reinterpretation of mathematics (i.e. an interpretation different from the standard one); the latter that philosophy cannot legitimately change standard mathematics (as opposed to its interpretation). I begin by showing that neither form of naturalism is self-refuting. I then focus on reinterpretation naturalism, which comes in two forms, and examine the (...) only available argument for it. I argue that this argument, the so-called Failure Argument, itself fails. My overall conclusion is that although there is no self-refutation argument against reinterpretation naturalism, there are as yet no good reasons to accept it. Naturalism in mathematics The consistency of mathematical naturalism The failure argument Objections to the failure argument Philosophy as the default. (shrink)

Fictionalists claim that instead of believing certain controversial propositions they accept them nonseriously, as useful make-believe. In this way they present themselves as having an austere ontology despite the apparent ontological commitments of their discourse. Some philosophers object that this plays on a distinction without a difference: the fictionalist’s would-be nonserious acceptance is the most we can do for the relevant content acceptance-wise, hence such acceptance is no different from what we ordinarily call ‘belief’ and should be so called. They (...) conclude that it is subject to the norms applicable to paradigmatic empirical beliefs, and hence, pace fictionalists, ontological commitments must be taken seriously. I disentangle three strands in the objector’s thought: the ‘What more can you ask for?’ intuition, a linguistic/ conceptual claim, and a claim about norms. I argue that the former two are compatible with ontological deflationism, and therefore do not entail applicability of the norms. Nevertheless, if indeed there is no more robust acceptance with which to contrast the supposed nonserious acceptance, then the fictionalist’s claim to austere ontology must be abandoned. Is there a reason to suppose there is any merit to the distinction-without-a-difference charge? I argue that there is, clarify it, and defend against objections, focusing on Daly 2008. (shrink)

The debate over whether we should believe that mathematical objects exist quickly leads to the question of how to determine what we should believe. Indispensabilists claim that we should believe in the existence of mathematical objects because of their ineliminable roles in scientific theory. Eleatics argue that only objects with causal properties exist. Mark Colyvan’s recent defenses of Quine’s indispensability argument against some contemporary eleatics attempt to provide reasons to favor the indispensabilist’s criterion. I show that Colyvan’s argument is not (...) decisive against the eleatic and sketch a way to capture the important intuitions behind both views. (shrink)

Hom and May (2015) argue that pejoratives mean negative prescriptive properties that externally depend on social ideologies, and that this entails a form of fictionalism: pejoratives have null extensions. There are relevant uses of fictional terms that are necessary to describe the content of fictions, and to make true statements about the world, that do not convey that speakers are committed to the fiction. This paper shows that the same constructions with pejoratives typically convey that the speaker is committed to (...) racist ideologies, in contrast with fictional discourse that typically does not. The disanalogy undermines the plausibility of fictionalism about pejoratives. Moreover, the exceptions—uncommitted uses in embedded constructions—display features that conflict with Hom and May's explanation of committed uses as conversational implicatures. (shrink)

Though many working mathematicians embrace a rough and ready form of Platonism, that venerable position has suffered a checkered philosophical career. Indeed the three schools of thought with which most of us began our official philosophizing about mathematics—Intuitionism, Formalism, and Logicism—all stand in fundamental disagreement with Platonism. Nevertheless, various versions of Platonistic thinking survive in contemporary philosophical circles. The aim of this paper is to describe these views, and, as my title suggests, to trace their roots.I'll begin with some preliminary (...) remarks about the big three schools. This seems a reasonable approach to the issues both because most observers are familiar, at least in a general way, with the tenets of Intuitionism, Formalism, and Logicism, and because it is in reaction to these that contemporary Platonism has taken shape. (shrink)

One cannot escape the feeling that these mathematical formulae have an independent existence and an intelligence of their own, that they are wiser than we are, wiser even than their discoverers.

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

When I was first studying Hegel I encountered quite divergent readings of his views on religion. The teacher who first presented Hegel to me was a Jesuit, Quentin Lauer at Fordham University, who read Hegel as a Christian theologian providing a better metaphysical system for understanding the doctrines of the Trinity and Incarnation. When I studied at Yale, Kenley Dove read Hegel as the first thoroughly atheistic philosopher, who presented the conditions of thought without reference to any foundational absolute being. (...) Meanwhile, also at Yale, John Findlay read us a deeply Neo-Platonic Hegel who taught about absolute forms held in a cosmic mind. In giving my own reading I want to talk about the ways Hegel redefines both metaphysics and religion. I would like to approach these issues by way of the medieval controversy over double truth, which was a previous conflict between religion and science. (shrink)

Instrumentalist nominalism responds to the indispensability arguments by rejecting the demand that successful mathematicized scientific theories be nominalized, and instead claiming merely that such theories are nominalistically adequate: the concreta behave ‘as if’ the theory is true. This article examines some definitions of the concept of nominalistic adequacy and concludes with some considerations against instrumentalist nominalism.

Many historians of the calculus deny significant continuity between infinitesimal calculus of the seventeenth century and twentieth century developments such as Robinson’s theory. Robinson’s hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, (...) Robinson regards Berkeley’s criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley’s criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz’s infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz’s defense of infinitesimals is more firmly grounded than Berkeley’s criticism thereof. We show, moreover, that Leibniz’s system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz’s strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity. (shrink)

We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind, and Weierstrass; to the reconstruction of Cauchy’s foundational work associated with the work of Boyer and Grabiner; and to Bishop’s constructivist reconstruction of classical analysis. We examine the effects of a nominalist disposition on historiography, teaching, and research.

In this paper I do three things. Firstly, I defend the view that in his most familiar arguments about morality and the theological postulates, the arguments which appeal to the epistemological doctrines of the first Critique, Kant is as much of a fictionalist as anybody not working explicitly with that conceptual apparatus could be: his notion of faith as subjectively and not objectively grounded is precisely what fictionalists are concerned with in their talk of nondoxastic attitudes. Secondly, I reconstruct a (...) logically distinct argument to a fictionalist conclusion which I argue Kant also gives us, this time an argument to the conclusion that it is a good thing if our commitment to the existence of God is nondoxastic. And finally, I argue that this argument is of continuing interest, to Kantians and non-Kantians alike, not only because it raises interesting questions about the relation of morality to belief in God (which go in the opposite direction to most discussions, which focus on whether and to what extent belief in God can be an aid to morality), but also because this ‘Moral Hazard Argument’ seems to be available to religious realists and non-realists alike, thus suggesting that religious fictionalism is not by any means just an interesting version of religious non-realism. (shrink)

Fictionalism has recently returned as a standard response to ontologically problematic domains. This article assesses moral fictionalism. It argues (i) that a correct understanding of the dialectical situation in contemporary metaethics shows that fictionalism is only an interesting new alternative if it can provide a new account of normative content: what is it that I am thinking or saying when I think or say that I ought to do something; and (ii) that fictionalism, qua fictionalism, does not provide us with (...) any new resources for providing such an account. (shrink)

For the sake of explaining the merits of a Leśniewski type nominalism, it should be made clear what is meant by „nominalism” and what the characteristics of this special type of nominalism are. To the first question we can find quite a lot of mutually inconsistent answers. Therefore I will just explain the distinction between two different nominalistic traditions which I hold to be fundamental. I think we should not just focus on the question which so-called abstract entities are rejected (...) but as well look for basic entities nominalists rely on. (shrink)

This paper explores strengths and limitations of both predicativism and nominalism, especially in connection with the problem of characterizing the continuum. Although the natural number structure can be recovered predicatively (despite appearances), no predicative system can characterize even the full predicative continuum which the classicist can recognize. It is shown, however, that the classical second-order theory of continua (third-order number theory) can be recovered nominalistically, by synthesizing mereology, plural quantification, and a modal-structured approach with essentially just the assumption that an (...) -sequence of concrete atoms be possible. Predicative flexible type theory may then be used to carry out virtually all of scientifically applicable mathematics in a natural way, still without ultimate need of the platonist ontology of classes and relations. (shrink)

Recent technical developments in the logic of nominalism make it possible to improve and extend significantly the approach to mathematics developed in Mathematics without Numbers. After reviewing the intuitive ideas behind structuralism in general, the modal-structuralist approach as potentially class-free is contrasted broadly with other leading approaches. The machinery of nominalistic ordered pairing (Burgess-Hazen-Lewis) and plural quantification (Boolos) can then be utilized to extend the core systems of modal-structural arithmetic and analysis respectively to full, classical, polyadic third- and fourthorder number (...) theory. The mathenatics of many structures of central importance in functional analysis, measure theory, and topology can be recovered within essentially these frameworks. (shrink)

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

In ontological debates, realists typically argue for their view via one of two approaches. The _Quinean approach_ employs naturalistic arguments that say our scientific practices give us reason to affirm the existence of a kind of entity. The _Fregean approach_ employs linguistic arguments that say we should affirm the existence of a kind of entity because our discourse contains reference to those entities. These two approaches are often seen as distinct, with _indispensability arguments_ typically associated with the former, but not (...) the latter, approach. This paper argues for a connection between the two approaches on the grounds that the typical arguments of the Fregean approach can be reformulated as indispensability arguments. This connection is significant in at least two ways. First, it implies that indispensability arguments provide a common framework within which to compare the Quinean and Fregean approaches, which allows for a more precise delineation of the two approaches. Second, it implies the possibility of analogical relations that allow proponents and opponents of each approach to draw upon the ideas that have been developed regarding the other. (shrink)

This paper is an attempt to convince anti-realists that their correct intuitions against the metaphysical inflationism derived from some versions of mathematical realism do not force them to embrace non-standard, epistemic approaches to truth and existence. It is also an attempt to convince mathematical realists that they do not need to implement their perfectly sound and judicious intuitions with the anti-intuitive developments that render full-blown mathematical realism into a view which even Gödel considered objectionable. I will argue for the following (...) two theses: that realism, in its standard characterization, is our default position, a position in agreement with our pre-theoretical intuitions and with the results of our best semantic theories, and that most of the metaphysical qualms usually related to it depends on a poor understanding of truth and existence as higher-order concepts. (shrink)

Peter van Inwagen has in recent decades made significant and influential contributions to metaphysics. In his Material Beings he advanced a novel ontology according to which chairs and other medium-sized dry goods don’t really exist. He went on to make important contributions to metaontology. Parts of his Ontology, Identity, and Modality and Existence: Essays in Ontology defend a broadly Quinean conception of existence questions and how to address them. I argue that the metaontology articulated in those later works is in (...) fact inconsistent with his defense of his ontology advanced in his earlier work. (shrink)

Two of Hilary Putnam's model-theoretic arguments against metaphysical realism are examined in detail. One of them is developed as an extension of a model-theoretic argument against mathematical realism based on considerations concerning the so-called Skolem-Paradox in set theory. This argument against mathematical realism is also treated explicitly. The article concentrates on the fine structure of the arguments because most commentators have concentrated on the major premisses of Putnam's argument and especially on his treatment of metaphysical realism. It is shown that (...) the validity of Putnam's arguments is doubtful and that realists are by no means forced to accept the theses Putnam ascribes to them. It is concluded that Putnam fails to give convincing arguments for rejecting mathematical or metaphysical realism. Furthermore, Putnam's internal realism is discussed critically. (shrink)

This essay is about how the notion of “structure” in ontic structuralism might be made precise. More specifically, my aim is to make precise the idea that the structure of the world is given by the relations inhering in the world, in such a way that the relations are ontologically prior to their relata. The central claim is the following: one can do so by giving due attention to the relationships that hold between those relations, by making use of certain (...) notions from algebraic logic. (shrink)

There is a recent and growing trend in philosophy that involves deferring to the claims of certain disciplines outside of philosophy, such as mathematics, the natural sciences, and linguistics. According to this trend— deferentialism , as we will call it—certain disciplines outside of philosophy make claims that have a decisive bearing on philosophical disputes, where those claims are more epistemically justified than any philosophical considerations just because those claims are made by those disciplines. Deferentialists believe that certain longstanding philosophical problems (...) can be swiftly and decisively dispatched by appeal to disciplines other than philosophy. In this paper we will argue that such an attitude of uncritical deference to any non-philosophical discipline is badly misguided. With reference to the work of John Burgess and David Lewis, we consider deference to mathematics. We show that deference to mathematics is implausible and that main arguments for it fail. With reference to the work of Michael Blome-Tillmann, we consider deference to linguistics. We show that his arguments appealing to deference to linguistics are unsuccessful. We then show that naturalism does not entail deferentialism and that naturalistic considerations even motivate some anti-deferentialist views. Finally, we set out deferentialism’s failings and present our own anti-deferentialist approach to philosophical inquiry. (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)

In this paper I examine Quine''s indispensability argument, with particular emphasis on what is meant by ''indispensable''. I show that confirmation theory plays a crucial role in answering this question and that once indispensability is understood in this light, Quine''s argument is seen to be a serious stumbling block for any scientific realist wishing to maintain an anti-realist position with regard to mathematical entities.

In the final chapter of their book A Subject With No Object, John Burgess and Gideon Rosen raise the question of the value of the nominalistic reconstructions of mathematics that have been put forward in recent years, asking specifically what this body of work is good for. The authors conclude that these reconstructions are all inferior to current versions of mathematics (or science) and make no advances in science. This paper investigates the reasoning that led to such a negative appraisal, (...) and it produces a rebuttal to this reasoning. I am grateful to the following mathematicians who were kind enough to provide me with their thoughts about nonstandard analysis: Martin Davis, Laura Chihara, Ted Chihara, Steve Galovich, Bonnie Gold, and especially Roger Simons, whose comments about an earlier version of this paper were very helpful. Thanks also go to two referees for their useful suggestions and criticisms of an earlier version of this paper. (shrink)

This paper addresses John Burgess's answer to the ‘Benacerraf Problem’: How could we come justifiably to believe anything implying that there are numbers, given that it does not make sense to ascribe location or causal powers to numbers? Burgess responds that we should look at how mathematicians come to accept: There are prime numbers greater than 1010 That, according to Burgess, is how one can come justifiably to believe something implying that there are numbers. This paper investigates what lies behind (...) Burgess's answer and ends up as a rebuttal to Burgess's reasoning. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)