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)

It is traditionally held that our knowledge of necessity is a priori; but the familiar theories of a priori knowledge – platonism and conventionalism – have now been discredited, and replaced by either modal skepticism or a posteriori essentialism. The main thesis of this paper is that Kant's theory of a priori knowledge, when detached from his transcendental idealism, offers a genuine alternative to these unpalatable options. According to Kant's doctrine, all epistemic necessity is grounded directly or indirectly on our (...) capacity for clear and distinct rational intuition. Insight, in turn, depends upon functions of the imagination for creating “mental models” of necessary truths. This doctrine is well exemplified by Kant's account of our knowledge of simple analytic truths. (shrink)

The article argues that modal concepts should be explained in terms of the essences or nature of things: necessarily p if, and because, there is something the nature of which ensures that p; possibly p if, and because, there is nothing whose nature rules out its being true that p. The theory is defended against various objections and difficulties, including ones arising from attributing essences to contingent individuals.

This paper pursues two goals. Its first goal is to clear up the “identity problem” faced by the structuralist interpretation of mathematics. Its second goal, through the consideration of examples coming in particular from the theory of permutations, is to examine cases of misunderstandings in mathematics fit to cast some light on mathematical understanding in general. The common thread shared by these two goals is the notion of setting. The study of a mathematical object almost always goes together with the (...) choice of a particular setting, and the understanding of the workings of mathematical settings is an essential component of mathematical knowledge. It is claimed that the recognition of mathematical settings, as features distinct from both mathematical structures and the systems which instantiate those structures, allows one to classify most of understandable misunderstandings in mathematics, and also to solve the identity problem. (shrink)

According to Alberto Coffa in The Semantic Tradition from Kant to Carnap, Kant’s account of mathematical judgment is built on a ‘semantic swamp’. Kant’s primitive semantics led him to appeal to pure intuition in an attempt to explain mathematical necessity. The appeal to pure intuition was, on Coffa’s line, a blunder from which philosophy was forced to spend the next 150 years trying to recover. This dismal assessment of Kant’s contributions to the evolution of accounts of mathematical necessity is fundamentally (...) backward-looking. Coffa’s account of how semantic theories of the a priori evolved out of Kant’s doctrine of pure intuition rightly emphasizes those developments, both scientific and philosophical, that collectively served to undermine the plausibility of Kant’s account. What is missing from Coffa’s story, apart from any recognition of Kant’s semantic innovations, is an attempt to appreciate Kant’s philosophical context and the distinctive perspective from which Kant viewed issues in the philosophy of mathematics. When Kant’s perspective and context are brought out, he can not only be seen to have made a genuinely progressive contribution to the development of accounts of mathematical necessity, but also to be relevant to contemporary issues in the philosophy of mathematics in underappreciated ways. (shrink)

According to Alberto Coffa in The Semantic Tradition from Kant to Carnap, Kant’s account of mathematical judgment is built on a ‘semantic swamp’. Kant’s primitive semantics led him to appeal to pure intuition in an attempt to explain mathematical necessity. The appeal to pure intuition was, on Coffa’s line, a blunder from which philosophy was forced to spend the next 150 years trying to recover. This dismal assessment of Kant’s contributions to the evolution of accounts of mathematical necessity is fundamentally (...) backward-looking. Coffa’s account of how semantic theories of the a priori evolved out of Kant’s doctrine of pure intuition rightly emphasizes those developments, both scientific and philosophical, that collectively served to undermine the plausibility of Kant’s account. What is missing from Coffa’s story, apart from any recognition of Kant’s semantic innovations, is an attempt to appreciate Kant’s philosophical context and the distinctive perspective from which Kant viewed issues in the philosophy of mathematics. When Kant’s perspective and context are brought out, he can not only be seen to have made a genuinely progressive contribution to the development of accounts of mathematical necessity, but also to be relevant to contemporary issues in the philosophy of mathematics in underappreciated ways. (shrink)

Epistemology has recently witnessed a number of efforts to rehabilitate rationalism, to defend the existence and importance of a priori knowledge or warrant construed as the product of rational insight or apprehension (Bealer 1987; Bigelow 1992; BonJour 1992, 1998; Burge 1998; Butchvarov 1970; Katz 1998; Plantinga 1993). This effort has sometimes been coupled with an attack on naturalistic epistemology, especially in BonJour 1994 and Katz 1998. Such coupling is not surprising, because naturalistic epistemology is often associated with thoroughgoing empiricism and (...) the rejection of the a priori. In this paper, however, I shall present a conception of naturalistic epistemology that is entirely compatible with a priori justification or knowledge. The resulting conception, I claim, gives us a better appreciation of the respective merits of the rational and the empirical, as well as a better understanding of how moderate epistemological naturalism comports, at least in principle, with moderate rationalism. This paper defends moderate rationalism; but it does not defend everything rationalists have often wanted, only what it is reasonable to grant them. (shrink)

