The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

Thomas Hofweber has written a very rich book. In line with the conviction that ontology should be informed by linguistic considerations, he develops a systematic approach to central ontological questions as they arise in different regions of discourse. More generally, the book seeks to cast light upon the nature of ontology and its proper place in enquiry. His preferred methodology is not without consequence: it promises, for example, to solve what otherwise look like intractable philosophical puzzles raised by arithmetical practice (...) and numerical discourse, and, likewise, his treatment of propositional discourse has ramifications for larger questions to do with the prospects of metaphysical enquiry generally. (shrink)

In everyday speech we seem to refer to such things as abstract objects, moral properties, or propositional attitudes that have been the target of metaphysical and/or epistemological objections. Many philosophers, while endorsing scepticism about some of these entities, have not wished to charge ordinary speakers with fundamental error, or recommend that the discourse be revised or eliminated. To this end a number of non-revisionary antirealist strategies have been employed, including expressivism, reductionism and hermeneutic fictionalism. But each of these theories faces (...) forceful objections. In particular, we argue, proponents of these strategies face a dilemma: either concedes that their theory is revisionary, or adopt an implausible account of speaker-meaning whereby the content of certain types of utterance is opaque to their speakers. In this paper we introduce a new type of antirealist strategy, which is thoroughly non-revisionary, and leaves speaker-meaning transparent to speakers. We draw on work on pragmatics in the philosophy of language to develop a theory we call ‘pragmatic antirealism’. The pragmatic antirealist holds that while the sentences of the discourses in question have metaphysically contentious truth conditions, ordinary utterances of them are pragmatically modified in context in such a way that speakers do not incur commitment to those truth conditions. After setting out the theory, we show how it might be developed for both mathematical and ethical discourse, before responding to some likely objections. (shrink)

Frege proposed that sentences like ‘The number of planets is eight’ be analysed as identity statements in which the number words refer to numbers. Recently, Friederike Moltmann argued that, pace Frege, such sentences be analysed as so-called specificational sentences in which the number words have the same non-referring semantic function as the number word ‘eight’ in ‘There are eight planets’. The aim of this paper is two-fold. First, I argue that Moltmann fails to show that such sentences should be analysed (...) as specificational sentences. Second, I show that even if they are to be analysed in this way, Moltmann’s proposed specificational analysis is unsatisfactory. (shrink)

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

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)

Review of *New Essays on the A Priori*, an excellent collection edited by Paul Boghossian and Christopher Peacocke. Contributors include: Tyler Burge; Quassim Cassam; Philip Kitcher; Penelope Maddy; Hartry Field; Paul Horwich; Peter Railton; Stephen Yablo; Bob Hale; Crispin Wright; Frank Jackson; Stewart Shapiro; Michael Friedman; Martin Davies; Bill Brewer; and Thomas Nagel.

Metaontology – the study of the nature of ontological issues – has flourished in recent years. The focus of this summary will be on some views and arguments that are central to today’s debate. One theme will be that of how seriously to take ontology: whether there is reason to take a skeptical or deflationary attitude toward ontological claims, as theorists like Rudolf Carnap, Hilary Putnam, and Eli Hirsch in different ways have urged. The other theme will be that of (...) the viability of the Fregean and Quinean approaches to ontology that have been and still are central to analytic philosophy. (shrink)

I defend Joseph Melia’s nominalist account of mathematics from an objection raised by Mark Colyvan.

In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. Then I examine three of (...) the main arguments for the existence of properties. I conclude that sui generis second-order quantification defeats the “one over many” argument and that, coupled with second-order predication, it also defeats the reference and quantification arguments. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (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)

The essay argues that, on their usual metalinguistic reconstructions, the open question argument and Frege’s puzzle are variants of the same argument. Each are arguments to a conclusion about a difference in meaning; each deploy compositionality as a premise; and each deploy a premise linking epistemic features of sentences with their meaning (which, given certain meaning-platonist assumptions, can be interpreted as a universal instantiation of Leibniz’s law). Given these parallels, each is sound just in case the other is. They are, (...) in fact, unsound. The essay first argues that reformulations of these arguments directly in terms of Leibniz’s law are unsound and then that subarguments of the metalinguistic versions are unsound for structurally similar reasons. Finally, given how the theory/observation distinction is deployed in linguistic practice, the meaning-platonist assumptions are shown to be optional. (shrink)

