Recent debates about mathematical ontology are guided by the view that Platonism's prospects depend on mathematics' explanatory role in science. If mathematics plays an explanatory role, and in the right kind of way, this carries ontological commitment to mathematical objects. Conversely, the assumption goes, if mathematics merely plays a representational role then our world-oriented uses of mathematics fail to commit us to mathematical objects. I argue that it is a mistake to think that mathematical representation is necessarily ontologically innocent and (...) that there is an argument from mathematics' representational capacity to Platonism. Given that it is common ground between the Platonist and nominalist that mathematics plays a representational role in science, this representationalist argument is to be preferred over the explanatory, or enhanced, indispensability argument. (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)

Meinongians in general, and Routley in particular, subscribe to the principle of the independence of Sosein from Sein. In this paper, I put forward an interpretation of the independence principle that philosophers working outside the Meinongian tradition can accept. Drawing on recent work by Stephen Yablo and others on the notion of subject matter, I offer a new account of the notion of Sosein as a subject matter and argue that in some cases Sosein might be independent from Sein. The (...) question whether numbers exist, for instance, is not part of the question of how numbers are, which is the topic mathematicians are interested in. (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)

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)

State of the art paper on the topic realism/anti-realism. The first part of the paper elucidates the notions of existence and independence of the metaphysical characterization of the realism/anti-realism dispute. The second part of the paper presents a critical taxonomy of the most important positions and doctrines in the contemporary literature on the domains of science and mathematics: scientific realism, scientific anti-realism, constructive empiricism, structural realism, mathematical Platonism, mathematical indispensability, mathematical empiricism, intuitionism, mathematical fictionalism and second philosophy.

In this entry I will offer a survey of the contemporary debate on fic- tionalism, which is a distinctive anti-realist view about certain regions of discourse that are valued for their usefulness rather than their truth.

There are lots of arguments for, or justifications of, mathematical theorems that make use of principles from physics. Do any of these constitute explanations? On the one hand, physical principles do not seem like they should be explanatorily relevant; on the other, some particular examples of physical justifications do look explanatory. In this article, I defend the idea that physical justifications can and do explain mathematical facts. 1 Physical Arguments for Mathematical Truths2 Preview3 Mathematical Facts4 Purity5 Doubts about Purity: I6 (...) Doubts about Purity: II7 How Physical Arguments Might Explain: I8 How Physical Arguments Might Explain: II9 Conclusion. (shrink)

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)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

I sketch here an intuitive picture of repeatable artworks as created types, which are individuated in part by historical paths (re)production. Although attractive, this view has been rejected by a number of authors on the basis of general claims about abstract objects. On consideration, however, these general claims are overgeneralizations, which whilst true of some abstracta, are not true of all abstract objects, and in particular, are not true of created types. The intuitive picture of repeatable artworks as created types (...) is, then, left in place. (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)

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

Burgess and Rosen argue that Yablo’s figuralist account of mathematics fails because it says mathematical claims are really only metaphorical. They suggest Yablo’s view is implausible as an account of what mathematicians say and confused about literal language. I show their argument isn’t decisive, briefly exploring some questions in the philosophy of language it raises, and argue Yablo’s view may be amended to a kind of revolutionary fictionalism not refuted by Burgess and Rosen.

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)

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)

Truth is standardly considered a requirement on epistemic acceptability. But science and philosophy deploy models, idealizations and thought experiments that prescind from truth to achieve other cognitive ends. I argue that such felicitous falsehoods function as cognitively useful fictions. They are cognitively useful because they exemplify and afford epistemic access to features they share with the relevant facts. They are falsehoods in that they diverge from the facts. Nonetheless, they are true enough to serve their epistemic purposes. Theories that contain (...) them have testable consequences, hence are factually defeasible. (shrink)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice (...) on which lines of discussion promise to be the most fruitful. (shrink)

