This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

In a calculation involving imaginary numbers, we begin with real numbers that represent concrete measures and we end up with numbers that are equally real, but in the course of the operation we find ourselves walking “as if on a bridge that stands on no piles”. How is that possible? How does that work? And what is involved in the as-if stance that this metaphor introduces so beautifully? These are questions that bother Törless deeply. And that Törless is bothered by (...) such questions is a central question for any reader of Törless. Here I offer my interpretation, along with a reconstruction of the philosophical intuition that lies behind it all. (shrink)

A pretense theory of a given discourse is a theory that claims that we do not believe or assert the propositions expressed by the sentences we token (speak, write, and so on) when taking part in that discourse. Instead, according to pretense theory, we are speaking from within a pretense. According to pretense theories of mathematics, we engage with mathematics as we do a pretense. We do not use mathematical language to make claims that express propositions and, thus, we do (...) not use mathematical discourse to make claims that are either true or false. In this paper I make use of recent findings from cognitive neuroscience and developmental science to suggest that pretense theories of mathematics fail. 1 Introduction 2 The Autism Objection 2.1 Autism and pretense 2.2 Autistic engagement with mathematics 2.2.1 Cortical folding 2.2.2 The language of mathematics 3 The Onset of the Number Sense and the Recognition of Pretense 3.1 A difference in neurology 3.2 Young and no numbers 3.2.1 When and where is the difference? 3.2.2 Damaged HIPS without impairment to engagement with fiction 4 Concluding Remarks. (shrink)

It has been recently debated whether there exists a so-called “easy road” to nominalism. In this essay, I attempt to fill a lacuna in the debate by making a connection with the literature on infinite and infinitesimal idealization in science through an example from mathematical physics that has been largely ignored by philosophers. Specifically, by appealing to John Norton’s distinction between idealization and approximation, I argue that the phenomena of fractional quantum statistics bears negatively on Mary Leng’s proposed path to (...) easy road nominalism, thereby partially defending Mark Colyvan’s claim that there is no easy road to nominalism. (shrink)

We examine arguments for distinguishing between ontological and epistemological concepts of fundamentality, focusing in particular on the role that scale plays in these concepts. Using the fractional quantum Hall effect as a case study, we show that we can draw a distinction between ontologically fundamental and non-fundamental theories without insisting that it is only the fundamental theories that get the ontology right: there are cases where non-fundamental theories involve distinct ontologies that better characterize real systems than fundamental ones do. In (...) order to reconcile these distinct ontologies between fundamental and non-fundamental theories, we suggest that ontology must be understood as scale-dependent. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (shrink)

Mathematical realism asserts that mathematical objects exist in the abstract world, and that a mathematical sentence is true or false, depending on whether the abstract world is as the mathematical sentence says it is. I raise two objections against mathematical realism. First, the abstract world is queer in that it allows for contradictory states of affairs. Second, mathematical realism does not have a theoretical resource to explain why a sentence about a tricle is true or false. A tricle is an (...) object that changes its shape from a triangle to a circle, and then back to a triangle with every second. (shrink)

Callard (2007) argues that it is metaphysically possible that a mathematical object, although abstract, causally affects the brain. I raise the following objections. First, a successful defence of mathematical realism requires not merely the metaphysical possibility but rather the actuality that a mathematical object affects the brain. Second, mathematical realists need to confront a set of three pertinent issues: why a mathematical object does not affect other concrete objects and other mathematical objects, what counts as a mathematical object, and how (...) we can have knowledge about an unchanging object. (shrink)

The indispensability argument comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA (...) can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and genuine IA, and argue that no genuine sound IA is available or easily forthcoming. We then submit that this holds also in the particularly relevant case in which indispensability is conceived as explanatory indispensability. (shrink)