Until recently philosophy of religion has been almost exclusively focused upon the analysis of western religious ideas. The central concern of the discipline has been the concept God , as that concept has been understood within Judaeo-Christianity. However, this narrow remit threatens to render philosophy of religion irrelevant today. To avoid this philosophy of religion should become a genuinely multicultural discipline. But how, if at all, can philosophy of religion rise to this challenge? The paper considers fictionalism about religious discourse (...) as a possible methodological standpoint from which to practice a tradition-neutral form of philosophy of religion. However, after examining some of the problems incurred by fictionalism, the paper concludes that fictionalism and religious diversity are uneasy bedfellows; which implies that fictionalism is unlikely to be the best theory to shape the practice of philosophy of religion in a multicultural context. (shrink)

Book Information Reenchantment without Supernaturalism: A Process Philosophy of Religion. By David Ray Griffin. Cornell University Press. Ithaca. 2001. Pp. viii + 426. Hardback, US$55.00. Paperback, US$24.95.

In his Ontology and the Ambitions of Metaphysics, Thomas Hofweber among other things presents a radical perspective on ontology and metaphysics. In this note, I critically discuss some of the points Hofweber makes.

In this paper I outline an alternative to hermeneutic fictionalism, an alternative I call indifferentism, with the same advantages as hermeneutic fictionalism with respect to ontological issues but avoiding some of the problems that face fictionalism. The difference between indifferentism and fictionalism is this. The fictionalist about ordinary utterances of a sentence S holds, with more orthodox views, that the speaker in some sense commits herself to the truth of S. It is only that for the fictionalist this is truth (...) in the relevant fiction. According to the indifferentist, by contrast, we are simply non-committal – or indifferent – with respect to some aspects of what is literally said in our assertive utterances. (shrink)

Idioms – expressions like kick the bucket and let the cat out of the bag – are strange. They behave in ways that ordinary multi-word expressions do not. One distinctive and troublesome feature of idioms is their unpredictability: The meanings of sentences in which idiomatic phrases occur are not the ones that we would get by applying the usual compositional rules to the usual meanings of their (apparent) constituents. This sort of behavior requires an explanation. I will argue that the (...) right explanation is that the sentences are being interpreted through a pretense. (What this means, exactly, will be explained in what follows.) This is a surprising claim, for two reasons. On the one hand, it seems that adopting a pretense account is overkill—it’s a far more radical move than is required to account for the phenomena. On the other hand, it seems that a pretense account is hopeless—that there is a fatal overgeneration problem for pretense accounts of idiom that causes them to fail, as Jason Stanley charges, “as badly as it is possible for an account of idiom to fail.” So I will have some work to do. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)

Ordinary English contains different forms of quantification over objects. In addition to the usual singular quantification, as in 'There is an apple on the table', there is plural quantification, as in 'There are some apples on the table'. Ever since Frege, formal logic has favored the two singular quantifiers ∀x and ∃x over their plural counterparts ∀xx and ∃xx (to be read as for any things xx and there are some things xx). But in recent decades it has been argued (...) that we have good reason to admit among our primitive logical notions also the plural quantifiers ∀xx and ∃xx. More controversially, it has been argued that the resulting formal system with plural as well as singular quantification qualifies as ‘pure logic’; in particular, that it is universally applicable, ontologically innocent, and perfectly well understood. In addition to being interesting in its own right, this thesis will, if correct, make plural quantification available as an innocent but extremely powerful tool in metaphysics, philosophy of mathematics, and philosophical logic. For instance, George Boolos has used plural quantification to interpret monadic second-order logic and has argued on this basis that monadic second-order logic qualifies as “pure logic.” Plural quantification has also been used in attempts to defend logicist ideas, to account for set theory, and to eliminate ontological commitments to mathematical objects and complex objects. (shrink)

Megethology is the second-order theory of the part-whole relation developed by David Lewis, and it is obtained by combining plural quantification with classical extensional mereology. It can express some hypotheses about the size of the domain such as that there are inaccessibly many atoms. This will prove enough to get the orthodox set theory. Then, megethology is a possible foundation for mathematics. This paper is an introduction to megethology.

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.

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)

The contemporary Platonists in the philosophy of mathematics argue that mathematical objects exist. One of the arguments by which they support this standpoint is the so-called Enhanced Indispensability Argument (EIA). This paper aims at pointing out the difficulties inherent to the EIA. The first is contained in the vague formulation of the Argument, which is the reason why not even an approximate scope of the set objects whose existence is stated by the Argument can be established. The second problem is (...) reflected in the vagueness of the very term indispensability, which is essential to the Argument. The paper will remind of a recent definition of the concept of indispensability of a mathematical object, reveal its deficiency and propose an improvement of this definition. Following this, we will deal with one of the consequences of the arbitrary employment of the concept of indispensability of a mathematical theory. We will propose a definition of this concept as well, in accordance with the common intuition about it. Eventually, on the basis of these two definitions, the paper will describe the relation between these two concepts, in the attempt to clarify the conceptual apparatus of the EIA. (shrink)