Abstract
The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties.
Similar content being viewed by others
Notes
A haecceitistic property is a property—like being identical to Plato or being a student of Socrates, and unlike having a beard or being a philosopher—which in some rough, intuitive sense involves or makes essential reference to a particular individual.
A categorial property is ‘a property something has by virtue of being or having an item from one of the categories’ (Wedin 2000, p. 194).
The nature of this involvement is often understood in non-linguistic terms. Fine (1977, p. 137) takes it to be a kind of dependence: a property is non-qualitative when its identity depends upon the identity of a particular individual; Rosenkrantz (1979, p. 517) takes it to be a kind of constitution: a property is non-qualitative when it has an individual as a constituent; and Cowling (2015, pp. 289–91) considers an account that takes it to be a kind of grounding: a property is non-qualitative when it is grounded in a particular individual.
I will generally take talk of ‘properties’ to cover both properties and relations.
The parenthetical clause is included in order to accommodate the possibility of island universes. See Bricker (2001).
Let’s say following Bricker (forthcoming) that a collection of entities matches a structure if it instantiates that structure and no more inclusive structure; and that a structure isolates a collection that instantiates it if the structural relations never hold between entities inside and outside of the collection.
Modes of being correspond to properties like being actual and being present, while haecceities correspond to properties like being Socrates and being Plato. They appear to underwrite non-qualitative similarities among their instances. (My claim that haecceities are a kind of one over many might seem strange given that haecceities are usually taken to be shared only by individuals that are identical to each other, and these individuals are one, not many. But haecceities have traditionally been taken to be responsible for the identity of the individuals that enjoy them; they take what would have otherwise been many individuals and make them one. Haecceities are, in this respect at least, a kind of one over many. There is, however, a stronger respect in which haecceities might be taken to be a kind of one over many. For if worlds do not overlap and no individual is wholly part of more than one world, then the non-fundamental property being identical to Socrates, had by a single individual at a single world, might be distinguished from the potentially fundamental property being Socrates, had by many different individuals at many different worlds. It is, on this non-traditional view, the latter property that would correspond to a haecceity).
I will say that the B-properties ground the A-properties iff the A-properties globally supervene on the B-properties, and the A-properties are all broadly less natural than the B-properties. I thus take the relevant grounding relation to be a relation between properties. It is intended to be irreflexive, asymmetric, and transitive. It is not intended to be hyperintensional.
The negation employed here is not strict negation. I am assuming that the intension of being a non-electron is properly contained in the intension of being strictly a non-electron. The latter, unlike the former, is had by abstract mathematical entities. For more details, see footnote 27 below.
I believe this to be a live possibility. For depending upon the lay of logical space, the property of absolute actuality, which we designate with the impure, directly referential concept being exactly ontologically like me and everything else at my world, might also be designatable with a purely descriptive, infinitely disjunctive concept. But absolute actuality should I think, nevertheless, be taken to be non-qualitative. See Simmons (forthcoming, Sect. 2) for further discussion.
Fundamental laws should be distinguished from derived laws which cannot be written in purely fundamental terms, but which can be somehow derived from fundamental laws. Similarly, fundamental causal facts should be distinguished from facts that merely underwrite true causal statements.
That the nomic role played by being Hesperides is non-fundamental can be established by considering another world—qualitatively indiscernible from the one described above—where Hesperides has been ‘replaced’ by Eden. It would seem to be a de re law in this other world that all the fruit in Eden are apples. But these two worlds would appear to have the same fundamental causal facts. Thus, while being Eden and being Hesperides play causal and nomic roles at their respective worlds, the roles they play are not fundamental.
The causal account does require the fundamental qualitative properties to play a causal role at some of the worlds in which they are instantiated. A fundamental property that was essentially an idler would be classed as non-qualitative. The causal account is thus incompatible with the view that qualia are both fundamental and essentially epiphenomenal. Thanks to an anonymous referee for pushing me on this point.
To be somewhat more precise, let’s say that two worlds are structurally isomorphic iff there is a one–one correspondence between their parts that preserves the overall pattern of their fundamental qualitative properties and relations; and let’s say that two worlds are qualitatively indiscernible iff there is a one–one correspondence between their parts that preserves not just the overall pattern of their fundamental qualitative properties and relations, but the fundamental properties and relations themselves. We can then define quidditism about worlds as the view that some qualitatively discernible worlds are structurally isomorphic. The quidditist will likely hold that the fundamental qualitative properties are individuated by basic qualitative suchnesses.
Quidditism should not be confused with haecceitism about properties, which holds that worlds can differ by a permutation or wholesale replacement of properties without differing qualitatively. The haecceitist believes that the properties that play the fundamental causal roles lack basic qualitative suchnesses and have only bare non-qualitative thisnesses. She must therefore deny the causal thesis. I don’t take this to be a problem since I take quidditism to be far more plausible than haecceitism about properties. See Hildebrand (2016) for discussion. Note that Hildebrand calls these views qualitative quidditism and bare quidditism. I’ve adopted the terminology from Bricker (2017, pp. 39, 49 n 18).
We can define structuralism about worlds as the view that no qualitatively discernible worlds are structurally isomorphic (or, alternatively, as the view that two worlds are structurally isomorphic only if they are qualitatively indiscernible). It is, so understood, simply the denial of quidditism. There are, as I see it, two views about properties that motivate structuralism: strong causal essentialism about properties—a view that Hawthorne (2001) calls causal structuralism and Hildebrand (2016) simply calls structuralism—which holds that the fundamental qualitative properties are individuated by their causal roles, and haecceitism about properties which holds that the fundamental properties are individuated by bare non-qualitative thisnesses. Both views tie a world’s qualitative character to its overall structure, and both views hold that the most natural qualitative properties are individuated by their causal roles. But while the strong essentialist believes that these properties are perfectly natural, the haecceitist does not. It is because the haecceitist denies that there are fundamental qualitative properties that she must deny the causal thesis.
The quidditist and the strong causal essentialist agree that the properties that play the fundamental causal roles have qualitative suchnesses. But they disagree about the connection between a property’s playing a causal role and its having a suchness: the strong causal essentialist thinks that a property has a suchness because it plays a fundamental causal role, whereas the quidditist thinks that a property’s qualitative suchness is independent of the causal roles it plays. This might suggest that while both the quidditist and the strong causal essentialist can accept the truth of the causal thesis, only the strong causal essentialist can take it to provide us with an explanation for why the properties that play the fundamental causal roles are qualitative.
I deny, however, that quidditists cannot take the casual thesis to be adequately informative. So while I am inclined to agree that the thesis that a fundamental property is qualitative because it has a basic qualitative suchness might provide a deeper metaphysical explanation of the nature of a fundamental qualitative property than the causal thesis, I don’t think the concept of a basic suchness is terribly informative. I can gesture at it by giving various analogies, but I can’t really help you acquire it if you lack it. I think the concept of playing a fundamental causal role is more informative. It is one that I could potentially help you to acquire. The causal thesis thus provides a kind of insight into the nature of the fundamental qualitative properties that the basic suchness thesis does not. The quidditist can, I think, accept the causal thesis, deny that it gets to the metaphysical heart of the matter, but still take it to be informative. Thanks to an anonymous referee for pushing me on this point.
MacFarlane (2000) calls this ‘1-formality’.
In order to maintain that some entities determinately lack all qualitative character, I must deny the commonly held assumption that the qualitative properties are closed under (strict) negation. For while the sui generis natural numbers lie outside the intension of, say, being an electron, they nevertheless instantiate its strict negation, namely, being strictly a non-electron. But although I must deny the letter of this assumption, I can still capture some of its spirit. For the property being concrete and strictly a non-electron is, I believe, appropriately grounded in the property being an electron. This is because, as I suggested in footnote 14 above, grounding should be understood in terms of global supervenience and comparative naturalness. But since global supervenience is defined on concrete possible worlds, being concrete and strictly a non-electron will be grounded in being an electron. This gives negation a kind of closure in the realm of the concrete: the anti-intension of being an electron defined on the concrete possible worlds, which we might call being a non-electron, would seem to be a qualitative property.
The qualitative status of parthood leads to an antinomy. The thesis of this antinomy is that parthood is qualitative; the antithesis is that it is not. The alleged proof of the thesis is that a property is qualitative if it is preserved by duplication, and since parthood is preserved by duplication, it must be qualitative. The proof of the antithesis is that it is possible for there to be things that determinately fail to instantiate any qualitative properties or stand in any qualitative relations, but given that the parthood relation would apply to such things, it must be non-qualitative. This antinomy can be resolved in favor of its antithesis. Consider the ‘proof’ of the thesis. The best motivation for the premise that parthood is preserved by duplication is that it must be included in the definition of duplication itself: to say that two objects are qualitative duplicates is to say that there is a one–one correspondence between their parts that preserves all the fundamental qualitative (as well as all the mereological) properties had by their parts and all the fundamental qualitative (as well as all the mereological) relations between their parts. But, given this definition, the plausibility of the premise that a property is preserved by duplication only if it is qualitative turns on the plausibility of the auxiliary assumption that the mereological properties and relations are themselves all qualitative. This assumption is not, however, particularly plausible: the proof of the antithesis gives us good reason to think it false. Thus, a property or relation can be preserved by duplication—and can thereby contribute to the qualitative character of an object whose parts have that property or stand in that relation—without itself being qualitative. Thanks to an anonymous referee for pushing me on this point.
MacFarlane (2000) calls this ‘2-formality’.
MacFarlane (2000) calls this ‘3-formality’.
My argument turns on the plausibility of the claim that purely mathematical entities have no qualitative character whatsoever. I’ll consider two challenges to this claim. The first concerns a pure set’s cardinality. Two pure sets can have the same cardinality. So, for example, the singleton of the empty set, {∅}, and the singleton of the singleton of the empty set, {{∅}}, both have exactly one member. They are similar in this respect. If we thought that similarity must always be qualitative, we should say that these pure sets have qualitative character in virtue of their cardinality. But this strikes me as the wrong thing to say. For a set’s cardinality appears to be a purely quantitative, non-qualitative property. Two sets with the same cardinality thus appear to enjoy a kind of non-qualitative similarity. It is a mistake to think that similarity must always be qualitative. (Note that I am not here claiming that quantitative properties can never be qualitative. Some properties such as having exactly 5 kg mass strike me as both quantitative as well as qualitative, while other properties such as having exactly 5 members strike me as purely quantitative.).
The second challenge concerns an abstract sui generis geometrical object’s shape. An abstract geometrical object can have the same shape as a concrete possible object. But since the qualitative character of a solid gold cube is different from that of a solid gold dodecahedron, their shape properties would appear to be qualitative. I must, it seems, either give up on the claim that abstract geometrical objects lack qualitative character or else deny that the shape properties had by concrete possible objects are qualitative after all. If forced to choose, I would take the latter option. But maybe I don’t have to. A concretely possible object such as solid gold cube will have a property that might plausibly be thought of as a shape property in virtue of some pattern of the spatiotemporal relations between its parts. And, assuming that these relations are qualitative, this shape property will be qualitative as well. An abstract geometrical object will have a property that might also be thought of as a shape property in virtue of some pattern of the relations between its parts. And, assuming that these relations are non-qualitative, this shape property will be non-qualitative as well. Two objects, whether concrete or purely geometrical, can then be said to have the same shape when there is a mapping between them that preserves the relevant patterns of relations between their parts, call this mapping a shape isomorphism. Given these assumptions, I now have the resources to say everything I want to say. But what should I say about the property that is preserved by shape isomorphism? Is it some third somewhat less natural non-qualitative shape property? Or is it just the non-qualitative shape property had by purely geometrical objects? To put this another way: are the qualitative relations that underwrite qualitative shape properties themselves reinforced by non-qualitative purely geometrical relations or not? If not, there are three distinct shape properties here. If so, there are only two. I prefer to say that there are only two shape properties here: one qualitative and had only by concrete possible objects, the other non-qualitative and had both by concretely possible and purely geometrical objects. (Note that if spatiotemporal relations are non-qualitative, there will only be one, non-qualitative, shape property here.) Thanks to two anonymous referees for pushing me on these matters.
For Lewis, objective similarity is always qualitative. He thinks that the problem with unnatural properties is that ‘[t]hey pay no heed to the qualitative joints, but carve things up every which way’ (1986, p. 59, emphasis added), and that the ‘[s]haring of [the perfectly natural, or sparse, properties] makes for qualitative similarity’ (1986, p. 60, emphasis added). They help to give us ‘a complete qualitative characterization of things’ (1986, p. 60, emphasis added).
But what about idlers: namely, ‘those fundamental properties, if any, that are instantiated within the actual world, but play no active role in the workings of nature’ (Lewis 2009, p. 205)? Are they qualitative? I guess it depends upon whether they could play an active causal role in the workings of nature. If they could but don’t, that is no threat to their status as qualitative. But if they couldn’t ground causal powers, it seems that they wouldn’t count as qualitative.
See Williams (1962, p. 751) for a similar argument.
See Hume ([1739] 1888, pp. 253–254) for an argument along these lines.
I take it that Maddy (1990) would disagree with this claim. For she thinks that we have the ability to detect certain impure sets.
See also Sider (1993, Sect. 3.2.1).
I am assuming here that spatial, temporal, and spatiotemporal relations are all qualitative. I am, however, somewhat skeptical of this assumption. Spatial and temporal relations do not appear to play an active role in the workings of nature. And while the view that matter and spacetime causally interact (and hence that spatiotemporal relations play fundamental causal roles in general relativistic spacetime theories) might enjoy ‘common acceptance’, there are ‘reasons to regard [it] as questionable’ (Hoefer 2009, pp. 701–704).
See Wang (2013, pp. 542–544) and Bricker (2017) for discussion of the exclusion problem. Wang argues that the principles of recombination should either be amended or else abandoned. Bricker attempts to tackle the problem head on by arguing that determinables rather than determinates are fundamental.
See Wang (2013, pp. 539–541) for discussion of the necessitation problem.
The triangle inequality tells us that, for any points x, y, and z, the distance between x and z is less than or equal to the sum of the distance between x and y and the distance between y and z; or, more formally, that d(x, z) ≤ d(x, y) + d(y, z).
We can say, roughly, that properties are determinably-distinct when they are not determinates of the same determinable. See Saucedo (2011, p. 246) for a more precise definition.
See, however, Baxter (2014, pp. 247–249) for an argument to the contrary.
Bricker (2006, pp. 49–50) endorses something like this thesis. He endorses the ‘if’ direction. I’m not sure whether he would also endorse the ‘only if’ direction.
It is a transformed version of the island universe problem for modal realism. See Bricker (2001).
References
Adams, R. (1974). Theories of actuality. Noûs, 8(3), 211–231.
Adams, R. (1979). Primitive thisness and primitive identity. Journal of Philosophy, 76(1), 5–26.
Baxter, D. L. M. (2014). Identity, discernibility, and composition. In A. J. Cotnoir & D. L. M. Baxter (Eds.), Composition as identity (pp. 244–253). Oxford: Oxford University Press.
Black, M. (1952). The identity of indiscernibles. Mind, 61(242), 153–164.
Bricker, P. (1996). Isolation and unification: The realist analysis of possible worlds. Philosophical Studies, 84(2), 225–238.
Bricker, P. (2001). Island universes and the analysis of modality. In G. Preyer & F. Siebelt (Eds.), Reality and Humean supervenience: essays on the philosophy of David Lewis (pp. 27–55). Lanham, MD: Rowman & Littlefield.
Bricker, P. (2006). Absolute actuality and the plurality of worlds. Philosophical Perspectives, 20(1), 41–76.
Bricker, P. (2008). Concrete possible worlds. In T. Sider, J. Hawthorne, & D. W. Zimmerman (Eds.), Contemporary debates in metaphysics (pp. 111–134). Oxford: Basil Blackwell.
Bricker, P. (2017). Is there a Humean account of quantities? Philosophical Issues, 27(1), 26–51.
Bricker, P. (forthcoming). Realism without parochialism, In Modal matters: Essays in metaphysics, Oxford: Oxford University Press.
Broad, C. D. (1923). Scientific thought. New York: Harcourt, Brace, and Company.
Broad, C. D. (1938). An examination of McTaggart’s philosophy (Vol. 2, part 1). Cambridge: Cambridge University Press.
Carnap, R. (1947a). Meaning and necessity. Chicago, IL: University of Chicago Press.
Carnap, R. (1947b). On the application of inductive logic. Philosophy and Phenomenological Research, 8(1), 133–148.
Carnap, R. (1950). Logical foundations of probability. Chicago, IL: University of Chicago Press.
Cowling, S. (2012). Haecceitism for modal realists. Erkenntnis, 77(3), 399–417.
Cowling, S. (2015). Non-qualitative properties. Erkenntnis, 80(2), 275–301.
Cowling, S. (forthcoming). Recombining non-qualitative reality. Synthese.
Divers, J. (2002). Possible worlds. London: Routledge.
Dorr, C. (2002). The simplicity of everything. Ph.D. diss.: Princeton University.
Eddon, M. (2009). Quantity and quality: Naturalness in metaphysics. New Jersey: Rutgers University.
Fine, K. (1977). Properties, propositions and sets. Journal of Philosophical Logic, 6(1), 135–191.
Gallois, A. (1998). Occasions of identity: A study in the metaphysics of persistence, change, and sameness. Oxford: Oxford University Press.
Hawley, K. (2009). Identity and indiscernibility. Mind, 118(469), 101–119.
Hawthorne, J. (2001). Causal structuralism. Philosophical Perspectives, 15, 361–378. Reprinted in Hawthorne 2006, pp. 211–227.
Hawthorne, J. (2006). Metaphysical essays. Oxford: Oxford University Press.
Hildebrand, T. (2016). Two types of quidditism. Australasian Journal of Philosophy, 94(3), 516–532.
Hoefer, C. (2009). Causation in spacetime theories. In H. Beebee, C. Hitchcock, & P. Menzies (Eds.), The oxford handbook of Causation (pp. 687–706). Oxford: Oxford University Press.
Hume, D. ([1739] 1888). A treatise of human nature. L.A. Selby-Bigge (Ed.), Oxford: Clarendon Press.
Ismael, J. (2001). Essays in symmetry. New York: Garland Publishing.
Ismael, J., & van Fraassen, B. C. (2003). Symmetry as a guide to superfluous theoretical structure. In K. Brading & E. Castellani (Eds.), Symmetries in physics: Philosophical reflections (pp. 371–392). Cambridge: Cambridge University Press.
Kant, I. ([1781/1787] 1998). Critique of pure reason. (P. Guyer & A. W. Wood, Trans. & Eds.), Cambridge: Cambridge University Press.
Lange, M. (1995). Are there natural laws concerning particular biological species? Journal of Philosophy, 92(8), 430–451.
Lange, M. (2000). Natural laws in scientific practice. Oxford: Oxford University Press.
Leibniz, G.W. ([1717] 1956). The Leibniz–Clarke correspondence. In H.G. Alexander (Ed.), Manchester: Manchester University Press.
Lewis, D. (1983). New work for a theory of universals. Australasian Journal of Philosophy, 61(4), 343–377. Reprinted in Lewis 1999, pp. 8–55.
Lewis, D. (1986). On the plurality of worlds. Oxford: Basil Blackwell.
Lewis, D. (1999). Papers in metaphysics and epistemology. Cambridge: Cambridge University Press.
Lewis, D. (2001). Redefining ‘intrinsic’. Philosophy and Phenomenological Research, 63(2), 381–395.
Lewis, D. (2009). Ramseyan humility. In D. Braddon-Mitchell & R. Nola (Eds.), Conceptual analysis and philosophical naturalism (pp. 203–222). Cambridge, MA: MIT Press.
MacFarlane, J. (2000). What does it mean to say that logic is formal? Ph.D. diss., University of Pittsburgh.
Maddy, P. (1990). Realism in mathematics. Oxford: Clarendon Press.
Merricks, T. (2001). Objects and persons. Oxford: Clarendon Press.
Rickles, D. (2006). Time and structure in canonical gravity. In R. Dean, S. French, & J. Saatsi (Eds.), The structural foundations of quantum gravity (pp. 152–195). Oxford: Clarendon Press.
Rickles, D. (2008). Symmetry, structure, and spacetime. Amsterdam: Elsevier.
Rosen, G., & Dorr, C. (2002). Composition as a fiction. In R. M. Gale (Ed.), The blackwell guide to metaphysics (pp. 151–174). Oxford: Basil Blackwell.
Rosenkrantz, G. (1979). The pure and the impure. Logique et Analyse, 22(88), 515–523.
Saucedo, R. (2011). Parthood and location. Oxford Studies in Metaphysics, 6, 225–284.
Sider, T. (1993). Naturalness, intrinsicality, and duplication, Ph.D. diss., Amherst: University of Massachusetts.
Sider, T. (2011). Writing the book of the world. Oxford: Oxford University Press.
Simmons, B. (forthcoming). Impure concepts and non-qualitative properties, Synthese.
Teller, P. (1984). A poor man’s guide to supervenience and determination. Southern Journal of Philosophy, 22(Special Issue), 137–162.
Tooley, M. (1977). The nature of laws. Canadian Journal of Philosophy, 7(4), 667–698.
van Inwagen, P. (1990). Material beings. Ithica, NY: Cornell University Press.
Wang, J. (2013). From combinatorialism to primitivism. Australasian Journal of Philosophy, 91(3), 535–554.
Wedin, M. V. (2000). Aristotle’s theory of substance: The categories and metaphysics zeta. Oxford: Oxford University Press.
Williams, D. C. (1962). Dispensing with existence. Journal of Philosophy, 59(23), 748–763.
Acknowledgements
Thanks to Sam Cowling, André Gallois, Arturo Javier-Castellanos, Li Kang, Ned Markosian, Kris McDaniel, Preston Werner, two anonymous referees, and an audience at the 2016 Pacific division meeting of the APA for helpful comments on earlier drafts of this paper.
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
Simmons, B. Fundamental non-qualitative properties. Synthese 198, 6183–6206 (2021). https://doi.org/10.1007/s11229-019-02458-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-019-02458-5