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

How do two distinct physical objects—such as a ripe tomato and a stop sign—share the exact same feature, such as being "red"? In metaphysics, the standard *realist* response posits the existence of **universals**: abstract, repeatable entities that exist over and above individual things and are instantiated by them. The thesis you have introduced is the core commitment of **Resemblance Nominalism**, an elegant alternative within *nominalism* (the denial of abstract entities). It claims that the fundamental furniture of the world consists solely of concrete particulars; properties do not exist as independent metaphysical items. Instead, an object is "red" simply because it resembles a set of other concrete, red objects. ``` THE METAPHYSICAL DIVIDE REALISM RESEMBLE NOMINALISM (Universals exist) (Only particulars exist) [ Universal ] [ Object A ] / \ \ resembles [ Object A ] [ Object B ] [ Object B ] ``` ### Mechanisms and Logical Architecture To understand how this operates, consider how a resemblance nominalist constructs what we ordinary speakers call "properties": 1. **Primitive Resemblance:** Resemblance is treated as an irreducible, primitive relation. Objects do not resemble one another *because* they share a property; rather, we say they share a property *because* they resemble one another. 2. **Equivalence Classes:** A "property" is reinterpreted as a maximal group of particulars that resemble each other to a requisite degree. 3. **Paretian / Paradigm Models:** Some versions select paradigm instances (e.g., a standard reference meter or a ideal sample of red) and define membership in a property class by an object’s degree of similarity to those paradigms. ### The Core Debates: Russell’s Regress and Coextension Despite its intuitive appeal, Resemblance Nominalism faces two classical objections in analytic metaphysics: * **Russell’s Regress:** Formulated by Bertrand Russell in *The Problems of Philosophy* (1912), this argument asserts that if you eliminate properties by invoking a relation of *resemblance*, you must explain what all individual acts of resemblance have in common. They must resemble each other, requiring a higher-order resemblance relation, triggering an infinite regress. Russell argued this proves that at least *one* universal—the relation of resemblance itself—must exist. Modern nominalists, such as Gonzalo Rodriguez-Pereyra, counter that resemblance is a multigrade relation that applies directly to particulars without constituting a repeatable universal. * **The Problem of Coextensive Properties:** If two distinct properties belong to the exact same set of objects in the actual world (for example, *renate* [having kidneys] and *cordate* [having a heart]), resemblance nominalism risks treating them as identical because the set of resembling objects is identical. Resolving this often forces nominalists to extend their scope to *possible* objects across modal space, importing heavy cosmological commitments to preserve a lean ontology. ### Broad Implications Resemblance Nominalism aligns closely with cognitive science theories of categorization, such as **prototype theory**, where human concepts are structured around similarity to central exemplars rather than strict, necessary-and-sufficient features. Economically, it offers a sparse ontology—reducing the universe to concrete entities and their concrete relationships—though critics argue that it merely sweeps metaphysical complexity under the rug of "primitive similarity". ## Follow-up questions 1. How does resemblance nominalism handle cases where two distinct properties happen to be possessed by the exact same set of objects? 2. Does Bertrand Russell’s regress argument successfully force the resemblance nominalist to accept at least one universal? 3. How do modern prototype theories in cognitive psychology mirror or challenge the philosophical assumptions of resemblance nominalism?

While both Resemblance Nominalism and Ostrich Nominalism reject abstract universals, they diverge sharply on whether the phenomenon of attribute agreement—objects "sharing" a feature—demands a metaphysical explanation. ``` METAPHYSICAL EXPLANATORY STRATEGIES RESEMBLE NOMINALISM OSTRICH NOMINALISM (Constructive / Reductive) (Austere / Refusal) "a is Red" & "b is Red" "a is Red" & "b is Red" │ │ Requires Grounds Brute Semantic Fact │ │ [ Primitive Resemblance ] [ "a is red" is just true ] ``` ### Explanatory Reduction vs. Radical Austere Refusal D.M. Armstrong coined the term **Ostrich Nominalism** (often associated with W.V.O. Quine and defended by Michael Devitt) to accuse philosophers of hiding their heads in the sand when faced with the "One over Many" problem: explaining how distinct particulars can be same-typed. * **Resemblance Nominalism** accepts the problem. It offers an *explanatory reduction*: object $a$ is red because it stands in a primitive similarity relation to other red objects. It builds a constructive architecture to account for property discourse without universals. * **Ostrich Nominalism** rejects the demand for a metaphysical grounding mechanism altogether. It asserts that predicate application is an ultimate, unanalyzable semantic fact. To say $a$ is red and $b$ is red requires no underlying relational "glue" or set construction; the truth of the simple sentence " $a$ is red" exhausts what needs to be said. | Dimension | Resemblance Nominalism | Ostrich Nominalism | | :--- | :--- | :--- | | **Primary Mechanism** | Symmetric, primitive resemblance relations | Asymmetric, primitive predication | | **Metaphysical Commitment** | Relations among particulars | Only the concrete particulars themselves | | **Stance on "One over Many"** | Solves it reductively | Dismisses it as a pseudo-problem | ### Practical Implications and Tensions The dispute hinges on differing standards of metaphysical parsimony: 1. **Theoretical Economy vs. Explanatory Debt:** The Ostrich achieves the ultimate "lean" ontology—containing only concrete particulars—but critics argue it purchases this simplicity by refusing to explain *why* the universe exhibits order and repeatable patterns. Resemblance Nominalists accept additional structural complexity (resemblance relations) to gain explanatory power. 2. **The Nature of Predication:** In computer science or formal semantics, an Ostrich view aligns with primitive type tagging (treating class membership as an irreducible property of an instance variable). Resemblance Nominalism mirrors vector-space similarity algorithms, where an entity's type is dynamically derived from its proximity to other nodes in a high-dimensional space.

