📄 other

Trope Mereology: A Response to Robert K. Garcia’s Gap Challenges

This paper defends Trope Bundle Theory against Robert K. Garcia's "gap" challenges by reinterpreting module tropes as particular characters rather than charactered things, thereby demonstrating the theory's capacity to explain object composition while establishing new principles of trope mereology.

Original authors: Jason Krontiras

Published 2026-10-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jason Krontiras

Original paper licensed under CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Every object we touch, from a billiard ball to a grain of sand, seems to be a single, unified thing. Yet, if we look closer, we see that these objects are made of many different qualities: a ball is round, green, and heavy; an electron has a specific charge and spin. For centuries, philosophers have debated how these separate qualities come together to form one solid thing. One popular idea, called Trope Bundle Theory, suggests that objects are nothing more than collections of these specific, individual qualities. In this view, the "greenness" of this specific ball is a unique, one-of-a-kind property, distinct from the greenness of any other object. The theory claims that if you gather all these unique qualities together, they automatically form the object itself. However, a recent line of criticism has argued that this explanation leaves a gap. Critics ask how a pile of separate qualities can suddenly become a single, unified object that possesses those qualities, rather than just being a list of them. They worry that the theory cannot explain how the parts actually build the whole.

A new paper by Jason Krontiras addresses these concerns directly, offering a fresh way to understand how these individual qualities, or "tropes," fit together. The author argues that the confusion stems from how we imagine these qualities. Instead of viewing a quality like "sphericality" as a separate thing that happens to sit inside a ball, the paper suggests we should see the quality itself as the building block. In this revised view, the spherical part of the ball is not a separate entity that makes the ball round; the spherical part literally is the roundness of the ball. By shifting our perspective to see these qualities as the very fabric of the object rather than as components added to it, the paper shows that the gap in the theory disappears. The collection of qualities does not need a magical glue to become an object; the way they fit together is sufficient to create the solid thing we see.

The paper focuses on a specific type of quality called a "module trope," which is a quality that is both a part of an object and the very thing that gives the object its character. The author demonstrates that when we understand these tropes as the actual characters of the object, we can derive a clear rule for how they combine. This rule, which the author calls the Character-Fusion Principle, states that if a specific quality is a direct part of an object and occupies the same space as that object, then the object simply is that quality. For example, if a specific patch of greenness is a direct part of a ball and fills the same space as the ball, then the ball is green. This principle solves the problem of how a bundle of parts becomes a whole with specific traits, because the traits are not transferred from the parts to the whole; the parts are the traits.

Furthermore, the paper introduces a second principle to explain why two different objects cannot be made of the exact same parts in the exact same way. This idea, called Co-locational Hyper-Extensionality, suggests that if two objects are made of the exact same qualities in the exact same places, they are not two different things but one and the same object. This helps explain why we do not see impossible objects, like a ball that is both perfectly round and perfectly triangular at the same time. The paper argues that a round shape and a triangular shape cannot occupy the exact same space simultaneously in our world. Because these shapes cannot coexist in the same spot, they cannot fuse to create a single, unified object that is both. This spatial limitation naturally prevents the formation of contradictory objects without needing to invent extra rules.

The author also tackles the question of whether this theory allows for strange, scattered objects, such as a whole made of a red sphere and a blue triangle that are far apart. The paper suggests that while such a collection might exist as a loose grouping, it would not be a single, unified object in the same way a billiard ball is. The qualities in a scattered group do not occupy the same space, so they do not fuse into a single, thick character. This distinction allows the theory to remain consistent with the idea that any collection of things can form a whole, while still explaining why ordinary objects like tables and electrons have the specific, unified nature they do. The paper concludes that by treating qualities as the actual parts of objects rather than as separate entities, Trope Bundle Theory can successfully explain how the world is put together, resolving the gaps that critics had identified and providing a solid foundation for understanding the metaphysical makeup of reality.

Technical Summary: Trope Mereology: A Response to Robert K. Garcia's Gap Challenges

Problem Statement
The paper addresses a series of metaphysical challenges posed by Robert K. Garcia (2014, 2016) against Trope Bundle Theory (TBT). TBT posits that concrete objects are identical to bundles of particular properties (tropes). Garcia argues that TBT suffers from "gap challenges" regarding object-construction, specifically:

The Generative Challenge (GC): How can the existence of distinct tropes (e.g., sphericality, greenness, mass) amount to the existence of an additional entity (the object) that has them as parts?
The Non-Property Challenge (NC): How can a whole composed entirely of properties constitute a non-property (an object)?
The Character Challenge (CC): How can tropes that constitute a whole also characterize that whole? Garcia argues that mereological composition (fusion) alone does not entail that a whole composed of sphericality and greenness tropes is itself spherical and green.

Garcia contends that resolving the Character Challenge requires postulating a sui generis characterization relation (similar to instantiation in Substance-Attribute theory) or a restrictive principle of composition, both of which undermine the explanatory power and parsimony of TBT. The paper focuses specifically on Module Trope Theory (where tropes are charactered by the properties they ground) rather than Modifier Trope Theory, as the former is the version most susceptible to these specific gaps.

