Abstract
Discussions about determinables and determinates, on the one hand, and discussions about (formal) theories of location, on the other, have thus far proceeded without any visible interaction, in substantive mutual neglect. This paper aims to remedy this situation of neglect. It explicitly relates (theories of) determinables and (theories of) location. First, I argue that some well known principles of location turn out to be instances of principles relating determinables and determinates. Building on this I then argue that theories of location present formidable counterexamples to those principles about determinables and determinates. One such counterexample in particular is used as an argument against disjunctivism. Finally, I relate the entire discussion to yet another crucial debate in metaphysics, that of metaphysical indeterminacy.
Similar content being viewed by others
Notes
For an introduction see Wilson (2017b) and references therein.
There is no common agreed core list of such features, yet some are more central than others.
See Wilson (2017b, §2.1).
Some other formulations employ modal operators. I will not consider such a complication in the paper.
This formulation might be too strong. Consider the minimally specific determinable \(D = \textit{mass}\). And consider the two determinates \(D'\) = having a mass between 2 and 6 pounds, and \(D'' = \textit{having a mass between 3 and 7 pounds}\). Now, suppose x has a maximally specific determinate \(d = \textit{having a specific mass value = 4 pounds}\). Arguably, \(D'\) and \(D''\) are at the same level of specification of D. And x has both of them at the same time. This would constitute a counterexample to Unique Determination, as it is formulated in the text. One solution would be to restrict Unique Determination to the maximally specific level, i.e., to the level of maximally specific determinates. In what follows I focus explicitly on the maximally specific level.
The formalization adopted in what follows was chosen in order to make the relation between principles about determinables and principles about location as transparent as possible. I should notice that said formalization is loosely inspired by the classic reference in the literature on determinables, that is, Johnson (1921, pp. 173–185). Johnson writes: “We propose to use a capital letter to stand for a determinable, and the corresponding small letter with various dashes to stand for its determinates” (Johnson 1921, p. 179). Semi-formal classic treatments of determinables are found in Prior (1949a, b) and Yablo (1992). Classic formalizations that are different from the one proposed here are in Denby (2001) and Funkhouser (2006). These treatments differ from mine insofar as their formalizations entail Requisite Determination and Unique Determination. Yet a further different formal treatment is in Fine (2011). Fine’s formalization crucially depends on his notion of state. It would be interesting to inquire how Fine’s Directed Completeness relates to failures of Requisite Determination and more in general to disjunctivism, which will be the focus of Sect. 4.4.
As a matter of fact, I will focus on finite cases for the sake of simplicity, but \(D^*\) can be an infinite, even uncountable set. Details about the cardinality of \(D^*\) will play a role in the argument in Sect. 4.4.
Slightly abusing formal notation.
For an introduction see Varzi (2016). Following Varzi I take parthood as a primitive, and write \(x \sqsubseteq y\) for “x is part of y”. Other mereological notions I will use include proper parthood—\(x\sqsubset y = x \sqsubseteq y \wedge x \ne y\)—, and overlap—\(x \circ y = (\exists z) (z \sqsubseteq x \wedge z \sqsubseteq y)\).
The names, especially Functionality, might strike as not particularly explanatory. The thought behind it is that, as Parsons (2007) puts it, Functionality makes location a function. As a matter of fact, if assumed together with Exactness, it makes location a total function over the domain of spatial entities, that is, those entities that are weakly located in space. A perhaps more immediately transparent name for Functionality would be Uniqueness of Exact Location. This would also signal its intimate relation with Unique Determination, which will be explored in what follows. Given that Functionality has become the somewhat standard term in the literature on formal theories of location though, I will stick to it.
Interestingly enough, if we take @ as primitive and define \(@_{\circ }\) as: \(x@_\circ r \equiv _{df} (\exists s) (x@s \wedge r \circ s)\), then Exactness follows. One might press the point that this is problematic, given the discussion in Sect. 4. As I pointed out, Parsons (2007) and Eagle (2010) take \(@_{\circ }\) as a primitive and go on to define @ in its terms. Their definitions are however substantially different. It turns out that, given Parsons’ definition Functionality follows, whereas this is not true for Eagle’s definition. Thus, Eagle’s theory admits the possibility of multilocation. I believe that the theory of location Eagle presents faces independent problems, but clearly such a discussion goes beyond the scope of this paper.
The picture I just sketched is substantivalist insofar as it does not attempt to reduce spacetime regions to something else.
See Sect. 4.3.
Another way to express it is to use generalized identity (\(\equiv _x\)). The claim would then be “to have position just is to be weakly located at a region”, formalized as: \(P(x) \equiv _x (\exists r) (x@_\circ r\)). I am not taking a stand here, nor I need to. For generalized identity see Dorr (2016) and Correia and Skiles (2019).
I used the superscript because, strictly speaking \(p_i\)-s are maximally determinate properties, whereas \(p'_i\)-s are spatial regions.
Naturally enough, we could use generealized identity here as well.
There is a worry that I want to briefly discuss. It is a general unease in picking two principles out of two broadly axiomatic systems and discuss them independently from such broader systems. As I mentioned in Sect. 2, Wilson (2017b) lists fourteen different principles relating determinables and determinates. What if they make some sort of “a package deal”, so that cherry-picking some of them is not a viable option? I find this suggestion interesting. If it is on the right track it seems I am not allowed to discuss counter-examples to some principles without embedding them into the larger context. I am not sure how to make this worry more precise so as to turn it into a fully-fledged objection. But I think a few things can be said in response to the general strategy here. In order to do so, I will compare this situation to similar ones we encounter when dealing with other broadly axiomatic systems. The first example I have in mind is mereology. It is usually considered part and parcel of the notion of part that it obeys some form of supplementation. Different supplementation principles have been proposed: quasi-supplementation, weak company, weak supplementation, strong supplementation and the like. As a matter of fact, the philosophical discussion centers around how to pick the “right” axiom, so to speak—i.e., that axiom that captures the relevant supplementation intuition without thereby committing one to (allegedly) unwarranted consequences, such as extensionality. It is crucial to this discussion that we can discuss logically independent principles independently from one another. The anti-extensionalist that objects to strong supplementation by way of counter-examples does not need to bring into the discussion the partial ordering axioms for parthood. As a matter of fact, some of the arguments crucially depends on holding the partial ordering axioms fixed. That is to say, when it comes to mereology, we do not look at logically independent principles as a package deal. The second example is identity. There is a raging controversy about the Identity of Indiscernable. In the discussion about alleged counter-examples to the principle, other principles about identity such as its being an equivalence relation, or even the Indiscernibility of Identicals are held fixed. In this case, too, we discuss logically independent principles independently from one another. We don’t look at them as a package deal. I am confident these are not the only examples: dependence and grounding come to mind as well. I admit that this falls short of an argument. Perhaps the case of determinables and determinates is relevantly different from the cases I discussed. But I think that at this stage of the argument, this is enough to shift the burden of the proof. The examples show that we usually do not treat broad axiomatic systems as a package deal. We can, and in fact do, discuss individual principles independently from one another, especially when considering possible counter-examples. And this is exactly the strategy I followed. It is up to the objector to make the case that the principles relating determinables and determinates are an exception to this widespread practice. Thanks to a referee for this journal for pushing this point.
See e.g. Parsons (2007, §3).
Parsons takes an omnipresent object to be an object that pervades every region—where pervasion (\(@_>\)) is defined in terms of weak location as: \(x@_> r \equiv _{df} (\forall s) (s \circ r \rightarrow x@_\circ s)\). Yet, according to his own formal system, if something pervades a region it has an exact location.
That is, not overlapping.
For some insightful remarks on location in quantum mechanics, see Pashby (2016). Disclaimer: I do not agree with everything Pashby writes about quantum location. In any event, even Pashby agrees that a physical system, say a particle, that is not confined to any bounded region—i.e., a region with finite Lebesgue measure—has a weak but not an exact location. This is enough for Exactness to fail.
Kleinschmidt (2016) presents yet another violation of Exactness. Her example—the almond in the void—is a little more cumbersome. Take @ as a primitive and define weak location as follows: \(x@_{\circ } r \equiv (\exists y) (y \sqsubseteq x) \wedge (\exists r_1) (x@r_1 \rightarrow r \circ r_1)\). Now imagine an extended simple region r that contains an almond a and its parts. a is smaller than r. In this case, Kleinschmidt argues, a does not have any exact location, yet it is weakly located at r. This constitutes a violation of Exactness.
One might also argue that multilocation theorists should reject the claim that having a precise exact location is a maximally determinate property. Instead, they could claim that there are multiple ways to have a particular exact location. An object can have it uniquely, an object can have it as one of many exact locations, and so on. This would arguably undermine the argument from failures of Functionality to failures of Unique Determination. I am not sure I completely understand the suggestion, and how to spell it out precisely. As I pointed out already, orthodoxy has it that position (location) is relevantly similar to, say, mass. Should we say that there are multiple ways of having mass, rather than having particular mass values as maximally determinate properties? At this juncture, it is simply fair to shift the burden of the proof. It is multilocation theorists that owe us a clear, fleshed-out account of this controversial suggestion.
Whatever that might mean.
See e.g. Heil (2003).
For a discussion see Wilson (2017a, pp. 32–34).
The case of infinite disjunction is more complicated for infinite disjunction are not equivalent to existential statements. However, one counterexample is enough.
Compare this with the remark in footnote 11.
It would be more hazardous to generalize from position to every determinable D.
One might think that cases of gappy MI violate Unique Determination as well. The reason is roughly the following. Cases of gappy MI are cases in which an object x has a determinable D but does not have any determinate \(d_i\) of D. A fortiori, x does not have a unique determinate \(d_i\) of D. Therefore it violates Unique Determination as well. This is a compelling line of thought that brings to light some subtleties about how to formulate Unique Determination. It turns out that, given the formalization in (2), cases of gappy MI do not violate it. This is because in gappy cases the antecedent of (2) will be false, thus rendering (2) vacuously true. To accommodate that cases of gappy MI do violate Unique Determination, one might give a different formalization of the latter. A proposal is the following, Unique Determination*: \((\forall D) (D(x) \rightarrow (\exists d_i \in D^*) (d_i (x)) \wedge (\forall d_j \in D^*) (d_j (x) \rightarrow d_i = d_j)\). In other words, Unique Determination* requires the object in question to have at least one determinate. Cases of gappy MI violate Unique Determination*, but not Unique Determination. At the bottom, this is because Unique Determination* entails Requisite Determination, whereas Unique Determination does not. This does not play any significant role in what follows insofar as our interest in cases of gappy MI will be restricted to violations of Requisite Determination. Thanks to a referee for this journal for pushing this point.
For this particular example see Calosi and Wilson (2018).
References
Akiba, K. (2004). Vagueness in the world. Noûs, 38, 407–429.
Barnes, E. (2010). Ontic vagueness. A guide for the perplexed. Noûs, 44, 601–627.
Barnes, E., & Williams, R. (2011). A theory of metaphysical indeterminacy. In K. Bennett & D. Zimmerman (Eds.), Oxford studies in metaphysics (Vol. 6, pp. 103–148). Oxford: Oxford University Press.
Barker, S., & Dowe, P. (2003). Paradoxes of multilocation. Analysis, 63, 106–114.
Beebee, H., & Rush, M. (2003). Non-paradoxical multi-location. Analysis, 63, 311–317.
Bigelow, J., & Pargetter, R. (1990). Science and necessity. Cambridge: Cambridge University Press.
Bokulich, A. (2014). Metaphysical indeterminacy, properties, and quantum theory. Res Philosophica, 91, 449–475.
Calosi, C., & Costa, D. (2015). Multilocation: Fusions and confusions. Philosophia, 42, 25–33.
Calosi, C., & Wilson, J. (2018). Quantum metaphysical indeterminacy. Philosophical Studies. https://doi.org/10.1007/s11098-018-1143-2.
Casati, R., & Varzi, A. (1999). Parts and places. Cambridge: MIT Press.
Clapp, L. (2001). Disjunctive properties: multiple realizations. Journal of Philosophy, 98(3), 111–136.
Correia, F., & Skiles, A. (2019). Grounding, essence, and identity. Philosophy and Phenomenological Research. https://doi.org/10.1111/phpr.12468.
Denby, D. (2001). Determinable nominalism. Philosophical Studies, 102(3), 297–327.
Donnelly, M. (2010). Parthood and multi-location. Oxford Studies in Metaphysics, 5, 203–243.
Dorr, C. (2016). To be F is to be G. Philosophical Perspectives, 30, 39–134. Metaphysics.
Eagle, A. (2010). Location and perdurance. Oxford Studies in Metaphysics, 5, 53–94.
Eagle, A. (2016). Multiple location defended. Philosophical Studies, 173, 2215–2231.
Fine, K. (2011). An abstract characterization of the determinate/determinable distinction. Philosophical Perspectives, 25(1), 161–87.
French, S. (2014). The structure of the world: Metaphysics and representation. Oxford: Oxford University Press.
Funkhouser, E. (2006). The determinable–determinate relation. Noûs, 40(3), 548–569.
Geach, P. (1979). Truth, love and immortality. An introduction to McTaggart’s philosophy. Berkley: University of California Press.
Gilmore, C. (2018). Location and mereology. Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/location-mereology/.
Gruszczynski, R., & Pietruszczak, A. (2009). Space, points and mereology. On foundations of point-free Euclidean geometry. Logic and Logical Philosophy, 18, 145–188.
Hawthorne, J. (2008). Three-dimensionalism vs four-dimensionalism. In T. Sider, J. Hawthorne, & D. Zimmerman (Eds.), Contemporary Debates in Metaphysics (pp. 263–282). Oxford: Oxford University Press.
Heil, J. (2003). Levels of reality. Ratio, 16(3), 205–221.
Hudson, H. (2001). A materialist metaphysics of the human person. Ithaca: Cornell University Press.
Johnson, W. E. (1921). Logic (Part 1). Cambridge: Cambridge University Press.
Kleinschmidt, S. (2016). Placement permissivism and logic of location. Journal of Philosophy, 113(3), 117–136.
Leonard, M. (2018). Enduring through gunk. Erkenntnis. https://doi.org/10.1007/s10670-017-9912-4.
Massin, O. (2013). Determinables and brute similarities. In C. Svennerlind, J. Almang, & R. Ingthorrson (Eds.), Johanssonian investigations (pp. 388–420). Hesuenstamm: Ontolos Verlag.
McDaniel, K. (2003). No paradox of multi-location. Analysis, 63(4), 309–311.
O’Leary Hawthorne, J., & Cover, J. A. (1998). A world of universals. Philosophical Studies, 91(3), 205–2019.
Parsons, J. (2007). Theories of location. Oxford Studies in Metaphysics, 3, 201–232.
Pashby, T. (2016). How Do things persist? Location in physics and the metaphysics of persistence. Dialectica, 70(3), 269–309.
Prior, J. (1949a). Determinables, determinates, and determinants (I). Mind, 58(229), 1–20.
Prior, J. (1949b). Determinables, determinates, and determinants (II). Mind, 58(230), 178–94.
Rodriguez-Peryera, G. (2002). Resemblance nominalism: A solution to the problem of universals. Oxford: Oxford University Press.
Sattig, T. (2006). The language and reality of time. Oxford: Clarendon Press.
Simons, P. (2014). Where it’s at: Modes of occupation and kinds of occupant. In S. Kleinschmidt (Ed.), Mereology and location (pp. 59–68). Oxford: Oxford University Press.
Varzi, A. (2016). Mereology. Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/mereology/.
Wilson, J. (2013). A determinable based account of metaphysical indeterminacy. Inquiry, 56(4), 359–385.
Wilson, J. (2017a). Are there indeterminate state of affairs? Yes. In E. Barnes (Ed.), Current controversies in metaphysics (pp. 105–125). London: Routledge.
Wilson, J. (2017b). Determinable and determinates. Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/determinate-determinables/.
Yablo, S. (1992). Mental causation. The Philosophical Review, 101(2), 245–280.
Acknowledgements
I want to thank Fabrice Correia, Damiano Costa, Alessandro Giordani, Matt Leonard, Kevin Mulligan and Jessica Wilson for several discussions on previous drafts of this paper. I also want to thank two referees for this journal for their insightful suggestions. I also want to acknowledge the generous support of the Swiss National Science Foundation (SNF), Project Number PCEFP1-181088.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Calosi, C. Determinables, location, and indeterminacy. Synthese 198, 4191–4204 (2021). https://doi.org/10.1007/s11229-019-02336-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-019-02336-0