Many long-standing problems pertaining to contemporary philosophy of mathematics can be traced back to different approaches in determining the nature of mathematical entities which have been dominated by the debate between realists and nominalists. Through this discussion conceptualism is represented as a middle solution. However, it seems that until the 20th century there was no third position that would not necessitate any reliance on one of the two points of view. Fictionalism, on the other hand, observes mathematical entities in a (...) radically different way. This is reflected in the claim that the concepts being used in mathematics are nothing but a product of human fiction. This paper discusses the relationship between fictionalism and two traditional viewpoints within the discussion which attempts to successfully determine the ontological status of universals. One of the main points, demonstrated with concrete examples, is that fictionalism cannot be classified as a nominalist position. Since fictionalism is observed as an independent viewpoint, it is necessary to examine its range as well as the sustainability of the implications of opinions stated by their advocates. (shrink)

The standard argument for the existence of distinctively mathematical objects like numbers has two main premises: some mathematical claims are true, and the truth of those claims requires the existence of distinctively mathematical objects. Most nominalists deny. Those who deny typically reject Quine’s criterion of ontological commitment. I target a different assumption in a standard type of semantic argument for. Benacerraf’s semantic argument, for example, relies on the claim that two sentences, one about numbers and the other about cities, have (...) the same grammatical form. He makes this claim on the grounds that the two sentences are superficially similar. I argue that these grounds are not sufficient. Other sentences with the same superficial form appear to have different grammatical forms. I offer two plausible interpretations of Benacerraf’s number sentence that make use of plural quantification. These interpretations appear not to incur ontological commitments to distinctively mathematical objects, even assuming Quine’s criterion. Such interpretations open a new, plural strategy for the mathematical nominalist. (shrink)

There are two intuitions about time. The first is that there's something special about the present that objectively differentiates it from the past and the future. Call this intuition Specialness. The second is that the time at which we happen to live is just one among many other times, all of which are ‘on a par’ when it comes to their forming part of reality. Call this other intuition Egalitarianism. Tradition has it that the so-called ‘A-theories of time’ fare well (...) at addressing the first intuition, but rather badly when it comes to the second. The goal of this article is to offer advice to A-theorists about how to reconcile their view with Egalitarianism. (shrink)

The indispensability argument is sometimes seen as weakened by its reliance on a controversial premise of confirmation holism. Recently, some philosophers working on the indispensability argument have developed versions of the argument which, they claim, do not rely on holism. Some of these writers even claim to have strengthened the argument by eliminating the controversial premise. I argue that the apparent removal of holism leaves a lacuna in the argument. Without the holistic premise, or some other premise which facilitates the (...) transfer of evidence to mathematical portions of scientific theories, the argument is implausible. (shrink)

This paper considers Maddy’s strategy for naturalising mathematics in the context of Quine’s scientific naturalism. The aim of this proposal is to account for the acceptability of mathematics on scientific grounds without committing to revisionism about mathematical practice entailed by the Quine-Putnam indispensability argument. It has been argued that Maddy’s mathematical naturalism makes inconsistent assumptions on the role of mathematics in scientific explanations to the effect that it cannot distinguish mathematics from pseudo-science. I shall clarify Maddy’s arguments and show that (...) the objection can be overcome. I shall then reformulate a novel version of the objection and consider a possible answer, and I shall conclude that mathematical naturalism does not ultimately provide a viable strategy for accommodating an anti-revisionary stance on mathematics within a Quinean naturalist framework. (shrink)

The purpose of this article is to articulate the possibility of semantic non-doxastic agnostic religious faith. Robin Le Poidevin, who introduced the idea of semantic religious agnosticism, defines it as being agnostic about which parts of religion to treat in realist terms and which parts to treat in fictionalist terms. I take Le Poidevin’s view and argue that it is consistent with a non-doxastic attitude toward the object of faith such as acceptance. I then explore the similarities and differences between (...) my account and a prominent version of non-doxastic faith found in the work of Daniel Howard-Snyder. One advantage of my theory of faith is that it allows a person to be even more sceptical about religion than other versions of agnosticism while simultaneously avoiding some of the problems frequently associated with religious fictionalism. (shrink)

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response to the indispensability argument—a (...) liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