It is widely believed that mathematics carries a substantial part of the explanatory burden in science. However, mathematics can also play important heuristic roles of a different kind, being a source of new ideas and approaches, allowing us to build toy models, enhancing expressive power and providing fruitful conceptualizations. In this paper, we focus on the application of dynamical systems theory (DST) within the extended cognition (EC) field of cognitive science, considering this case study to be a good illustration of (...) a general phenomenon. In the paper, we justify both a negative and a positive claim. The negative claim is that dynamical systems theory hardly plays any explanatory role in EC research. We justify our claim by analyzing several accounts of the explanatory role of mathematics and stressing the way mathematical arguments are used in explanations. Our positive claim is that even though, for now, DST has no explanatory power in many of the EC approaches, it still plays an important heuristic role there. In particular, using mathematical notions improves the expressive power of the language and gives a sense of understanding of the phenomena under investigation. The case study of EC allows us to identify and analyze this important role of mathematics, which seems to be neglected in contemporary discussions. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to the (...) finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)

This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...) it difficult to understand how we can have knowledge of them and how they can have any relevance for our mathematical theories. I begin by characterizing a realist position in the philosophy of mathematics and discussing two of the most influential arguments for that kind of view. Next, after highlighting some of the difficulties that realism faces, I look at a few alternative approaches that attempt to account for our mathematical practice without making the assumption that there exist abstract mathematical entities. More specifically, I examine the fictionalist views developed by Hartry Field, Mark Balaguer, and Stephen Yablo, respectively. A common feature of these views is that they accept that mathematics interpreted at face value is committed to the existence of abstract objects. In order to avoid this commitment, they claim that mathematics, when taken at face value, is false. I argue that the fictionalist idea of mathematics as consisting of falsehoods is counter-intuitive and that we should aim for an account that can accommodate both the intuition that mathematics is true and the intuition that the causal inertness of abstract mathematical objects makes them irrelevant to mathematical practice and mathematical knowledge. The solution that I propose is based on Rudolf Carnap's distinction between an internal and an external perspective on existence. I argue that the most reasonable interpretation of the notions of mathematical truth and existence is that they are internal to mathematics and, hence, that mathematical truth cannot be used to draw the conclusion that mathematical objects exist in an external/ontological sense. (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)

Yablo argued that some metaphors are representationally essential: they enable us to express contents that we would not be able to express without them. He defended a fictionalist view of mathematical language by making the case that it similarly serves as a representational aid. Against this, Colyvan argued that metaphorical/figurative language can never play an essential role in explanation and that mathematical language often does, hence concluding that Yablo’s fictionalism is untenable. I show that Colyvan’s thesis about explanation is highly (...) implausible in the absence of a challenge to Yablo’s position on representationally essential metaphors, which Colyvan does not attempt. I also briefly discuss other attempts to produce a simple knock-out argument against fictionalism and show them wanting. (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.

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)

One familiar form of argument for rejecting entities of a certain kind is that, by rejecting them, we avoid certain difficult problems associated with them. Such problem-avoidance arguments backfire if the problems cited survive the elimination of the rejected entities. In particular, we examine one way problems can survive: a question for the realist about which of a set of inconsistent statements is false may give way to an equally difficult question for the eliminativist about which of a set of (...) inconsistent statements fail to be 'factual'. Much of the first half of the paper is devoted to explaining a notion of factuality that does not imply truth but still consists in 'getting the world right'. The second half of the paper is a case study. Some 'compositional nihilists' have argued that, by rejecting composite objects (and so by denying the composition ever takes place), we avoid the notorious puzzles of coincidence, for example, the statue/lump and the ship of Theseus puzzles. Using the apparatus developed in the first half of the paper, we explore the question of whether these puzzles survive the elimination of composite objects. (shrink)

I am hugely grateful for these provocative and illuminating comments. My thanks to all N commentators (N ≈ 13). I will have something to say about each contribution, but the overall organization wi...

I will contrast two conceptions of the nature of mathematical objects: the conception of mathematical objects as preconceived objects, and heavy duty platonism. I will argue that friends of the indispensability argument are committed to some metaphysical theses and that one promising way to motivate such theses is to adopt heavy duty platonism. On the other hand, combining the indispensability argument with the conception of mathematical objects as preconceived objects yields an unstable position. The conclusion is that the metaphysical commitments (...) of the indispensability argument should be carefully scrutinized. (shrink)