The **"One over Many"** argument (often styled as the *Problem of Universals*) is a foundational dilemma in metaphysics. It asks a deceptive simple question: **How can multiple distinct, concrete particulars share a single, identical characteristic?** When we observe three distinct objects—a ripe tomato, a stop sign, and a fire engine—we naturally predicate the exact same feature of all three: each *is red*. Metaphysicians refer to the physical objects as the **Many** (distinct spatiotemporal particulars) and the common characteristic as the **One** (a shared property or universal). The "One over Many" puzzle forces us to explain what grounds this "attribute agreement": is there a single, real entity ("Redness") that stands "over" or exists within these distinct objects, or is our grouping of them merely a cognitive or linguistic convenience? --- ### Metaphysical Architectures: How Philosophers Solve the Puzzle The primary debate lies between **Realism** (which asserts that the "One" exists as an ontological reality) and **Nominalism** (which asserts that only the "Many" particulars exist). | Position | View on the "One" | Theoretical Mechanism | Major Proponents | | :--- | :--- | :--- | :--- | | **Platonic Realism** *(Transcendent)* | Abstract, mind-independent entity residing outside space and time. | Particulars **participate in** or **instantiate** an immutable Form (e.g., the Form of Redness). | Plato, Frege | | **Aristotelian Realism** *(Immanent)* | Real, mind-independent entity, but strictly located within space and time. | The universal is **literally present in** its instances (*universalia in rebus*). Redness exists fully inside the tomato, the sign, and the engine simultaneously. | Aristotle, D.M. Armstrong | | **Trope Nominalism** | Denies universals; properties are particular, non-repeatable instances ("tropes"). | The tomato has its *own* unique red-trope ($r_1$), which resembles the stop sign's red-trope ($r_2$). Similarity sets replace universals. | D.C. Williams, Keith Campbell | | **Austere / Ostrich Nominalism** | Rejects the demand for a metaphysical grounding mechanism altogether. | Predication is a **brute semantic fact**. Object $a$ is red simply because $a$ *is red*—no underlying property or relation explains it. | W.V.O. Quine, Michael Devitt | #### An Illustrative Analogy * **Platonic Realism:** Imagine a master blueprint stored in a cloud server. Every red chair on Earth is an imperfect physical download of that single, central blueprint. * **Aristotelian Realism:** Imagine a single file saved directly onto multiple local hard drives at once. The identical software exists simultaneously across distinct physical locations. * **Trope Nominalism:** Imagine distinct physical printed copies of a poster. No two prints share identical physical paper or ink, but their visual output looks nearly indistinguishable. * **Ostrich Nominalism:** Refuses the metaphor entirely. The hard drive is red because it is red—asking for a "blueprint" or "file" behind the fact is a pseudo-problem. --- ### Key Debates and Theoretical Vulnerabilities #### 1. The Regress Problem (Plato's *Third Man*) If a tomato is red because it participates in the Universal of Redness, we now have two things: the tomato ($a$) and Redness ($R$). But $a$ and $R$ both share a new similarity—they both possess the characteristic of "being red" (or participating in redness). To ground *that* shared quality, we must postulate a *second* universal ($R_2$), triggering an infinite regress. Realists must provide a stopping mechanism, often treating instantiation as an unanalyzable "primitive tie." #### 2. The Problem of Multiple Location Immanent realists like D.M. Armstrong must argue that a single universal can be wholly present in multiple disjoint spatial locations at the exact same time. Opponents criticize this as obscure, arguing that it violates basic spatial physics. #### 3. The Explanatory Burden vs. Ontological Parsimony This tension represents the primary divide in contemporary metaphysics: * **Realists** argue that without universals, the natural world becomes a chaos of disconnected facts. We lose the ability to explain fundamental scientific laws (e.g., why all electrons share identical mass and charge) without appealing to real, shared properties. * **Nominalists** appeal to *Ockham’s Razor*: we should not multiply entities beyond necessity. If particulars are all we can observe, positing abstract entities creates an unnecessary, unobservable "metaphysical bloat". --- ### Scope and Broader Connections The "One over Many" question is not merely an isolated puzzle of properties; it governs several adjacent domains: 1. **Philosophy of Science:** Are natural laws (like $E=mc^2$) relationships between real, mind-independent universals, or are they merely regularities in how human language describes particular events? 2. **Philosophy of Mathematics:** Do numbers exist as abstract "Ones" (Platonism), or are they mental constructs and linguistic symbols applied to "Many" grouped objects (Nominalism)? 3. **Semantics and Logic:** When a predicate appears in a sentence—such as "Socrates *is wise*"—does the word "wise" refer to an object in the world, or does it merely constrain the domain of particulars to which "Socrates" belongs? Ultimately, the "One over Many" dilemma forces philosophers to decide what constitutes a legitimate explanation. Is a theory complete when it asserts brute facts about particulars, or does genuine understanding require exposing an underlying structure of unified, repeatable properties?