The ‘indispensability argument’ for the existence of mathematical objects appeals to the role mathematics plays in science. In a series of publications, Joseph Melia has offered a distinctive reply to the indispensability argument. The purpose of this paper is to clarify Melia’s response to the indispensability argument and to advise Melia and his critics on how best to carry forward the debate. We will begin by presenting Melia’s response and diagnosing some recent misunderstandings of it. Then we will discuss four (...) avenues for replying to Melia. We will argue that the three replies pursued in the literature so far are unpromising. We will then propose one new reply that is much more powerful, and—in the light of this—advise participants in the debate where to focus their energies. (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

What should a Quinean naturalist say about moral and mathematical truth? If Quine’s naturalism is understood as the view that we should look to natural science as the ultimate ‘arbiter of truth’, this leads rather quickly to what Huw Price has called ‘placement problems’ of placing moral and mathematical truth in an empirical scientific world-view. Against this understanding of the demands of naturalism, I argue that a proper understanding of the reasons Quine gives for privileging ‘natural science’ as authoritative when (...) it comes to questions of truth and existence also apply to other stable and considered elements of our inherited world-view, including, arguably, our firmly held mathematical and moral beliefs. If so, then the ‘thin’ mathematical and moral realisms of Penelope Maddy and T. M. Scanlon, respectively, are vindicated. We do not need to shoehorn mathematical and moral truths into the pushings and pullings of our empirical scientific world-view; for the busy sailor adrift on Neurath’s boat, mathematical and moral truths already have their place. (shrink)

ABSTRACT‘expressionist’ accounts of applied mathematics seek to avoid the apparent Platonistic commitments of our scientific theories by holding that we ought only to believe their mathematics-free nominalistic content. The notion of ‘nominalistic content’ is, however, notoriously slippery. Yablo's account of non-catastrophic presupposition failure offers a way of pinning down this notion. However, I argue, its reliance on possible worlds machinery begs key questions against Platonism. I propose instead that abstract expressionists follow Geoffrey Hellman's lead in taking the assertoric content of (...) empirical science to be irreducibly modal, using the ‘non-interference’ of mathematical objects as justification for detaching nominalistic consequences. (shrink)

Are there genuine mathematical explanations of physical phenomena, and if so, how can mathematical theories, which are typically thought to concern abstract mathematical objects, explain contingent empirical matters? The answer, I argue, is in seeing an important range of mathematical explanations as structural explanations, where structural explanations explain a phenomenon by showing it to have been an inevitable consequence of the structural features instantiated in the physical system under consideration. Such explanations are best cast as deductive arguments which, by virtue (...) of their form, establish that, given the mathematical structure instantiated in the physical system under consideration, the explanandum had to occur. Against the claims of platonists such as Alan Baker and Mark Colyvan, I argue that formulating mathematical explanations as structural explanations in this way shows that we can accept that mathematics can play an indispensable explanatory role in empirical science without committing to the existence of any abstract mathematical objects. (shrink)

This is a survey of contemporary work on ‘fictionalism in metaphysics’, a term that is taken to signify both the place of fictionalism as a distinctive anti‐realist metaphysics in which usefulness rather than truth is the norm of acceptance, and the fact that philosophers have given fictionalist treatments of a range of specifically metaphysical notions.

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.

A standard formalization of a scientific theory is a system of axioms for that theory in a first-order language (possibly many-sorted; possibly with the membership primitive $$\in$$ ). Suppes (in: Carvallo M (ed) Nature, cognition and system II. Kluwer, Dordrecht, 1992) expressed skepticism about whether there is a “simple or elegant method” for presenting mathematicized scientific theories in such a standard formalization, because they “assume a great deal of mathematics as part of their substructure”. The major difficulties amount to these. (...) First, as the theories of interest are mathematicized, one must specify the underlying applied mathematics base theory, which the physical axioms live on top of. Second, such theories are typically geometric, concerning quantities or trajectories in space/time: so, one must specify the underlying physical geometry. Third, the differential equations involved generally refer to coordinate representations of these physical quantities with respect to some implicit coordinate chart, not to the original quantities. These issues may be resolved. Once this is done, constructing standard formalizations is not so difficult—at least for the theories where the mathematics has been worked out rigorously. Here we give what may be claimed to be a simple and elegant means of doing that. This is for mathematicized scientific theories comprising differential equations for $$\mathbb{R}$$ -valued quantities Q (that is, scalar fields), defined on n (“spatial” or “temporal”) dimensions, taken to be isomorphic to the usual Euclidean space $$\mathbb{R}^n$$. For illustration, I give standard (in a sense, “text-book”) formalizations: for the simple harmonic oscillator equation in one-dimension and for the Laplace equation in two dimensions. (shrink)

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.

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)