Conventionalism about logic is the view that logical principles hold in virtue of some linguistic conventions. According to explicit conventionalism, these conventions have to be stipulated explicitly. Explicit conventionalism is subject to a famous criticism by Quine, who accused it of leading to an infinite regress. In response to the criticism, several authors have suggested reconstructing conventionalism as implicit in our linguistic behaviour. In this paper, drawing on a distinction from proof theory between derivable and admissible rules, I argue that (...) implicit conventionalism has not been stated in a sufficiently precise way, as it leaves open what one needs to say about admissible yet underivable rules. Moreover, it turns out that this challenge cannot be easily met, and that any attempt to meet the challenge makes conventionalism much less attractive a thesis. (shrink)

Abstract Robert Hanna has recently advanced a theory of non-conceptual content, the central claim of which is that "it is perfectly possible for there to be directly referential intuitions without concepts". Hanna bases this claim in Kant's account of intuition in the Critique of Pure Reason, and so extends his Kantian non-conceptualism beyond the epistemology of empirical knowledge into the realm of mathematics. Thus, Hanna has proposed a Kantian non-conceptualist solution to a well-known dilemma set out by Paul Benacerraf in (...) his 1973 paper, "Mathematical Truth". I argue that Hanna is right about Kant's non-conceptualism, but mistaken in its application to Benacerraf's Dilemma. (shrink)

From 1905–1908 onward, Russell thought that his new ‘substitutional theory’ provided him with the right framework to resolve the set-theoretic paradoxes. Even if he did not finally retain this resolution, the substitutional strategy was instrumental in the development of his thought. The aim of this paper is not historical, however. It is to show that Russell's substitutional insight can shed new light on current issues in philosophy of mathematics. After having briefly expounded Russell's key notion of a ‘structured variable’, I (...) connect it to two ongoing discussions: the Caesar problem, and absolute generality. (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)

According to a very common view, the main tenet of empiricism is the conviction that all human knowledge derives from sensory experience. But classic philosophers representing empiricism hold that mathematical knowledge is a priori. Mill intended to demonstrate that the laws of arithmetic and geometry have inductive origins. But Frege and others authors showed that Mill’s arguments were wrong. Benacerraf held that, since mathematical objects are abstract entities, they could not have any causal relationship with human beings, so they cannot (...) be known by us. On the other hand, biology and psychology show that in animals and human creatures we can find innate behaviours, in accordance with the theory on natural selection. Experiments performed by Wynn and by other psychologists strongly support that very young babies can determine the results of simple arithmetical operations without any previous learning. We conclude that there are convincing reasons to accept the rationalist thesis about the a priori character of mathematical knowledge. (shrink)

Many philosophers think all abstract objects are causally inert. Here, focusing on novels, I argue that some abstracta are causally efficacious. First, I defend a straightforward argument for this view. Second, I outline an account of object causation—an account of how objects cause effects. This account further supports the view that some abstracta are causally efficacious.

Although there is a consensus among philosophers of mathematics and mathematicians that mathematical explanations exist, only a few authors have proposed accounts of explanation in mathematics. These accounts fit into the unificationist or top-down approach to explanation. We argue that these models can be complemented by a bottom-up approach to explanation in mathematics. We introduce the mechanistic model of explanation in science and discuss the possibility of using this model in mathematics, arguing that using it does not presuppose a Platonist (...) view of mathematics and allows one to gain insight into why a theorem is true by answering what-if-things-had-been-different questions. (shrink)