The selected text uses a computing metaphor to capture the core ontological divergence between Platonic and Aristotelian realism—specifically, how universals exist in relation to physical particulars. ``` ┌────────────────────────────────────────────────────────┐ │ PLATONIC REALISM │ │ (Universalia ante rem) │ │ │ │ [ Transcendent Universal ] │ │ (Master Blueprint) │ │ │ │ │ ▼ Instantiates / Copies │ │ ┌─────────────────┼─────────────────┐ │ │ ▼ ▼ ▼ │ │ Particular A Particular B Particular C │ └────────────────────────────────────────────────────────┘ ┌────────────────────────────────────────────────────────┐ │ ARISTOTELIAN REALISM │ │ (Universalia in re) │ │ │ │ Particular A Particular B Particular C │ │ ┌──────────┐ ┌──────────┐ ┌──────────┐ │ │ │ [Form] │ │ [Form] │ │ [Form] │ │ │ │ Matter │ │ Matter │ │ Matter │ │ │ └──────────┘ └──────────┘ └──────────┘ │ │ │ │ │ │ │ └─────────────────┴─────────────────┘ │ │ Same Immanent Form Shared │ └────────────────────────────────────────────────────────┘ ``` --- ### Analysis of the Provided Analogies * **Platonic Realism (*Universalia ante rem* / "Universals before the thing"):** * **Text Analogy:** *"A master blueprint stored in a cloud server."* * **Metaphysical Meaning:** Platonic realism posits **transcendent forms**. The universal exists independently of, prior to, and in a higher realm separate from any physical manifestations. Particular physical objects are contingent, imperfect derivatives that "participate" in or copy this singular transcendent essence. * **Aristotelian Realism (*Universalia in re* / "Universals in the thing"):** * **Text Analogy:** *"A single file saved directly onto multiple local hard drives at once."* * **Metaphysical Meaning:** Aristotelian realism posits **immanent forms**. Universals do not inhabit a separate, non-physical realm. Instead, the universal exists fully instantiated *within* the material entities that share that nature. Reality is composed of composite individual substances (matter unified with form—a framework known as *hylomorphism*). --- ### Core Points of Comparison | Dimension | Platonic Realism | Aristotelian Realism | | :--- | :--- | :--- | | **Locality / Existence** | **Transcendent:** Separated (*chorismos*) from sensory particulars. | **Immanent:** Inseparable from the physical particulars it informs. | | **Ontological Priority** | The Universal is primary; physical particulars are secondary copies. | The Particular substance is primary; universals exist only as instantiations in particulars. | | **Dependence** | If all physical red objects disappeared, the Form of Redness would still exist. | If all physical red objects disappeared, Redness would cease to exist in reality. | --- ### Broader Metaphysical Context & Historical Debates While the selected text’s analogies offer a clear entry point, they intentionally simplify complex historical and modern debates: 1. **The Problem of Causality and Separation (*Chorismos*):** Aristotle famously criticized Plato’s transcendent model on the grounds that a Form existing in a separate realm cannot adequately explain the motion, generation, or physical changes of objects in our world. 2. **Limits of the Computer Metaphor:** * *Plato:* Calling a physical object an "imperfect download" implies that matter is merely corrupted data. For Plato, physical objects are ontologically dependent shadow-castings rather than literal software transfers. * *Aristotle:* Stating that a file exists "on multiple local hard drives at once" can obscure Aristotle's denial of dualism. An Aristotelian form is not a separate software package copied *into* hardware; it is the structural principle that makes the matter that specific substance in the first place. 3. **Modern Metaphysical Equivalents:** In contemporary philosophy of properties, Platonic realism maps to **transcendent realism** (defended by thinkers like J.P. Moreland), where properties exist as abstract objects. Aristotelian realism maps to **immanent realism** (prominently defended by David Armstrong), where properties are repeatable universals instantiated solely within spatiotemporal particulars.