The No-Miracles Argument has a natural representation as a probabilistic argument. As such, it commits the base-rate fallacy. In this article, I argue that a recent attempt to show that there is still a serviceable version that avoids the base-rate fallacy fails, and with it all realistic hope of resuscitating the argument.

In The Explanatory Dispensability of Idealizations, Sam Baron suggests a possible strategy enabling the indispensability argument to break the symmetry between mathematical claims and idealization assumptions in scientific models. Baron’s distinction between mathematical and non-mathematical idealization, I claim, is in need of a more compelling criterion, because in scientific models idealization assumptions are expressed through mathematical claims. In this paper I argue that this mutual dependence of idealization and mathematics cannot be read in terms of symmetry and that Baron’s non-causal (...) notion of mathematical difference-making is not effective in justifying any symmetry-breaking between mathematics and idealization. The function of making a difference that Baron attributes to mathematics cannot be referred to physical facts, but to the features of quantities, such as step lengths or time intervals taken into account in the models. It appears, indeed, that it does not follow from Baron’s argument that idealizations do not help to carry the explanatory load at least for two reasons: mathematics is not independent of idealizations in modelling and idealizations help mathematics to carry the explanatory load of a model in different degrees. (shrink)

ABSTRACTIn the target article ‘If-Thenism’, Stephen Yablo develops a novel form of if-thenism, that appeals to the notion of logical subtraction. In this commentary, I explore the limits of Yablo's proposed subtraction procedure, by leaning on an analogy with photographic subtraction. In particular, I will argue that there will be cases when there's nothing interesting left after the subtraction and, as a consequence, there are serious limits to the applicability of the subtraction procedure.

Hartry Field has shown us a way to be nominalists: we must purge our scientific theories of quantification over abstracta and we must prove the appropriate conservativeness results. This is not a path for the faint hearted. Indeed, the substantial technical difficulties facing Field's project have led some to explore other, easier options. Recently, Jody Azzouni, Joseph Melia, and Stephen Yablo have argued that it is a mistake to read our ontological commitments simply from what the quantifiers of our best (...) scientific theories range over. In this paper, I argue that all three arguments fail and they fail for much the same reason; would-be nominalists are thus left facing Field's hard road. (shrink)

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

This article takes as a starting point the current popular anti realist position, Fictionalism, with the intent to compare it with actual mathematical practice. Fictionalism claims that mathematical statements do purport to be about mathematical objects, and that mathematical statements are not true. Considering these claims in the light of mathematical practice leads to questions about how mathematical objects are handled, and how we prove that certain statements hold. Based on a case study on Riemann’s work on complex functions, I (...) propose that mathematicians deal with systems of representations and that truth—or what we can prove—depends on available representations in some context where the problem can be solved. (shrink)