La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...) le développement systématique d’un lien qui articule approches logiques, philosophiques et littéraires de la fiction devait attendre les travaux de John Woods publiés en 1974 dans son livre The Logic of Fiction : A Philosophical Sounding of Deviant Logic. Un des enjeux les plus excitants du livre de Woods se situe au niveau de l’interaction entre les points de vue internalistes ou interne-à-l’histoire (principalement pragmatiques) et les points de vue externalistes ou externe-à-la-fiction (principalement sémantiques). Sur ce point, Woods fut le premier à formuler une sémantique pour l’opérateur de fiction à lire comme « selon l’histoire… » en relation à la notion logique de portée, ce qui permettait l’étude de l’internalisme et de l’externalisme. Suite au livre de Woods, loin de s’essouffler, les débats trouvaient une nouvelle impulsion. Le fait pertinent pour notre article est que la tradition phénoménologique également, l’étude de la fiction a joué un rôle central. En effet, l’une des problématiques les plus sujettes à controverses dans l’intentionnalité est celle de l’indépendance à l’existence, c’est-à-dire le fait que les actes intentionnels n’ont pas besoin d’être forcément dirigés vers un objet existant. Influencée par les travaux de Roman Ingarden (1893-1970), l’un des plus importants disciples de Husserl, Amie L. Thomasson développe le concept phénoménologique de dépendance ontologique en vue d’expliquer les processus de références inter- et transfictionnels – dans le contexte de l’interprétation littéraire par exemple. L’enjeu essentiel de cet article est de proposer une reconstruction multimodale bi-dimensionnelle de la théorie des personnages fictionnels de Ingarden-Thomasson. Cette théorie qui entend prendre au sérieux le fait que les fictions sont des créations montre la voie pour une articulation entre les approches internalistes et externalistes. Nous motivons certains changements quant à l’approche artéfactuelle - incluant une sémantique appropriée pour l’opérateur de fictionalité qui, nous l’espérons, éveillera l’intérêt des théoriciens de la littérature. L’article est à d’autres égards un panorama de la façon dont différents concepts d’intentionnalité pourraient fonder différentes sémantiques formelles pour la fictionalité. Nous proposerons enfin un cadre dialogique qui est une extension modale d’un certain système de preuve développé par Matthieu Fontaine et Juan Redmond. Le cadre dialogique développe la contrepartie inférentielle de la sémantique bi-dimensionnelle introduite par Shahid Rahman et Tero Tulenheimo dans un article récent. (shrink)

There are two distinct but interrelated questions concerning Aristotle’s account of infinity that have been the subject of recurring debate. The first of these, what I call here the interpretative question, asks for a charitable and internally coherent interpretation of the limited pieces of text where Aristotle outlines his view of the ‘potential’ (and not ‘actual’) infinite. The second, what I call here the philosophical question, asks whether there is a way to make Aristotle’s notion of the potential infinite coherent (...) and rigorous with modern tools that can stand as a rival to the widely-accepted view of the infinite as characterized in a mathematical theory of sets. In this paper, I argue that the theoretical roles that Aristotle intends his account of the potential infinite to fulfill lead to a deep and irresoluble tension that can help explain the persistence of debates on both of these questions. I do so by turning to the places where Aristotle attempts to argue for or against the existence of particular infinite processes to show that he slides between different underlying notions of when changes are possible. Making these underlying notions clear can help us better understand the role of Aristotle’s account in the history of philosophy, the possible pitfalls for a contemporary theory of the potential infinite, and what each of these debates might learn from each other. (shrink)

The paper outlines a view of normativity that combines elements of relativism and expressivism, and applies it to normative concepts in epistemology. The result is a kind of epistemological anti-realism, which denies that epistemic norms can be (in any straightforward sense) correct or incorrect; it does allow some to be better than others, but takes this to be goal-relative and is skeptical of the existence of best norms. It discusses the circularity that arises from the fact that we need to (...) use epistemic norms to gather the facts with which to evaluate epistemic norms; relatedly, it discusses how epistemic norms can rationally evolve. It concludes with some discussion of the impact of this view on "ground level" epistemology. (shrink)

ABSTRACTEcumenical Alethic Pluralism is a novel kind of alethic pluralism. It is ecumenical in that it widens the scope of alethic pluralism by allowing for a normatively deflated truth property alongside a variety of normatively robust truth properties. We establish EAP by showing how Wright’s Inflationary Arguments fail in the domain of taste, once a relativist treatment of the metaphysics and epistemology of that domain is endorsed. EAP is highly significant to current debates on the nature of truth insofar as (...) it involves a reconfiguration of the dialectic between deflationists and pluralists. (shrink)

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract mathematical (...) entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