Methodology
The author employs conceptual analysis and metaphysical reconstruction within the framework of classical extensional mereology (CEM). The methodology involves:

Disambiguation of Module Tropes: The paper rejects the standard "A-understanding" of module tropes (viewing them as "thinly charactered objects" or "charactered things") and adopts a "B-understanding." Under the B-understanding, module tropes are not things having properties but are the particular characters themselves (e.g., a trope is not a thing that is red; it is the redness).
Mereological Reformulation: The author re-evaluates the principles of part-whole relations specifically for tropes, distinguishing between "direct constitution" (where a trope-part is exactly co-located with the whole) and "indirect constitution" (where a trope-part constitutes a proper part of the whole).
Principle Derivation: From the B-understanding, the author derives new mereological principles specific to trope-fusion to bridge the explanatory gaps identified by Garcia.

Key Contributions and Results

The Character-Fusion Principle (CFP):
The paper proposes the Character-Fusion Principle (CFP): For every whole $w$ and every character $F$ , if $F$ directly constitutes $w$ , then $w$ is $F$ .
- Mechanism: This principle relies on the B-understanding where tropes are identical to characters. If a greenness trope is a direct constituent of a whole (meaning it is exactly co-located with the whole), the whole is green.
- Resolution of CC: This eliminates the need for a sui generis characterization relation. Character-grounding is reduced to parthood combined with exact co-location. The "gap" between tropes composing a whole and the whole possessing those characters is closed because the tropes are the characters of the whole.
- Distinction: The principle includes a "direct constitution" clause to avoid the compositional fallacy (e.g., the roundness of a tire's part does not make the entire car round) by requiring that the character-part and the whole occupy the same spatial region.
The Principle of Co-locational Hyper-Extensionality (C-HEP):
Derived from CFP, the paper introduces C-HEP: For every object $x$ , necessarily, for every object $y$ , if $x$ and $y$ have exactly the same character-parts and each of those character-parts directly constitutes both $x$ and $y$ , then $x = y$ .
- Significance: Unlike standard extensionality in CEM, C-HEP is modal. It asserts that the same set of directly constitutive trope-parts cannot compose two distinct objects with different qualitative characters. Since tropes are particular characters, their fusion determines the thick character of the object uniquely.
- Contrast with Concrete Parts: This contrasts with concrete parts (e.g., watch gears), which can be arranged in different ways to form different objects. Trope-fusions admit no such variability in arrangement because mutually exactly co-located characters cannot be spatially ordered differently.
Resolution of the Non-Property and Generative Challenges:
- NC: By adopting the B-understanding, module tropes are not "properties" in the sense of abstract universals but are particular characters. A fusion of these characters constitutes a "thick character" (the object). The object is not a non-property generated from properties; it is the maximal exhaustion of the spatial region by these characters.
- GC: The existence of the object is not an "additional entity" over and above the tropes; the object is the fusion of the tropes. The "object-maker" is the mereological fusion itself, governed by CFP.
Handling Incompatible Properties and Universalism:
The paper addresses the concern that trope mereology might allow for wholes with incompatible properties (e.g., a spherical triangle).
- Non-scattered wholes: CFP prevents this because incompatible tropes (e.g., sphericality and triangularity) cannot be exactly co-located in the same spatial region. If they cannot co-locate, they cannot directly constitute the same continuous whole.
- Scattered wholes: Mereological Universalism (MU) allows for scattered fusions of incompatible tropes (e.g., a redness trope and a blueness trope separated in space). However, CFP does not apply to these because the parts do not directly constitute the whole (they are not co-located with the whole). Thus, the scattered whole does not possess the incompatible properties in the same region, avoiding contradiction.
The Abstract-Concrete Spectrum:
Drawing on A. R. J. Fisher (2020), the paper argues that the distinction between abstracta and concreta is not an ontological divide but a matter of degree. A concrete object is simply a trope-fusion that "exhausts" the content of the spatial region it occupies. Ordinary objects (billiard balls, electrons) are maximally concrete trope-fusions.

Significance and Claims
The paper claims to demonstrate that TBT can successfully account for the metaphysical composition of objects without resorting to substrata, sui generis instantiation relations, or ad hoc restrictions on composition. By re-conceptualizing module tropes as particular characters rather than charactered things, the author shows that:

The "gap" challenges dissolve when character-grounding is identified with parthood and co-location.
TBT is consistent with Classical Extensional Mereology (CEM) and Mereological Universalism.
The theory yields specific, novel mereological principles (CFP and C-HEP) that govern trope-fusion distinctively from concrete-part fusion.

The author concludes modestly, noting that the study of trope mereology is in its early stages. While the paper provides a basis for addressing Garcia's challenges and articulating the principles of trope-fusion, it acknowledges that further work is required to explicitly formulate the axioms of trope mereology and explore their finer consequences. The paper does not claim to solve all metaphysical problems of nominalism but offers a coherent path for TBT to remain a viable competitor to Universal Bundle Theory and Substance-Attribute Theory.

More like this