Enhanced indispensability arguments claim that Scientific Realists are committed to the existence of mathematical entities due to their reliance on Inference to the best explanation. Our central question concerns this purported parity of reasoning: do people who defend the EIA make an appropriate use of the resources of Scientific Realism to achieve platonism? We argue that just because a variety of different inferential strategies can be employed by Scientific Realists does not mean that ontological conclusions concerning which things we should (...) be Scientific Realists about are arrived at by any inferential route which eschews causes, and nor is there any direct pressure for Scientific Realists to change their inferential methods. We suggest that in order to maintain inferential parity with Scientific Realism, proponents of EIA need to give details about how and in what way the presence of mathematical entities directly contribute to explanations. (shrink)

This paper examines the view of ethical language that Wittgenstein took in later years. It argues that according to this view, ethics falls into place as a part of our natural history, while every sense of the mystical or supernatural that once surrounded it is irrevocably lost. Moreover, Wittgenstein argues that ethical language does not correspond to reality “in the way” in which a physical theory does. I propose an interpretation of this claim that shows how it sets his view (...) apart from a “realist” theory of ethics. The reality of which he speaks is the reality of human life. (shrink)

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...) on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist. (shrink)

Easy-road mathematical fictionalists grant for the sake of argument that quantification over mathematical entities is indispensable to some of our best scientific theories and explanations. Even so they maintain we can accept those theories and explanations, without believing their mathematical components, provided we believe the concrete world is intrinsically as it needs to be for those components to be true. Those I refer to as “mathematical surrealists” by contrast appeal to facts about the intrinsic character of the concrete world, not (...) to explain why our best mathematically imbued scientific theories and explanations are acceptable in spite of having false components, but in order to replace those theories and explanations with parasitic, nominalistically acceptable alternatives. I argue that easy-road fictionalism is viable only if mathematical surrealism is and that the latter constitutes a superior nominalist strategy. Two advantages of mathematical surrealism are that it neither begs the question concerning the explanatory role of mathematics in science nor requires rejecting the cogency of inference to the best explanation. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense outlined by Hartry Field. (...) The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

What is it that makes a student's answer correct or incorrect in Religious Studies? In practice, the standards of correctness in the Religious Studies classroom are generally applied with relative ease by teachers and students. Nevertheless, they are problematic. We shall argue that correctness does not come from either the students or the teacher believing that what has been said is true. This raises the question: what is correctness, if it does not come down to truth? We propose, and examine, (...) three rival solutions, each of which, to an extent, rationalises a fairly natural response to the problem. The first, the elliptical approach, says that correct contributions have some tacit content: they are elliptical for true sentences about beliefs. The second, the imaginative approach, seeks to replace appeals to truth and belief with an appeal to imagination, treating Religious Studies as a ‘game of make-believe’ in which teachers and students imaginatively engage with certain worldviews. The third, the institutional approach, locates the root of correctness in the practices of the Religious Studies institution, which include making endorsements of some judgements and not others. We show that the first of our proposed approaches encounters a number of significant objections. We find the second of our proposed approaches to be better, but the third is the most attractive, providing a direct, intuitive and comprehensive route through the problem of correctness. (shrink)

Autobiographical memories typically give rise either to memory reports (“I remember going swimming”) or to first person past-tense judgements (“I went swimming”). This article focuses on first person past-tense judgements that are (epistemically) based on autobiographical memories. Some of these judgements have the IEM property of being immune to error through misidentification. This article offers an account of when and why first person past-tense judgements have the IEM property.

_ Source: _Page Count 12 In a previous article, I argued against the widespread reluctance of philosophers to treat skeptical challenges to our a priori knowledge of necessary truths with the same seriousness as skeptical challenges to our a posteriori knowledge of contingent truths. Hamid Vahid has recently offered several reasons for thinking the unequal treatment of these two kinds of skepticism is justified, one of which is a priori skepticism’s seeming dependence upon the widely scorned kk thesis. In the (...) present article, I defend a priori skepticism against Vahid’s criticisms. (shrink)