Moral disagreement is widely held to pose a threat for metaethical realism and objectivity. In this paper I attempt to understand how it is that moral disagreement is supposed to present a problem for metaethical realism. I do this by going through several distinct (though often related) arguments from disagreement, carefully distinguishing between them, and critically evaluating their merits. My conclusions are rather skeptical: Some of the arguments I discuss fail rather clearly. Others supply with a challenge to realism, but (...) not one we have any reason to believe realism cannot address successfully. Others beg the question against the moral realist, and yet others raise serious objections to realism, but ones that—when carefully stated—can be seen not to be essentially related to moral disagreement. Arguments based on moral disagreement itself have almost no weight, I conclude, against moral realism. (shrink)

Kant’s theory of arithmetic is not only a central element in his theoretical philosophy but also an important contribution to the philosophy of arithmetic as such. However, modern mathematics, especially non-Euclidean geometry, has placed much pressure on Kant’s theory of mathematics. But objections against his theory of geometry do not necessarily correspond to arguments against his theory of arithmetic and algebra. The goal of this article is to show that at least some important details in Kant’s theory of arithmetic can (...) be picked up, improved by reconstruction and defended under a contemporary perspective: the theory of numbers as products of rule following construction presupposing successive synthesis in time and the theory of arithmetic equations, sentences or “formulas”—as Kant says—as synthetic a priori. In order to do so, two calculi in terms of modern mathematics are introduced which formalise Kant’s theory of addition as a form of synthetic operation. (shrink)

Kant's theory of arithmetic is not only a central element in his theoretical philosophy but also an important contribution to the philosophy of arithmetic as such. However, modern mathematics, especially non-Euclidean geometry, has placed much pressure on Kant's theory of mathematics. But objections against his theory of geometry do not necessarily correspond to arguments against his theory of arithmetic and algebra. The goal of this article is to show that at least some important details in Kant's theory of arithmetic can (...) be picked up, improved by reconstruction and defended under a contemporary perspective: the theory of numbers as products of rule following construction presupposing successive synthesis in time and the theory of arithmetic equations, sentences or "formulas"—as Kant says—as synthetic a priori. In order to do so, two calculi in terms of modern mathematics are introduced which formalise Kant's theory of addition as a form of synthetic operation. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

Neo-Fregeanism in the philosophy of mathematics consists of two main parts: the logicist thesis, that mathematics (or at least branches thereof, like arithmetic) all but reduce to logic, and the platonist thesis, that there are abstract, mathematical objects. I will here focus on the ontological thesis, platonism. Neo-Fregeanism has been widely discussed in recent years. Mostly the discussion has focused on issues specific to mathematics. I will here single out for special attention the view on ontology which underlies the neo-Fregeans’ (...) claims about mathematical objects, and discuss this view in a broader setting. (shrink)

A central element in neo-Fregean philosophy of mathematics is the focus on abstraction principles, and the use of abstraction principles to ground various areas of mathematics. But as is well known, not all abstraction principles are in good standing. Various proposals for singling out the acceptable abstraction principles have been presented. Here I investigate what philosophical underpinnings can be provided for these proposals; specifically, underpinnings that fit the neo-Fregean's general outlook. Among the philosophical ideas I consider are: general views on (...) a priori justification; the idea of abstraction as reconceptualization, the idea that truth is prior to reference in the sense associated with Frege's context principle; and various broadly relativistic views. The conclusions are by and large negative. (shrink)

There is an ever-growing literature on what exactly the condition or criterion is that enables some (but not all) debunking arguments to undermine our beliefs. In this paper, I develop a novel schema for debunking argumentation, arguing that debunking arguments generally have a simple and valid form, but that whether or not they are sound depends on the particular aetiological explanation which the debunker provides in order to motivate acceptance of the individual premises. The schema has three unique features: (1) (...) it satisfies important desiderata for what any acceptable account of debunking would have to look like; (2) it is consistent with the inductively supported claim that there is no special debunking principle; and (3) it coheres with the plausible claim that what makes debunking arguments unique is that they rely on so-called genealogies for the justification of their premises. (shrink)

I argue that to the extent to which philosophical theories of objective probability have offered theoretically adequateconceptions of objective probability (in connection with such desiderata as causal and explanatory significance, applicability to single cases, etc.), they have failed to satisfy amethodological standard — roughly, a requirement to the effect that the conception offered be specified with the precision appropriate for a physical interpretation of an abstract formal calculus and be fully explicated in terms of concepts, objects or phenomena understood independently (...) of the idea of physical probability. The significance of this, and of the suggested methodological standard, is then briefly discussed. (shrink)

