ABSTRACT
I examine three ‘anti-object’ metaphysical views: nihilism (there are no objects at all), generalism (reality is ultimately qualitative), and anti-quantificationalism (quantification over objects does not perspicuously represent the world). After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.
Notes
1 See, for instance, Adams [Citation1979], O'Leary-Hawthorne and Cover [Citation1996], Fine [Citation2005], Ladyman and Ross [Citation2007], Dasgupta [Citation2009], Kment [Citation2012: 578ff], Russell [2013], Dasgupta [Citation2014, Citation2016], and Turner [Citation2016]. Of course, these terms are also sometimes used with other meanings.
2 See Magidor [Citation2013], especially chapter 4; thanks to Ross Cameron for discussion of this point. Note that I am using ‘true’ and ‘false’ in thin senses: by it's true that
I just mean
, and by
it's false that
I just mean not-
. This is to be contrasted with being determinately true or determinately false.
3 It may be helpful to note the parallels with supervaluationist treatments of vagueness (see CitationFine [1975] and Keefe [Citation2000]). Unfortunately, some confusion arises from the fact that some supervaluationists use the word ‘true’ (or ‘True’) for determinate truth, rather than for ordinary ‘thin’ truth.
4 I discuss the prospects for Ground Generalism in CitationRussell [2016].
5 It's worth noting that it isn't obvious that Bertrand Russell is any more committed than Sider to an ontology of facts, since according to Russell ‘you cannot properly name a fact’ or put one ‘in the position of a logical subject’ [Russell Citation1918: 13–14]. This is connected to his theory of types: in modern terminology, we might say that facts are not eligible values of first-order variables; rather, commitment to facts involves quantification of type . By a common Quinean standard, then, facts are not included in Russell's ‘ontology’ proper.
6 Rayo's ‘moderate metaphysicalism’ is maybe a bit closer in spirit: ‘the constraint that there be a correspondence between logical form and metaphysical structure applies only to assertions made by philosophers in the “ontology room”’ [Citation2013: 11]. But—like Russell and Sider, I think—I am not thinking of perspicuity as a condition on speaking truly on any occasions, even special philosophical ones. Similarly, unlike metaphysicalism, Anti-Quantificationalism does not bar one from accepting certain ‘just is’ sentences to which Rayo is friendly—such as ‘for the number of dinosaurs to be zero just is for there to be no dinosaurs’ [ibid.: 3, 7]. Even if ‘there are no dinosaurs’ is more perspicuous than ‘the number of dinosaurs is zero,’ this difference between the two expressions does not require any difference in what they express.
7 CitationTurner [2016] uses this label for a slightly different view in the same spirit, which is framed in terms of ‘fundamental facts’ rather than perspicuous language.
8 Thanks to two anonymous referees for pressing this.
9 An alternative argument for (3) turns on the possibility of qualitative indiscernibles, although there is no space here to spell it out in detail. In brief, CitationBlack [1952] argued that there could be two qualitatively indiscernible spheres; and Adams [Citation1979] argued that either one of these spheres could have been spontaneously destroyed. If that much is right, then, if is the surviving sphere, it is not a qualitative matter that
survives: for all of the qualitative facts would have been the same if the other sphere survived instead. (If Goodman [manuscript] is right, then this claim must be qualified—but not in a way that I think matters for the argument.) One may well wonder whether the generalist should accept these possibilities. Some bundle theorists, for example, reject Black's case as misdescribed (e.g. O'Leary-Hawthorne [Citation1995]). But, as it happens, many generalists do accept the relevant possibilities of qualitative symmetry and symmetry-breaking. (See O'Leary-Hawthorne and Cover [Citation1996: 11–12], Saunders [Citation2003: sec. 2], Pooley [Citation2006: 17–18], Dasgupta [Citation2009: sec. 2], Pooley [manuscript: secs 2.2–2.3], and Dasgupta [Citation2014: 23].) For further discussion, see CitationRussell [2016].
10 Thanks to an anonymous referee for pressing this.
11 Turner [2011: sec. 3.2] argues that languages that add lambda-abstraction ‘are just as ontologically guilty as first-order ones’. Whether we regiment existential claims in the form or instead as
, they are equally unacceptable to the nihilist. This is plausibly so, but there still may be a difference regarding which expression is part of a perspicuous language that is acceptable to the generalist.
12 Thanks to Ross Cameron, Shamik Dasgupta, Cian Dorr, Jeremy Goodman, John Hawthorne, Michaela McSweeney, Thomas Møller-Nielsen, Louis de Rossett, Jason Turner, Dean Zimmerman, several anonymous referees, and audiences at Columbia, Notre Dame, Stanford, and Leeds for helpful comments and discussion. Thanks to Jesse Wilson for editorial assistance.