Abstract
Relationism holds that objects entirely depend on relations or that they must be eliminated in favour of the latter. In this article, I raise a problem for relationism. I argue that relationism cannot account for the order in which non-symmetrical relations apply to their relata. In Section 1, I introduce some concepts in the ontology of relations and define relationism. In Section 2, I present the Problem of Order for non-symmetrical relations, after distinguishing it from the Problem of Differential Application. I also examine four main existing strategies to solve it. In Section 3, I develop my argument. The first step consists in arguing that—among those strategies—relationism can only accept directionalism. The second step consists in arguing that directionalism is affected by a serious problem: the Problem of Converses. I also show that relationists who embrace directionalism cannot solve this problem. In Section 4, I introduce and rebut several strategies on behalf of relationists to cope with my argument. In Section 5, I briefly draw some conclusions.
Similar content being viewed by others
Notes
I call “symmetrical” here those relations that Donnelly (2021) calls “completely symmetric”.
See for example Tahko and Lowe (2020).
In what follows, I shall also examine the possibility that objects depend on relations in some respect(s) and that relations depend on objects in some further respect(s). In this case, depending in some respect(s) need not be an asymmetrical relation.
Here “entirely” points to the number of dependees. However, in this context, there is another sense in which objects entirely depend on relations. As we have seen, the former depend on the latter for every aspect.
However, if, in addition to this claim, one held that relational properties do not depend on relations, one could then construct two corresponding versions of relationism based on relational properties.
Additionally, Mertz (2016) defends the view that the only fundamental entities are relational instances.
See Morganti (2019).
I wish to thank one anonymous reviewer for this objection.
See McKenzie (2020).
See for example Psillos (1995, 2001, 2006, 2012), Keränen (2001), Cao (2003), McArthur (2003), Morganti (2004), Ketland (2006), MacBride (2006), Chakravartty (2007), Jantzen (2011), Wolff (2011) and Briceño and Mumford (2016). For a critical discussion of some varieties of structuralism, see Sider (2020). For some replies on behalf of ontic structuralists, see for example French and Ladyman (2003b) and French (2014).
I am well aware that relational order is primarily taken to be a feature of relational facts, such as Othello’s hating Cassius, and not of relations (see for example Orilia 2008). However, as we shall see, relationism must explain the order of relational facts in terms of relations. Therefore, within this perspective, it is legitimate to claim that relational order is also (or only) a feature of relations or a feature of relational facts imposed by relations on the objects that take part in such facts. It goes without saying that I do not assume that order is only a feature of relations either. Therefore, the Problem of Order does not only affect directionalism (see below).
Therefore, on positionalism, R does not ‘apply’ to A and B with a certain order. But it imposes a certain order on the resulting relational fact with A and B in virtue of its being filled in a certain way.
See Fine (2000). Manners are not reified. They are reduced to relations of simultaneous substitutions.
See MacBride (2014).
It does not help here (and in the rest of our discussion) to distinguish between specific and generic dependence. Namely, between R’s being ordered depending on certain specific objects or on some object or another. In both cases, (NO) gets violated. Indeed, even when R’s being ordered depends on some object or another, R turns out to depend on objects.
Moreover, being objects included in the essence of relations, objects and relations would turn out to be equifundamental. And this would be at odds with (DR) as well.
This argument also holds with a very thin conception of objects, according to which objects are nothing but nodes in relational structures. The relations within such structures would either depend on nodes/objects for their being ordered (thus violating (NO)), or they would include nodes/objects in their essence, or everything would depend on some underlying and mysterious reality, or such relations would be endowed with directions.
See for example Dorr (2004) and MacBride (2014, 2015, 2020). To make sense of opposition of directions, MacBride (2015) appeals to series of relata. But this move is not available to relationists. For series of relata should primarily be series of objects, insofar as the relata at stake are objects. And objects would then contribute to making sense of opposition of directions.
The necessity here is conceptual. Indeed, at the moment, we are not dealing with distinct converse relations, but with distinct linguistic items whose use is regulated by conceptual norms.
A version of this argument has been developed by Williamson (1985). Liebesman (2013) offers a solution that is based on nominalizing the corresponding converse predicates in different ways. For example, “the hating” successfully refers to hating, whereas “the being hated” successfully refers to being hated. However, it seems to me that, if only hating exists, it is still legitimate to successfully refer to it by both “the hating” and “the being hated”—insofar as the latter nominalizations come together as a matter of conceptual necessity. For example, when Othello stands in the hating relation to Cassius, it is legitimate to successfully refer to hating by both “the hating of Othello with respect to Cassius” and “the being hated of Cassius by Othello”.
See Tahko (2018).
See for example Orilia and Paolini Paoletti (2020).
This regress is discussed by Morganti (2020).
Similar arguments against a world of abstract, Platonic structures are presented by Briceño and Mumford (2016). A milder option consists in holding that basic Platonic relations do not start to be instantiated. They are always there, so to say. What starts to obtain are certain facts: that the basic Platonic relations are related by further relations. Yet, in order to account for such a change in fully relational terms, one would need to invoke further Platonic relations and their starting to get instantiated. And a regress would begin.
Aristotelian bundle theorists may reply that objects are nothing but bundles of relations, so that they entirely depend on the latter (see for example Mertz 1996). If relations depended in turn for their existence on their constituting such bundles, they would depend on themselves, so to say. More precisely, in order for a relation to exist, it must constitute some bundle or another. In order to constitute a bundle, that relation just needs to join further relations. Indeed, constituting a bundle is nothing but joining further relations. Thus, by constituting bundles, relations turn out to depend on their own joining further relations. But consider now the relation of joining. Joining is something that must be bundled together with the relations partaking in it. Thus, some further relation of joining is required. A regress may begin. To avoid this regress, one may try to take joining as an internal, mutual dependence relation holding between the bundled relations, following a strategy developed by Simons (1994). But this would run against the Aristotelian desideratum. Indeed, on this view, relations depend for their existence on their joining further relations in bundles. But joining further relations in bundles now turns out to depend on the former relations. Thus, by transitivity, relations only turn out to depend on themselves for their existence—contra the irreflexivity of dependence.
Alvarado (2020: 304) defends a view in the neighbourhood. According to him, Platonic relational tropes act as nodes in structures.
Ainsworth (2010) suggests a version of ontic structuralism that admits of both monadic properties and relations.
I cannot consider here the phenomena of spontaneous symmetry breaking in micro-physics. Such phenomena lead to the reduction of the number of symmetries within a certain group, thus introducing non-symmetry. But I wish to make two quick remarks. First, the reduction of the number of symmetries within a certain group is still not enough to account for the fact that certain non-symmetrical relations are in place. True: when a certain symmetrical relation R is not there anymore, it has to be replaced with some non-symmetrical relation R’. Yet, the underlying symmetrical relation R need not ground which among all of its possible directions or orders R’ gets. Secondly, this entails that the non-symmetrical relation R’ depends only in part on the underlying symmetrical relation R. And this runs against the project of reducing the former to the latter. On symmetry and symmetry breaking, see Brading, Castellani and Teh (2017).
In this respect, Castellani (1998) also appeals to space–time coordinates in order to define Galilean particles. A similar move may be made with respect to microphysical objects. However, it seems that, in order to define space–time coordinates and the occupation of the latter, it is necessary to appeal to non-symmetrical relations—at some point or another. For example, the occupation relation itself seems to be non-symmetrical. Muller (2011b) suggests that we could provide distinction conditions for space–time points by appealing to a symmetrical light cone relation. Such a relation is informally defined as follows: two points stand in the light cone relation if and only if there is some point inside one light cone but outside the other (light cone) of these points. When two space–time points stand in that relation, they are distinct. When they do not, they are identical. However, in order to define the light cone relation, we actually need to appeal to non-symmetrical relations between points and light cones. Indeed, points are taken to be in light cones, whereas light cones are not taken to be in points. Moreover, the fact that such relations may be applied in different ways to different points seems to presuppose an underlying distinction between points themselves.
At any rate, this sixth constraint, dealing with the non-fundamental, seems to be less demanding than the other constraints.
See Williamson (1985). In this case, E1 and E2 would be the following relational instances involving R and distinct conventions C1 and C2: R’s possibly getting its positions assigned according to convention C1; R’s possibly getting its positions assigned according to convention C2.
One may object that E1 and E2 actually play slightly different explanatory roles. For E1 only explains W1, whereas E2 only explains W2. Moreover, E1’s being distinct from E2’s is taken to explain W1’s being distinct from W2. Thus, E1 and E2 together explain the distinction between W1 and W2. Right. However, the need to explain W1 and W2 is an ad hoc one and it is only motivated by the acceptance of this strategy. On alternative ways of dealing with non-symmetrical relations, we may dispense with such a need. Or we may satisfy it without invoking E1 and E2. Another, more radical possibility consists in claiming that the distinction between W1 and W2 entirely hinges on ourselves, on our minds. This solution does not explain the non-symmetry of R. Moreover, it does not explain why certain relations such as R can be legitimately conceptualized in two distinct ways, whereas other relations (i.e., symmetrical ones) cannot—or need not.
Though Bader (2020: 36) assigns grounding roles to the relata of symmetrical relations, so that what he claims is prima facie incompatible with relationism.
The numerical distinction of objects is troublesome as well. That x and y are numerically distinct objects may well depend on R’s being irreflexive. And something analogous may be claimed with respect to R’, y and z. However, what makes it the case that x is numerically distinct from z? It can only be the following, complex fact: that R is distinct from R’ and R(x,y) and R’(y,z) and not-R(y,z) and not-R’(x,z) and not-R’(x,y) and not-R(z,x) and not-R(z,y). Or, alternatively, it is the following totality fact: that R(x,y) and R’(y,z) are all the facts there are. In both cases, it seems that negative facts must be introduced at the fundamental level in order to account for the numerical distinction between x and z. More on negative facts in Paolini Paoletti (2014).
I am grateful to Francesco Orilia, Matteo Morganti and one reviewer for their helpful comments. This study received financial support from the Italian “Ministero dell’Istruzione, dell’Università e della Ricerca”, as part of the PRIN-2017 Project “The Manifest Image and the Scientific Image” (prot. n. 2017ZNWW7F).
References
Ainsworth. (2010). What is ontic structuralism? Studies in History and Philosophy of Modern Physics, 41, 50–57.
Alvarado, J. T. (2020). A metaphysics of platonic universals and their instantiations. Springer.
Bader, R. M. (2020). Fundamentality and non-symmetric relations. In D. Glick, G. Darby, & A. Marmodoro (Eds.), The foundation of reality. Fundamentality, space, and time (pp. 15–45). Oxford: Oxford University Press.
Bianchi, S., Giannotti, J. (2021). Grounding ontic structuralism. Synthese, 99, 5205–5223.
Brading, K., Castellani, E., & Teh, N. (2017). Symmetry and symmetry-breaking. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. https://plato.stanford.edu/entries/symmetry-breaking/ - last visited on January 24, 2021.
Briceño, S., & Mumford, S. D. (2016). Relations all the way down? Against ontic structural realism. In A. Marmodoro & D. Yates (Eds.), The metaphysics of relations (pp. 198–217). Oxford University Press.
Busch, J. (2003). What structures could not be. International Studies in the Philosophy of Science, 17, 211–225.
Cao, T. (2003). Can we dissolve physical entities into mathematical structures? Synthese, 136, 57–71.
Castellani, E. (1998). Galilean particles: An example of constitution of objects. In E. Castellani (Ed.), Interpreting bodies: Classical and quantum objects in modern physics (pp. 181–194). Princeton University Press.
Chakravartty, A. (2007). A metaphysics for scientific realism. Knowing the unobservable. Cambridge University Press.
Chakravartty, A. (2012). Ontological priority: The conceptual basis of non-eliminative, ontic structural realism. In E. M. Landry & D. P. Rickles (Eds.), Structural realism. Structure, object, and causality (pp. 187–206). Springer.
Dasgupta, S. (2009). Individuals: An essay in revisionary metaphysics. Philosophical Studies, 145, 35–67.
Dipert, R. R. (1997). The mathematical structure of the world: The world as a graph. The Journal of Philosophy, 94, 329–358.
Dixon, S. (2018). Plural slot theory. Oxford Studies in Metaphysics, 11, 193–223.
Donnelly, M. (2016). Positionalism revisited. In A. Marmodoro & D. Yates (Eds.), The metaphysics of relations (pp. 80–99). Oxford University Press.
Donnelly, M. (2021). Explaining the differential application of non-symmetric relations. Synthese, 199, 3587–3610.
Dorr, C. (2004). Non-symmetric relations. Oxford Studies in Metaphysics, 1, 155–192.
Esfeld, M. (2004). Quantum entanglement and a metaphysics of relations. Studies in History and Philosophy of Modern Physics, 35, 601–617.
Esfeld, M. (2020). A proposal for a minimalist ontology. Synthese, 197, 1889–1905.
Esfeld, M., & Lam, V. (2008). Moderate structural realism about space-time. Synthese, 160, 27–46.
Fine, K. (2000). Neutral relations. The Philosophical Review, 199, 1–33.
French, S. (2006). Structure as a weapon of the realist. Proceedings of the Aristotelian Society, 106, 169–187.
French, S. (2010). The interdependence of structure, objects and dependence. Synthese, 175, 89–109.
French, S. (2014). The structure of the world. Metaphysics and representation. Oxford University Press.
French, S., & Ladyman, J. (2003a). Remodelling structural realism: Quantum physics and the metaphysics of structure. Synthese, 136, 31–56.
French, S., & Ladyman, J. (2003b). The dissolution of objects: Between platonism and phenomenalism. Synthese, 136, 73–77.
Gilmore, C. (2013). Slots in universals. Oxford Studies in Metaphysics, 8, 187–233.
Glick, D. (2020). Generalism and the metaphysics of ontic structural realism. The British Journal for the Philosophy of Science, 71, 751–772.
Grossman, R. (1983). The categorial structure of the world. Indiana University Press.
Grossman, R. (1992). The existence of the world. Routledge.
Heil, J. (2021). Relations. Cambridge University Press.
Jantzen, B. C. (2011). No two entities without identity. Synthese, 181, 433–450.
Kantorovich, A. (2009). Ontic structuralism and the symmetries of particle physics. Journal for General Philosophy of Science, 40, 73–84.
Keränen, J. (2001). The identity problem for realist structuralism. Philosophia Mathematica, 9, 308–330.
Ketland, J. (2006). Structuralism and the identity of indiscernibles. Analysis, 66, 303–315.
Ladyman, J. (1998). What is structural realism? Studies in History and Philosophy of Science, 29, 409–424.
Ladyman, J. (2007). Scientific structuralism. On the identity and diversity of objects in a structure. Proceedings of the Aristotelian Society, S81, 23–43.
Ladyman, J., & Ross, D. (2007). Every thing must go. Metaphysics naturalized. Oxford University Press.
Ladyman, J. (2014). Structural realism. In: Zalta, E. N., The Stanford encyclopedia of philosophy (https://plato.stanford.edu/entries/structural-realism/ - last visited on March 10, 2021)
Leitgeb, H. (2020). On non-eliminative structuralism. Unlabeled graphs as a case study, part A. Philosophia Mathematica, 28, 317–346.
Leitgeb, H., & Ladyman, J. (2008). Criteria of identity and structuralist ontology. Philosophia Mathematica, 16, 388–396.
Leitgeb, H. (2021). On non-eliminative structuralism. Unlabeled graphs as a case study, part B. Philosophia Mathematica, 29, 64–87.
Liebesman, D. (2013). Converse and identity. Dialectica, 63, 137–155.
Liebesman, D. (2014). Relations and order-sensitivity. Metaphysica, 15, 409–429.
Linnebo, O. (2008). Structuralism and the notion of dependence. The Philosophical Quarterly, 58, 59–79.
MacBride, F. (2006). What constitutes the numerical diversity of mathematical objects? Analysis, 66, 63–69.
MacBride, F. (2007). Neutral relations revisited. Dialectica, 61, 25–56.
MacBride, F. (2014). How involved do you want to be in a non-symmetrical relationship? Australasian Journal of Philosophy, 92, 1–16.
MacBride, F. (2015). On the genesis of order: Non-symmetric or only symmetric relations? In M. J. Loux & G. Galluzzo (Eds.), The problem of universals in contemporary philosophy (pp. 173–194). Cambridge University Press.
MacBride, F. (2020). Relations. In: Zalta, E. N., The Stanford encyclopedia of philosophy (https://plato.stanford.edu/entries/relations - last visited on March 10, 2021)
McArthur, D. (2003). Reconsidering structural realism. Canadian Journal of Philosophy, 33, 517–536.
McKenzie, K. (2014a). Priority and particle physics: Ontic structural realism as a fundamentality thesis. The British Journal for the Philosophy of Science, 65, 353–380.
McKenzie, K. (2014b). On the fundamentality of symmetries. Philosophy of Science, 81, 1090–1102.
McKenzie, K. (2020). Structuralism in the idiom of determination. The British Journal for the Philosophy of Science, 71, 497–522.
Mertz, D. W. (1996). Moderate realism and its logic. Yale University Press.
Mertz, D. W. (2016). On the elements of being. Attribute instances and structure. de Gruyter.
Morganti, M. (2004). On the preferability of epistemic structural realism. Synthese, 142, 81–107.
Morganti, M. (2019). From ontic structural realism to metaphysical coherentism. European Journal for the Philosophy of Science, 9, 7.
Morganti, M. (2020). Ontic structuralism and fundamentality. In D. Glick, G. Darby, & A. Marmodoro (Eds.), The foundation of reality. Fundamentality, space, and time (pp. 69–86). Oxford University Press.
Muller, F. A. (2011a). Withering away, weakly. Synthese, 180, 223–233.
Muller, F. A. (2011b). How to defeat Wüthrich’s abysmal embarrassment argument against space-time structuralism. Philosophy of Science, 78, 1046–1057.
Muller, F. A. (2015). The rise of relationals. Mind, 124, 201–237.
Muller, F. A., & Saunders, S. (2008). Discerning fermions. The British Journal for the Philosophy of Science, 59, 499–548.
Muller, F. A., & Seewinck, M. P. (2009). Discerning elementary particles. Philosophy of Science, 76, 179–200.
O’Conaill, D. (2014). Ontic structural realism and concrete objects. The Philosophical Quarterly, 64, 284–300.
Orilia, F. (2008). The problem of order in relational states of affairs: A Leibnizian view. In R. Egidi & G. Bonino (Eds.), Fostering the ontological turn. Gustav Bergmann (1906–1987) (pp. 161–185). de Gruyter.
Orilia, F. (2011). Relational order and onto-thematic roles. Metaphysica, 12, 1–18.
Orilia, F. (2014). Positions, ordering relations and O-roles. Dialectica, 68, 283–303.
Orilia, F., Paolini Paoletti, M. (2020). Properties. In: Zalta, E. N., The Stanford encyclopedia of philosophy (https://plato.stanford.edu/entries/properties/ - last visited on March 10, 2021)
Paolini Paoletti, M. (2014). Falsemakers: Something Negative about Facts. Grazer Philosophische Studien, 90, 169–182.
Paolini Paoletti, M. (2016). Non-Symmetrical Relations, O-Roles, and Modes. Acta Analytica, 31, 373–395.
Parsons, C. (2008). Mathematical thought and its objects. Cambridge University Press.
Psillos, S. (1995). Is structural realism the best of both worlds? Dialectica, 49, 15–46.
Psillos, S. (2001). Is structural realism possible? Philosophy of Science, 68, S13–S24.
Psillos, S. (2006). The structure, the whole structure, and nothing but the structure? Philosophy of Science, 73, 560–570.
Psillos, S. (2012). Adding modality to ontic structuralism: An exploration and critique. In E. M. Landry & D. P. Rickles (Eds.), Structural realism. Structure, object, and causality (pp. 169–186). Berlin: Springer.
Resnik, M. D. (1997). Mathematics as a science of patterns. Oxford University Press.
Russell, B. (1903). The principles of mathematics. Allen & Unwin.
Saunders, S. (2003). Physics and Leibniz’s principle. In K. Brading & E. Castellani (Eds.), Symmetries in physics. Philosophical reflections (pp. 289–307). Cambridge University Press.
Saunders, S. (2006). Are quantum particles objects? Analysis, 66, 52–63.
Shackel, N. (2011). The world as a graph: Defending metaphysical graphical structuralism. Analysis, 71, 10–21.
Shapiro, S. (1997). Philosophy of mathematics: Structure and ontology. Oxford University Press.
Shapiro, S. (2000). Thinking about mathematics. The philosophy of mathematics. Oxford University Press.
Sider, T. (2020). The tools of metaphysics and the metaphysics of science. Oxford University Press.
Simons, P. (1994). Particulars in particular clothing: Three trope theories of substance. Philosophy and Phenomenological Research, 54, 553–575.
Tahko, T. E., Lowe, E. J. (2020). Ontological dependence. In: Zalta, E. N., The Stanford encyclopedia of philosophy (https://plato.stanford.edu/entries/dependence-ontological/ - last visited on March 10, 2021)
Tahko, T. E. (2018). Fundamentality. In: Zalta, E. N., The Stanford encyclopedia of philosophy (https://plato.stanford.edu/entries/fundamentality/ - last visited on March 10, 2021)
Williamson, T. (1985). Converse relations. The Philosophical Review, 94, 249–262.
Wolff, J. (2011). Do objects depend on structures? The British Journal for the Philosophy of Science, 63, 607–625.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The author declares no competing interests.
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
Paolini Paoletti, M. Relationism and the Problem of Order. Acta Anal 38, 245–273 (2023). https://doi.org/10.1007/s12136-022-00513-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12136-022-00513-4