I argue that to the extent to which philosophical theories of objective probability have offered theoretically adequate conceptions of objective probability , they have failed to satisfy a methodological standard -- roughly, a requirement to the effect that the conception offered be specified with the precision appropriate for a physical interpretation of an abstract formal calculus and be fully explicated in terms of concepts, objects or phenomena understood independently of the idea of physical probability. The significance of this, and of (...) the suggested methodological standard, is then briefly discussed. (shrink)

Objects appear to fall into different sorts, each with their own criteria for identity. This raises the question of whether sorts overlap. Abstractionists about numbers—those who think natural numbers are objects characterized by abstraction principles—face an acute version of this problem. Many abstraction principles appear to characterize the natural numbers. If each abstraction principle determines its own sort, then there is no single subject-matter of arithmetic—there are too many numbers. That is, unless objects can belong to more than one sort. (...) But if there are multi-sorted objects, there should be cross-sortal identity principles for identifying objects across sorts. The going cross-sortal identity principle, ECIA2 of Cook and Ebert (2005), solves the problem of too many numbers. But, I argue, it does so at a high cost. I therefore propose a novel cross-sortal identity principle, based on embeddings of the induced models of abstracts developed by Walsh (2012). The new criterion matches ECIA2’s success, but offers interestingly different answers to the more controversial identifications made by ECIA2. (shrink)

To answer the question of whether mathematics needs new axioms, it seems necessary to say what role axioms actually play in mathematics. A first guess is that they are inherently obvious statements that are used to guarantee the truth of theorems proved from them. However, this may neither be possible nor necessary, and it doesn’t seem to fit the historical facts. Instead, I argue that the role of axioms is to systematize uncontroversial facts that mathematicians can accept from a wide (...) variety of philosophical positions. Once the axioms are generally accepted, mathematicians can expend their energies on proving theorems instead of arguing philosophy. Given this account of the role of axioms, I give four criteria that axioms must meet in order to be accepted. Penelope Maddy has proposed a similar view in Naturalism in Mathematics, but she suggests that the philosophical questions bracketed by adopting the axioms can in fact be ignored forever. I contend that these philosophical arguments are in fact important, and should ideally be resolved at some point, but I concede that their resolution is unlikely to affect the ordinary practice of mathematics. However, they may have effects in the margins of mathematics, including with regards to the controversial “large cardinal axioms” Maddy would like to support. (shrink)

In a series of papers, Don Fallis points out that although mathematicians are generally unwilling to accept merely probabilistic proofs, they do accept proofs that are incomplete, long and complicated, or partly carried out by computers. He argues that there are no epistemic grounds on which probabilistic proofs can be rejected while these other proofs are accepted. I defend the practice by presenting a property I call ‘transferability’, which probabilistic proofs lack and acceptable proofs have. I also consider what this (...) says about the similarities between mathematics and, on the one hand natural sciences, and on the other hand philosophy. (shrink)

It is often remarked that first-order Peano Arithmetic is non-categorical but deductively well-behaved, while second-order Peano Arithmetic is categorical but deductively ill-behaved. This suggests that, when it comes to axiomatizations of mathematical theories, expressive power and deductive power may be orthogonal, mutually exclusive desiderata. In this paper, I turn to Hintikka’s :69–90, 1989) distinction between descriptive and deductive approaches in the foundations of mathematics to discuss the implications of this observation for the first-order logic versus second-order logic divide. The descriptive (...) approach is illustrated by Dedekind’s ‘discovery’ of the need for second-order concepts to ensure categoricity in his axiomatization of arithmetic; the deductive approach is illustrated by Frege’s Begriffsschrift project. I argue that, rather than suggesting that any use of logic in the foundations of mathematics is doomed to failure given the impossibility of combining the descriptive approach with the deductive approach, what this apparent predicament in fact indicates is that the first-order versus second-order divide may be too crude to investigate what an adequate axiomatization of arithmetic should look like. I also conclude that, insofar as there are different, equally legitimate projects one may engage in when working on the foundations of mathematics, there is no such thing as the One True Logic for this purpose; different logical systems may be adequate for different projects. (shrink)

One major difficulty confronting attempts to clarify the epistemological and ontological status of abstract objects is determining the sense, if any, in which such entities may be characterised as mind and language independent. Our contention is that the tolerant reductionist position of Michael Dummett can be strengthened by drawing on Husserl's mature account of the constitution of ideal objects and mathematical objectivity. According to the Husserlian position we advocate, abstract singular terms pick out weakly mind-independent sedimented meaning-contents. These meaning-contents serve (...) as the ‘thin’ referents of abstract singular terms, but are ultimately founded in prior acts of meaning-constitution. (shrink)

