According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (shrink)

In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...) (2) Jupiter has green moons. On the other hand, ‘four’ occurs as a singular term, which is to say that it occurs in a position that is commonly occupied by paradigmatic cases of singular terms, like proper names: (3) The number of moons of Jupiter is four. Here ‘four’ seems to be just like ‘Wagner’ in (4) The composer of Tannhäuser is Wagner, and both of these statements seem to be identity statements, ones with which we claim that what two singular terms stand for is identical. But that number words can occur both as singular terms and as adjectives is puzzling. Usually adjectives cannot occur in a position occupied by a singular term, and the other way round, without resulting in ungrammaticality and nonsense. To give just one example, it would be ungrammatical to replace ‘four’ with ‘the number of moons of Jupiter’ in (1): (5) *Jupiter has the number of moons of Jupiter moons. This ungrammaticality results even though ‘four’ and ‘the number of moons of Jupiter’ are both apparently singular terms standing for the same object in (3). So, how can it be that number words can occur both as singular terms and as adjectives, while other adjectives cannot occur as singular terms, and other singular terms cannot occur as adjectives? (shrink)

When thinking about the notion of essence or of an essential feature, philosophers typically focus on what I will call the notion of objectual essence. The main aim of this paper is to argue that beside this familiar notion stands another one, the notion of generic essence, which contrary to appearance cannot be understood in terms of the familiar notion, and which also fails to be correctly characterized by certain other accounts which naturally come to mind as well. Some of (...) my objections to these accounts are similar to some of Kit Fine’s compelling objections to the standard modal account of (objectual) essence (Fine 1994). In the light of these objections, Fine advances the view that it is metaphysical necessity which has to be understood in terms of essence, rather than the other way around, and takes essence to be unanalyzable. When formulatinghis view, Fine had only objectual essence in mind (or had both concepts in mind, but assumed that the generic is a special case of the objectual), and for that reason, I will argue, his account fails. I will suggest that Fineans should modify their view, and take it that metaphysical necessity is to be understood in terms of the two notions of essence—a view I myself find appealing. Finally, I will end by suggesting a further move which reduces the objectual to the generic, making metaphysical necessity reducible to generic essence alone—a move with which I myself have some sympathy. (shrink)

According to the indispensability argument, the fact that we quantify over numbers, sets and functions in our best scientific theories gives us reason for believing that such objects exist. I examine a strategy to dispense with such quantification by simply replacing any given platonistic theory by the set of sentences in the nominalist vocabulary it logically entails. I argue that, as a strategy, this response fails: for there is no guarantee that the nominalist world that go beyond the set of (...) sentences in the nominalist language such theories entail. However, I argue that what such theories show is that mathematics can enable us to express possibilities about the concrete world that may not be expressible in nominalistically acceptable language. While I grant that this may make quantification over abstracta indispensable, I deny that such indispensability is a reason for accepting them into our ontology. I urge that the nominalist should be allowed to quantify over abstracta whilst denying their existence and I explain how this apparently contradictory practice (a practice I call 'weaseling') is in fact coherent, unproblematic and rational. Finally, I examine the view that platonistic theories are simpler or more attractive than their nominalistic reformulations, and thus that abstract ought to be accepted into our ontology for the same sorts of reasons as other theoretical objects. I argue that, at least in the case of numbers, functions and sets, such arguments misunderstand the kind of simplicity and attractiveness we seek. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

Non-actual model systems discussed in scientific theories are compared to fictions in literature. This comparison may help with the understanding of similarity relations between models and real-world target systems. The ontological problems surrounding fictions in science may be particularly difficult, however. A comparison is also made to ontological problems that arise in the philosophy of mathematics.

David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...) nominalists that go beyond Malament's initial concerns. Thanks to Mark Steiner, Jens Christian Bjerring, Ben Fraser, John Mathewson, and two anonymous referees for helpful comments on an earlier draft of this paper. CiteULike Connotea Del.icio.us What's this? (shrink)