Let's discuss the idea that there are no such things as properties, just lots of things which are more or less similar

``` MEDIEVAL & EARLY MODERN DEBATE / \ REALIST EXTRA-ENTITY HYPOTHESIS NON-RELATIONAL/CONSTITUTIVE (Requires higher-order ties) (Duns Scotus's *haecceity* / Triggering: Infinite Regress Suárez's *fundamental modes*) \ / v v [ FORMALIZATION BY F.H. BRADLEY ] *Appearance and Reality* (1893) ``` **Context & Connection:** Long before F.H. Bradley formulated his regress in *Appearance and Reality* (1893), late medieval Scholastics—most notably Duns Scotus and Francisco Suárez—grappled with the *problem of unity*: how a nature (universal) and a particularizing feature combine without generating an endless chain of intermediate entities. Scholastics recognized that if the unifying principle is treated as a distinct "thing" (*res*), it demands its own unifier. Scotus answered this with the concept of the **haecceity** (*thisness*), an ultimate reality that individuates a nature without acting as a separate relation. Suárez later argued that properties adhere to subjects via **inherence modes**—aspects of reality that do not possess independent existence and thus do not require further relations to attach them. **Insight / Question:** Examining Bradley's regress through this scholastic debate reveals that the regress is not merely a modern weapon for nominalists; it is a structural challenge for *any* constituent ontology. It raises the core question: *Can two distinct entities be unified by something that is not itself an entity, or does any non-relational tie ultimately collapse into a mere verbal trick?* --- ### 2. Empirical or Scientific Connection: Quantum Entanglement and Non-Relational Holism ``` MACROSCOPIC ONTOLOGY QUANTUM MECHANICS [ Object A ] [ Object B ] [ Entangled State |Ψ⟩ ] \ / | (Relation R) v | Non-Relational Holism v (No relational "tie" needed; Bradley's Regress system is unified) ``` **Context & Connection:** Classical ontologies model systems by identifying discrete objects and posits (e.g., spatial or causal relations) that bind them, exposing them to Bradley-style regresses. Quantum mechanics, however, offers an empirical countermodel in the form of **quantum entanglement**. In an entangled system (such as two spin-singlet electrons), the physical properties of the composite system $|\Psi\rangle$ cannot be decomposed into the intrinsic properties of particle $A$, particle $B$, and a fundamental physical "relation" holding between them. Quantum state holism suggests that the system's unity is fundamental rather than relationally constructed. **Insight / Question:** Empirical phenomena like entanglement challenge the assumption that unity requires a relational glue. This suggests a testable philosophical question for physicalism: *Does quantum mechanics provide an empirical instance of non-relational instantiation, demonstrating that subatomic reality avoids Bradley's regress by realizing states of affairs that cannot be reduced to relata plus relations?* --- ### 3. Opposing Framework: Non-Relational Tie and Primitive Exemplification ``` REALIST RESPONSES TO BRADLEY / \ PRIMITIVE EXEMPLIFICATION TROPE ONTOLOGY (D.M. Armstrong) (Keith Campbell) - Instantiation is a "non-relational - Particularized natures tie" or state of affairs. - Self-unifying; no universal - Relata are unmediated. or relation required. ``` **Context & Connection:** Realistic metaphysics does not yield to Bradley's regress automatically. A major counter-framework—defended by Armstrong in *Universals and Scientific Realism* (1978)—argues that Bradley’s argument rests on a category mistake: treating **instantiation** (or exemplification) as if it were a standard relational universal. Armstrong posits that instantiation is a **non-relational tie** or a primitive state of affairs. On this view, an object $a$ having property $F$ is a single, irreducible *state of affairs* rather than three separate items ($a$, $F$, and $R$) tied together. Alternatively, **Trope Theory** solves the problem by rejecting universals entirely; tropes are particularized qualities (like *the specific redness of this apple*) that are self-instantiating, eliminating the need for an instantiation tie altogether. **Insight / Question:** Confronting Nominalism with primitive realism reframes Bradley's regress from a definitive debunking of universals into a debate about primitive concepts. It asks: *Is primitive instantiation an ad hoc defense to stop a regress, or is it an indispensable feature of any coherent theory of state-of-affairs structure?* --- ### 4. Cross-Disciplinary or Practical Direction: Type Theory and Graph Data Architectures ``` COMPUTER SCIENCE & LOGIC Type Theory Graph Databases (Russell & Whitehead) (RDF / Knowledge Graphs) | | Prevents Type Collisions Avoids Infinite Triples (Properties cannot take (Nodes & edges are defined themselves as arguments) without reifying edges indefinitely) ``` **Context & Connection:** The structural logic of Bradley's regress appears directly in theoretical computer science, database design, and knowledge representation. * **Type Theory:** In formal logic, Bertrand Russell developed the *Theory of Types* (partly in response to regress and paradoxes), dictating that a predicate/property belongs to a higher type than the object it modifies. An instantiation relation cannot be of the same type as the relations it unifies, structurally blocking infinite regresses of the Bradley type. * **Graph Databases:** In semantic web architectures (e.g., Resource Description Framework or RDF), data is represented as triples: `(Subject, Predicate, Object)`. If a system attempts to represent the *validity* or *meta-properties* of a edge/predicate by treating every edge as a node that requires a new edge, it encounters a system-crashing regress known as **infinite reification**. Practical computer science avoids this by treating edges as native primitive structural bindings rather than data entities. **Insight / Question:** Computer science demonstrates that nominalist and realist strategies for solving Bradley's regress have practical computational constraints. It raises the applied question: *How do choices between primitive structural links (Realist "ties") and pure node-attribute clustering (Nominalism) affect the scalability and semantic expressiveness of formal knowledge representation algorithms?*