I critically examine an evolutionary debunking argument against moral realism. The key premise of the argument is that there is no adequate explanation of our moral reliability. I search for the strongest version of the argument; this involves exploring how ‘adequate explanation’ could be understood such that the key premise comes out true. Finally, I give a reductio: in the sense in which there is no adequate explanation of our moral reliability, there is equally no adequate explanation of our inductive (...) reliability. Thus, the argument that would debunk our moral views would also, absurdly, debunk all inductive reasoning. (shrink)

One of the most influential arguments for realism about mathematical objects is the indispensability argument. Simply put, this is the argument that insofar as we are committed to the existence of the physical objects existentially quantified over in our best scientific theories, we are also committed to the mathematical objects existentially quantified over in these theories. Following the Quine–Putnam formulation of the indispensability argument, some proponents of the indispensability argument have made the mistake of taking confirmational holism to be an (...) essential premise of the argument. In this paper, I consider the reasons philosophers have taken confirmational holism to be essential to the argument and argue that, contrary to the traditional view, confirmational holism is dispensable. (shrink)

In this paper, I explore Rosen’s ‘transcendental’ objection to constructive empiricism—the argument that in order to be a constructive empiricist, one must be ontologically committed to just the sort of abstract, mathematical objects constructive empiricism seems committed to denying. In particular, I assess Bueno’s ‘partial structures’ response to Rosen, and argue that such a strategy cannot succeed, on the grounds that it cannot provide an adequate metalogic for our scientific discourse. I conclude by arguing that this result provides some interesting (...) consequences in general for anti-realist programmes in the philosophy of science.Keywords: Constructive empiricism; Mathematical fictionalism; Partial structures; Modality. (shrink)

According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then (...) propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices. (shrink)

Deductivism says that a mathematical sentence s should be understood as expressing the claim that s deductively follows from appropriate axioms. For instance, deductivists might construe “2+2=4” as “the sentence ‘2+2=4’ deductively follows from the axioms of arithmetic”. Deductivism promises a number of benefits. It captures the fairly common idea that mathematics is about “what can be deduced from the axioms”; it avoids an ontology of abstract mathematical objects; and it maintains that our access to mathematical truths requires nothing beyond (...) our ability to make logical deductions. Sections 1 and 2 define and motivate deductivism in more detail. Section 3 covers four authors (Russell, Hilbert, Pasch, Curry) who have endorsed deductivism at some point. Section 4 aims to clarify what semantic claim deductivists make. Sections 5–9 review objections to deductivism and possible replies. (shrink)

Non-naturalism is the view that normative properties are response-independent, irreducible to natural properties, and causally inefficacious. An underexplored question for non-naturalism concerns the metasemantics of normative terms. Ideally, the non-naturalist could remain ecumenical, but it appears they cannot. Call this challenge the metasemantic challenge. This chapter suggests that non-naturalists endorse an epistemic account of reference determination of the sort recently defended by Imogen Dickie, with some modifications. An important implication of this account is that, if correct, a fully fleshed out (...) moral epistemology will simultaneously rebut metasemantic objections to non-naturalism. Thus, both the metasemantic and the more widely discussed epistemological challenges in effect amount to one. Before setting out the positive view, the chapter considers why all of the traditional metasemantic theories cause trouble for the non-naturalist. This includes discussions of teleosemantics, conceptual role semantics, as well as Schroeter and Schroeter’s “connectedness” model. (shrink)

Moral debunking arguments are meant to show that, by realist lights, moral beliefs are not explained by moral facts, which in turn is meant to show that they lack some significant counterfactual connection to the moral facts (e.g., safety, sensitivity, reliability). The dominant, “minimalist” response to the arguments—sometimes defended under the heading of “third-factors” or “pre-established harmonies”—involves affirming that moral beliefs enjoy the relevant counterfactual connection while granting that these beliefs are not explained by the moral facts. We show that (...) the minimalist gambit rests on a controversial thesis about epistemic priority: that explanatory concessions derive their epistemic import from what they reveal about counterfactual connections. We then challenge this epistemic priority thesis, which undermines the minimalist response to debunking arguments (in ethics and elsewhere). (shrink)