This paper introduces a persistence puzzle involving two sports clubs with a somewhat intertwined history. As one might assume, the implications of the puzzle go far beyond a mere plea for a precise metaphysical analysis of certain perplexing quandaries regarding sports clubs and represents a challenge for our everyday understanding of social groups. To overcome the supposed impediment to the puzzle, as a starting point, I will accept the assumption that these entities are both social groups and abstract artifacts and (...) will further argue that they are _temporal abstract objects_. Since temporal objects are in time, it will be determined that the cause of the conundrum is the seeming inability to correctly account for the I-relation between the temporal parts, and I will elaborate on why such an explanation is required. Ultimately, I’ll introduce the notion of _I-shifting_, which will explain how temporal abstract objects persist through time and consequently solve the puzzle. (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)

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)

There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two doctrines (...) is illusory. The reason that there is no real conflict is not simply that in determining our theories’ ontological commitments we naturally rely on our home language but also (and more importantly) that ontological commitment is not intimately tied to objectual quantification and a reference-first approach to language. Or so we will argue. We conclude with a new inscrutability argument which rests on the observation that the notion of objectual quantification, when properly cashed out, deflates. (shrink)

‘Grounding and the indispensability argument’ presents a number of ways in which nominalists can use the notion of grounding to rebut the indispensability argument for the existence of mathematical objects. I will begin by considering the strategy that puts grounding to the service of easy-road nominalists. I will give some support to this strategy by addressing a worry some may have about it. I will then consider a problem for the fast-lane strategy and a problem for easy-road nominalists willing to (...) accept Liggins’ grounding strategy. Both are related to the problem of formulating nominalistic explanations at the right level of generality. I will then consider a problem that Liggins only hints at. This problem has to do with mathematics’ function of providing the sort of covering generalizations we need in scientific explanations. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

This paper extracts some of the main theses in the philosophy of mathematics from my book, The Construction of Logical Space. I show that there are important limits to the availability of nominalistic paraphrase functions for mathematical languages, and suggest a way around the problem by developing a method for specifying nominalistic contents without corresponding nominalistic paraphrases. Although much of the material in this paper is drawn from the book — and from an earlier paper — I hope the present (...) discussion will earn its keep by motivating the ideas in a new way, and by suggesting further applications. (shrink)

This article attempts to motivate a new approach to anti-realism (or nominalism) in the philosophy of mathematics. I will explore the strongest challenges to anti-realism, based on sympathetic interpretations of our intuitions that appear to support realism. I will argue that the current anti-realistic philosophies have not yet met these challenges, and that is why they cannot convince realists. Then, I will introduce a research project for a new, truly naturalistic, and completely scientific approach to philosophy of mathematics. It belongs (...) to anti-realism, but can meet those challenges and can perhaps convince some realists, at least those who are also naturalists. (shrink)

The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.

In this paper, I argue that various disputes in ontology have important ramifications and so are worth taking seriously. I employ a criterion according to which whether a dispute matters depends on how integrated it is with the rest of our theoretical projects. Disputes that arise from previous tensions in our theorizing and have additional implications for other issues matter, while insular disputes do not. I apply this criterion in arguing that certain ontological disputes matter; specifically, the disputes over concrete (...) possible worlds and coincident material objects. Finally, I consider how one could show that some ontological disputes do not matter, using a Platonism/nominalism dispute as an example. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

I argue that fictionalism about grounding is unmotivated, focusing on Naomi Thompson’s (2022) recent proposal on which the utility of the grounding fiction lies in its facilitating communication about what metaphysically explains what. I show that, despite its apparent dialectical kinship with other metaphysical debates in which fictionalism has a healthy tradition, the grounding debate is different in two key respects. Firstly, grounding talk is not indispensable, nor even particularly convenient as a means of communicating about metaphysical explanation. This undermines (...) the revolutionary proposal. Secondly, talk of grounding primarily occurs within metaphysics, which means the usual options for motivating a non-literal interpretation are ineffective. This undermines the hermeneutic proposal. (shrink)

ABSTRACTThe target article presents a new version of if-thenism: call it IF-thenism. In this commentary I discuss whether IF-thenism can solve a problem that besets classic if-thenism. The answer will be that it can, on certain assumptions. I will briefly examine the tenability of these assumptions.