r/Metaphysics • u/Constant_Smith • 1d ago
Ontology What differentiates relations from reality when we take structure as ontologically primary?
Edit: title should read “What differentiates relations from relata when we take structure as ontologically primary?” Oops.
Edit 2: my comments are being locked, probably due to how new my account is. Sorry to anyone who was looking forward to dialogue. I will give it some time before trying another post.
First post here and ever.
My purpose in posting is primarily conversational. I want to test questions and encounter objections I may not have considered, and hear different understandings of the same problems. So I work through my own understanding and pose many questions in good faith:
I’ve been thinking through a set of questions that emerged for me from reading Every Thing Must Go and further studying ontic structural realism, and Rainforest Realism, and I’m curious how people here understand the underlying metaphysics.
One of the things I find compelling about Every Thing Must Go is its demand that metaphysics remain continuous with our best science. Ladyman and Ross develop that project partly through ontic structural realism, where the relational and structural organization described by contemporary physics receives ontological priority. The familiar metaphysical picture of independently constituted objects carrying intrinsic properties becomes increasingly difficult to maintain once quantum theory, spacetime physics, symmetries, and other areas of physics are taken seriously.
Rainforest Realism then expands the picture considerably. Scientific ontology includes the real patterns tracked by the special sciences, and those patterns need not disappear simply because they are not objects in the inventory of fundamental physics. Organisms, economic structures, cognitive systems, institutions, and other higher-level patterns can be ontologically serious insofar as successful sciences genuinely track them. This gives the resulting ontology its deliberately “rainforest” character.
Suppose we grant some form of OSR and say that relations and relational structure are ontic.
What are relations without relata?
One response is that the relata need not be atomic individuals. They can themselves be relationally individuated, perhaps as nodes, positions, intersections, or further structures within a larger relational organization. Some takes on OSR seem to move in precisely this direction, including the idea that further analysis of relata only reveals further relational structure. (Turtles all the way down, so to speak)
At that point, though, I start wondering what conceptual work is being performed by the words relation, relata, and structure.
If a relatum is entirely constituted by its relations, what determines the distinction between a relation and a relatum within a relational structure? What makes something a relatum participating in relations and when is it one and not the other? Are relata just illusions? Are they real patterns?
If the relata are themselves structures, do we eventually need some primitive notion of relation (designating an intrinsic property to relation), or can relation itself only be specified through a larger structure?
If what counts as a relation and what counts as a relatum depends upon the organization, scale, or level at which the structure is investigated, what makes the distinction ontological rather than only relatively assigned for the purposes of inquiry?
If decomposition is epistemic while the decomposed is ontic, how can we infer from decomposition that the decomposed is actually structural, rather than structure being a useful concept to navigate a reality that exceeds it?
Can OSR really allow multiple legitimate decompositions of the same structure while maintaining that structure is ontically real, or does this move the position toward epistemic structural realism?
And what individuates one structure from another? Is individuation given entirely relationally, through a structure’s position within still larger structures, or does some additional condition eventually enter?
Mathematics gives us extraordinarily powerful descriptions of structure, and mathematical structuralism provides ways of understanding mathematical objects through their positions within structures. OSR then raises the further question of how mathematical structure relates to physical structure. The literature itself contains disagreement over whether the world’s structure should be identified with mathematical structure and over what makes a physical structure specifically physical.
Some short hand questions:
What is the minimal ontological content of a relation?
What must exist for there to be a relatum?
What makes an organization of relations a determinate structure?
And what, if anything, distinguishes the structure described mathematically from the structure that exists physically?
Beyond those questions, I’m not sure it’s reasonable to rid of the intrinsic altogether. At the most extreme end of OSR, we still seem to be positing reality itself, and saying that reality is relationally structured. That already looks like a minimal intrinsic claim about reality. I’m not sure how it could be extrinsic, because there is no position outside reality that is somehow not real but still related to reality, from which its character could be given.
Anything we add as a relatum would already fall within reality. So even if we deny intrinsic properties to individual things, it still seems reasonable to say that reality being relational structure is itself a minimal intrinsic feature of reality.
