Objects and Particulars

The Problem of Individual Things

An object is ordinarily understood as something numerically one that can be identified, described, and distinguished from other things. This apparently modest characterization becomes philosophically demanding as soon as one asks how a plurality of constituents forms one thing, whether a changing thing remains identical with itself, and what makes its boundary real. A stone, a biological organism, and a manufactured clock are all called objects, yet they are unified in markedly different ways. A stone exhibits material cohesion; an organism actively maintains its organization; a clock has a manufactured structure associated with a function. The ordinary shared noun establishes a field for inquiry rather than a final metaphysical conclusion.

The focal research problem has three parts. Existence asks whether a proposed particular belongs to reality. Unity asks what makes its constituents, features, or historical organization one individual. Identity asks what makes the same individual persist and remain distinguishable under changing descriptions. These issues interact, but the answer to one does not automatically determine the others. A mereological universalist may grant existence to every fusion of entities while admitting that many fusions have no privileged everyday identity. A biological hylomorphist may explain an organism's unity through its organized life. A nihilist about composite material objects may preserve elementary physical individuals while denying that the items composing an ordinary table form another object (van Inwagen, 1990; Korman, 2025).

The distinction between being a real object and being a fundamental object is equally important. A molecule can depend on atoms and bonds while functioning as a coherent unit of chemical explanation. A corporation can depend on people, rules, and legal structures while possessing a historically traceable institutional identity. Dependence must be analyzed, but dependence alone cannot function as a proof of nonexistence.

Historical ontology offers several candidate grounds of objecthood: substance, matter and form, nonqualitative individuation, complete individual concepts, bundles of properties, spatial relations, causal unity, temporal continuity, and institutional constitution. The philosophical task is to determine the explanatory reach and limitations of each, rather than to select one characteristic and apply it mechanically to everything that can be named. This monograph treats objects and particulars as a unified research subject because the questions of unity, identity, and dependence continually lead back to one another.

Conceptual Boundaries of Objects and Particulars

A particular is numerically nonrepeatable. Two horses can instantiate the same kind, while one individual horse cannot itself be instantiated twice as though it were a universal. Yet a particular need not be an independently existing substance. A particular shade of red, a particular event, or a relational episode may be singular and ontologically dependent. The category of particulars is therefore wider than that of concrete material continuants. Conversely, the word object can be used broadly for any value of a bound variable, including abstract objects, or narrowly for individual material things. Ontological arguments must identify the relevant sense (Frege, 1892; Quine, 1948; SEP, “Object,” 2023).

Individuality is the numerical relation at issue when two otherwise indiscernible candidates are said to be two. This is distinct from qualitative difference. A theory may maintain that all individuals differ qualitatively, while another admits qualitatively indiscernible but numerically distinct things. The disagreement requires an account of what counts as an admissible qualitative or relational property; it cannot be resolved merely by repeating the proposition that two things are two.

Substance introduces a further property: a particular sort of ontological independence, priority, or capacity to bear properties. It is an important explanation of objecthood, not a synonym for it. A state of affairs may be singular without being a substance; an accident may be particular without being an independent bearer. An object in perception may have intentional significance even when no external physical referent exists. The expressions thing, entity, item, particular, object, and substance accordingly have different philosophical extensions.

The definition adopted for inquiry is deliberately functional. An object is a proposed individual treated as one bearer, participant, or structured unit whose identity and unity can be specified by an ontology. This working definition opens the question of which objects actually exist. It does not decide that every well-formed description denotes a real object or that every countable thing is ultimately independent.

Four distinctions orient subsequent analysis. Numerical identity differs from qualitative similarity; epistemic reidentification differs from the metaphysical ground of identity; being constituted by something differs from being identical with it; and being causally or explanatorily significant differs from being fundamental. When these distinctions are suppressed, debates about objects appear insoluble because interlocutors answer different questions using the same words.

Unity, Individuation, and Existence

The unity problem asks why a plurality forms one object. A wooden chair consists of components, and its parts may be independently identifiable. Their proximity does not suffice for unity, since placing another chair beside it does not create one larger chair in the same sense. Mechanical connection is one possible criterion, but a damaged chair remains a chair under some conditions, and a living organism can retain unity through extensive replacement of matter. A theory must distinguish accidental aggregation from the relevant kind of organization.

Individuation asks what makes an instance this one rather than another. Spatial difference is often sufficient for ordinary recognition, but it is not automatically a complete metaphysical ground. Two exactly similar physical entities could be distinguished by location without location explaining their entire individuality. Conversely, some ontologies treat the determination of position or relational structure as integral to the existence of an individual.

Identity asks what counts as the continued existence of one individual through time. The conditions for the same mass of matter, the same organism, and the same manufactured object may diverge. If a clock is repaired piece by piece, we must know whether identity tracks material inventory, functional organization, or causally continuous history. The question requires more than the logical axiom that every object is self-identical.

Existence asks which entities the ontology admits. The issue becomes especially difficult with arbitrary undetached parts, strange material fusions, and coincident objects. A theory that admits every continuous region as an object will provide a very different inventory from a theory that recognizes only elementary simples or biologically organized individuals.

An explanatory solution should therefore identify the candidate object's conditions of origination, unity at a time, numerical distinctness, survival, and possible cessation. These conditions need not have the same metaphysical form for every kind. Their systematic articulation makes competing ontologies comparable while preserving the real disagreements among them.

Plato and Aristotle on Individual Beings

Plato's dialogues establish the problem of how changing individual appearances are related to intelligible forms. In the Phaedo and Republic, sensible things are discussed through forms that explain what they are or how they are intelligible. The Parmenides presses difficulties in the relation of one form to many participants. This tradition raises the relation between an individual and a universal without presenting a single developed theory of ordinary material composition.

Aristotle's Categories assigns primary status to individual substances, illustrated by this human being or this horse. The distinction between what is said of a subject and what is present in a subject structures his analysis of substances and accidents. Primary substances are neither said of nor present in a subject (Categories 2a11–19). Species and genera are secondary substances; dependent qualities and other accidents belong in different categorial relations. Other entities depend in a specified sense upon primary substances (2a34–b6). Aristotle thus makes individual bearers central to a systematic account of predication and reality.

Metaphysics Z and H deepen the inquiry by asking what makes a substance one. Matter considered merely as material potential cannot supply the full explanation of the organized individual. Form and essence provide an account of why this matter constitutes a determinate kind of substance, especially in living beings (Metaphysics Z.17, 1041b; H.6, 1045a–b). It is important to distinguish this later explanatory project from the initial categorial organization of the Categories.

The resulting philosophical insight is that individuality and unity are related but distinguishable. We can identify the primary bearer of properties without yet explaining how the matter constituting it achieves substantial unity. Aristotle's hylomorphic explanation is an attempt to connect those inquiries through an analysis of form and organization.

Aristotle's framework also permits discussion of dependent particulars, such as a specific qualitative instance belonging to one subject. Modern trope theory sometimes finds an analogy here, but Aristotle's categories were articulated through a distinct account of predication and dependence. Historical accuracy requires retaining that distinction (Studtmann, 2024).

Medieval Theories of Singular Existence

The medieval principle of individuation asks why a nature common in some sense to many becomes numerically this individual. Thomas Aquinas understands material individuals through form and matter, with designated matter playing a role in numerical individuation within material species. This position belongs to his broader account of substance, essence, and immaterial beings; it cannot be generalized into the simple thesis that each object is individuated solely by its spatial location.

John Duns Scotus distinguishes common nature from haecceity, or thisness. A common nature is not intrinsically this singular individual; a haecceitas contracts it into numerical individuality. The distinction is intended to explain how two instances of one kind are genuinely distinct without reducing their singularity to a difference in ordinary qualitative features (Scotus, Ordinatio II, distinction 3; Cross, 2025). The philosophical challenge is whether the individuating determination provides an explanation or introduces a further entity whose connection with the individual itself requires analysis.

William of Ockham takes a different route. His metaphysical nominalism treats extra-mental existents as singular and rejects universal things as corresponding objects for general terms. His categorial reduction emphasizes individual substances and qualities while offering analyses that avoid multiplying entities for every grammatical category (Ockham, Summa logicae; Spade & Panaccio, 2024). Nominalism thus combines an account of singular ontology with a semantic project explaining general discourse.

The difference between Scotist thisness and Ockhamist nominalism remains important. One position introduces a principle of determinate singularization within a theory of common nature. The other insists on the priority of already singular entities and questions why universal objects should be inferred from predicates. Both engage with the explanatory demand for individuality, but they place the burden in different locations.

Medieval philosophy also established that particularity is not equivalent to visible material separation. Debates about individual immaterial entities, singular qualities, and the multiplicity of instances extended the problem beyond ordinary bodies. Contemporary accounts of substrata, primitive identity, and the distinction between particulars and universals inherit important aspects of these questions.

Early Modern Bodies and Substances

Descartes relates the category of substance to independence in Principles of Philosophy I.51–53. Absolute independence belongs uniquely to God, while created substances require divine concurrence. Mind and body are distinguishable kinds of created substance, with extension central to corporeal reality. This theory offers a metaphysical framework for bodies without thereby specifying a sharp principle that determines every ordinary object's boundary. The geometrical description of extended matter is not a complete inventory of independently existing cups, stones, and animals.

Spinoza's Ethics identifies substance and modes differently. Finite bodies are modifications within a more fundamental ontological order, and their individuality is connected with characteristic relations among constituent bodies. In the physical digression following Ethics II, proposition 13, the maintenance of organization despite changes in parts supplies an illuminating model of persistence. Objecthood can have explanatory reality within a system even when the finite thing is not an absolutely independent substance.

Locke's Essay concerning Human Understanding II.xxvii distinguishes the identity of masses of matter from the identity of living organisms. A mass, under his discussion, is the same only insofar as the relevant material parts remain; an oak or animal can persist by continued organized life through material replacement. He therefore rejects the indiscriminate application of one persistence criterion to all entities. The same text connects the question of identity with the idea under which something is considered, foreshadowing later debates over sortals (Locke, 1690/1975, II.xxvii.3–8).

Locke's discussion of substance in II.xxiii also concerns our obscure conception of a support for qualities. This should not be treated without qualification as a modern fully developed bare-particular theory. He is examining what we understand when we attribute collections of qualities to something supposedly sustaining them.

Berkeley challenges material substance in his Principles of Human Knowledge (1710). His immaterialism preserves discourse about experienced objects while giving them a different metaphysical grounding. The history shows that the stability of object-talk does not by itself establish a shared substance theory. Descartes, Spinoza, Locke, and Berkeley recognize many of the same everyday individuals while disagreeing fundamentally over their ontological dependence and conditions of identity.

Leibniz, Hume, and Kant

Leibniz's Discourse on Metaphysics, especially section 8, develops the complete concept of an individual substance. His Monadology presents simple substances without parts, while ordinary composites derive their unity in a more complex way. The principle of the identity of indiscernibles asks whether absolutely identical qualitative and relational profiles could belong to numerically distinct individuals. Its interpretation depends upon which relations are admitted into the relevant characterization. The doctrine illustrates how a strong theory of individuality can constrain the possible number of things (Leibniz, 1714/1989, Monadology §§1–3).

Hume's Treatise of Human Nature 1.4.6 analyzes the mind's attribution of identity to sequences and collections, extending the inquiry to plants, animals, and ships. A ship may be called the same while gradually receiving new parts because causal continuity and shared purpose guide our judgment. Hume's investigation is centrally concerned with the psychological origins of identity attributions and with personal identity. It does not license a summary claim that he directly disproved the existence of every ordinary material object.

Kant reorients the inquiry by examining the conditions of objective cognition. In the Critique of Pure Reason, especially the transcendental deduction, the unity of synthesis and apperception contributes to the determination of an object of possible experience (B129–B145). The object as cognized is not merely a passive succession of sensations. This transcendental claim must be distinguished from the assertion that objects are arbitrarily invented by individual minds.

These three positions isolate complementary problems. Leibniz asks what metaphysical principle constitutes an individual; Hume asks how identity is attributed across experience; Kant asks what makes the objective reference of representations possible. The difference between an ontological ground, a psychological explanation, and a transcendental condition remains critical wherever the existence of things is inferred from our ability to recognize or describe them.

Objects in Logic and Analytic Metaphysics

Frege's essay “Über Begriff und Gegenstand” (1892) distinguishes complete objects from unsaturated concepts. The logical role of a name differs from that of a predicate. This is an essential contribution to philosophical semantics, but the meaning of object in this logical setting is wider than the class of material continuants. Frege's analysis should not be cited as though it were a direct argument that tables have bare substrata.

Russell's “On Denoting” (1905) analyzes descriptions through quantificational form rather than treating every apparent name as an independently referring expression. The logical surface of language can therefore conceal commitments that proper analysis eliminates. This development makes it possible to examine object-existence claims without accepting every noun phrase as a metaphysical entity.

Wittgenstein's Tractatus distinguishes objects from states of affairs and facts. Its claims at 1.1 and 2.01 provide a framework in which facts consist in combinations of objects and the world's actuality concerns which configurations obtain. This logical ontology does not equate the world with a mere physical list of separate objects.

Quine's “On What There Is” (1948) asks which entities the bound variables of a suitably regimented theory must take as values. His criterion reveals a theory's commitments, while the selection of an adequate theory remains substantive. A seemingly referential sentence may be paraphrased; conversely, a scientific theory may genuinely require commitments not obvious from everyday speech.

Strawson's Individuals (1959) investigates the basic particulars of ordinary identification and reidentification. Material bodies and persons have distinctive roles in our common conceptual scheme. This descriptive metaphysical inquiry differs from attempts to revise the inventory of reality in light of a preferred elementary physics. The difference is methodological: describing how ordinary thought identifies objects and establishing the ultimate constituents of nature are related but separate projects.

The combined lesson is that logical quantification, singular reference, ordinary reidentification, and metaphysical fundamentality are distinct dimensions of the object concept. A rigorous ontology should make each dimension explicit rather than moving unnoticed among them.

Substrata, Bundles, and Tropes

Substratum theory proposes that an individual contains or involves a bearer of properties distinct from those properties. In bare-particular and thin-particular variants, an individuating constituent accounts for the object's numerical singularity. The proposal aims to explain how an object bears many properties and how two exactly similar things can remain distinct. Its main difficulty is explaining the nature and work of a bearer considered apart from qualitative determination.

Bundle theory describes objects through collections of properties or particularized qualities. Where the constituents are universals, an objection arises from the possibility of qualitatively indiscernible duplicates: two objects with the same universal constituents may collapse into one if nothing else individuates them. Where constituents are tropes, the qualities themselves are numerically particular, so duplicate-looking objects can contain distinct property instances (Maurin, 2023).

The trope-bundle theorist nevertheless owes an account of compresence. Why do these particular shapes, colors, masses, and dispositions constitute one object instead of a mere collection of unrelated features? If compresence is itself a trope, further questions arise about its unity with the items it connects. The substratum theorist has a parallel burden concerning the relation of instantiation between the bearer and its properties.

An Aristotelian or neo-Aristotelian alternative emphasizes structured individuals and categorical dependence. E. J. Lowe's four-category ontology, for example, distinguishes substantial particulars, non-substantial particulars or modes, substantial universals or kinds, and non-substantial universals or attributes (Lowe, 2005). This preserves substantive distinctions that an exclusively bundle-based framework may obscure, although it requires defending the categories and their dependence relations.

These approaches answer different aspects of the same problem. Qualitative determination, numerical individuality, and the unity of constituents need explanations. A metaphysical theory is incomplete when it explains a bearer's properties but leaves its individuality primitive without justification, or explains its individuality while failing to articulate how the properties belong to it.

Sortals and the Question of One What

A sortal is a kind-concept or predicate associated with criteria for counting, individuation, or identity. The philosophical literature disputes whether each of these roles is necessary. Expressions such as tree, ship, and animal commonly support determinate counting, whereas an adjective such as red does not itself specify one object. The question “How many?” is therefore often incomplete until one asks “How many what?” (Strawson, 1959; Wiggins, 2001; SEP, “Sortals,” 2025).

A wooden table consists of several boards and countless smaller physical constituents. How many entities are present depends partly upon the category under which counting takes place. This does not mean that numerical identity is merely a matter of vocabulary. There can still be substantive disagreement about whether the boards compose a further table or whether arbitrary regions of matter constitute additional things.

Sortal essentialists maintain that kinds contribute constitutively to identity conditions. Alternative approaches preserve absolute numerical identity while assigning sortals a decisive epistemic role in identifying which individual is under discussion. Strong theories of relative identity go further and challenge the application of unrestricted absolute identity across kinds. These are distinct philosophical positions.

The central question is whether sortal criteria reflect independently grounded organization or merely conventions for selecting candidates. Natural kinds, biological organisms, and artifacts may require different answers. The importance of sortals lies in showing that counting, persistence, and classification must be connected coherently, even if they cannot be reduced to one universal rule.

Composition, Parts, and Wholes

Mereology formalizes relations between parts and wholes, including parthood, proper parthood, overlap, and fusion. It makes clear that the existence of several parts does not logically entail the existence of a further composite unless the ontology supplies an appropriate composition principle (Varzi, 2026). Formal sophistication also reveals how different accounts of fusion alter the number of entities a theory recognizes.

Peter van Inwagen's special composition question asks under what conditions some things compose something. Mereological universalism permits any plurality of things to compose a fusion, avoiding an arbitrary threshold but introducing extraordinary scattered wholes. Mereological nihilism denies composite objects and interprets ordinary composite discourse through elementary things and their arrangement. Restricted accounts admit composition under selected conditions, such as organized life or certain causal relations (van Inwagen, 1990).

Each approach confronts explanatory costs. Universalism must handle objects with unconventional boundaries and modal histories. Nihilism must explain why ordinary claims about tables, animals, and tools remain useful and often true under a paraphrase. Restricted composition must identify a principled criterion that does not simply reproduce a preferred list of ordinary nouns.

Atomism adds a further issue: do all extended things ultimately have simples? A world of infinitely divisible gunk lacks mereological atoms, complicating ontologies that admit only simples. Physics alone does not decide every relevant metaphysical question because formal descriptions of elementary systems admit multiple interpretations.

Mereology accordingly supplies a formal language for composition disputes, while a theory of unity must still explain which mereological structures correspond to genuine objects. The mathematical relation of parthood is not by itself the answer to the metaphysical question of existence.

Ordinary Objects and Ontological Revision

Everyday experience recognizes dogs, trees, mountains, stones, tables, and vehicles. Philosophers nevertheless disagree about which such things exist. Conservative ontologies largely vindicate ordinary judgments. Eliminative views deny some composites; permissive views admit additional extraordinary ones. The debate turns on coincidence, vagueness, composition, and the theoretical costs of multiplying entities (Korman, 2025).

The intuitive existence of tables is significant evidence but does not provide a complete criterion for unfamiliar cases. A cloud may lack a precise edge; two statues may share a portion of material; a scattered group of objects may form a fusion under universalism without receiving an everyday name. A theory faithful to ordinary judgments must explain where its constraints originate.

Eliminativists attempt to preserve explanatory practice through paraphrase. Instead of asserting the existence of a chair, a nihilist might describe particles arranged chairwise. The key test is whether the paraphrase preserves the modal, causal, and practical truths expressed in ordinary chair-talk. Some restricted eliminativists permit organisms while rejecting other composites, but they must justify the special condition of living organization.

Permissive theorists may regard unusual objects as harmless if they impose little explanatory cost. Yet object proliferation can interact with puzzles about causation, coincident entities, and temporal identity. The fact that a theory is logically general does not itself prove that its ontology best explains ordinary and scientific facts.

Thomasson (2007) develops a defense of ordinary objects that gives significant weight to the conditions under which our ordinary concepts legitimately apply. This approach forces a precise distinction between what is settled through competent application of an object concept and what remains open to substantive metaphysical explanation. The debate thus includes not only unrestricted or restrictive composition principles but also disagreements about the philosophical authority of conceptual analysis itself.

The central methodological judgment is comparative. An adequate theory accounts for the successful identification of ordinary things, the coherence of its composition principles, the treatment of borderline cases, and the nature of dependence. No one criterion, including conformity to ordinary vocabulary, automatically overrides the rest.

Boundaries, Continuity, and Vagueness

An object's boundary may seem clear when contrasted visually with its surroundings. At finer physical scales, solid surfaces involve complex distributions and interactions rather than perfectly sharp separations. Clouds, coastlines, forests, and river systems introduce cases in which boundary specification depends upon a threshold or context. The difference between an exact geometrical region and a material object occupying that region must therefore be kept explicit.

Some boundaries correspond to physical discontinuities, others to functions and institutions. A cell membrane has a biological role; a national border is socially instituted; the practical border of a cloud may be defined by measurement rules. These diverse grounds cannot be assimilated into the same simple criterion of physical contact.

The doctrine of arbitrary undetached parts raises a further difficulty. If every spatial subregion of a material object corresponds to an additional object, the ontology becomes extremely populous. If only privileged segments count, one must explain the privilege. A mereological universalist may accept the proliferation, while a restrictive theorist may appeal to objective forms of organization or to different senses of part and object.

Vagueness can enter at multiple places. It may concern the semantics of the word object, the exact composition of an entity, or whether the entity exists at all in borderline conditions. These theses have different logical consequences and should be assessed independently. The fact that we cannot specify a cloud's edge with absolute precision does not by itself settle the metaphysical status of the cloud.

Coincident Objects and Material Constitution

Consider a clay statue and the lump of clay from which it is made. Both apparently occupy the same place at the same time and share their material constituents. Yet the lump seems able to survive flattening, while the statue does not. If this modal difference is genuine, the indiscernibility of identicals entails that the statue and lump are numerically distinct (Wasserman, 2026).

The argument relies on four claims: the statue exists; the lump exists; they differ in modal survival conditions; and identical entities must share all their properties. A theory can resist the conclusion by denying one of the existence assumptions, challenging the modal descriptions, or introducing a principled account of constitution distinct from identity. The force of the puzzle is precisely that each response changes some part of our initial understanding.

Constitutional pluralists accept distinct coincident entities with different kind-relative persistence conditions. Identity theorists seek to interpret the purported modal difference without violating absolute numerical identity. Four-dimensionalists may regard the current coincident stages as parts of distinct temporally extended continuants. Eliminativists reject some of the candidate composites.

Causal overlap introduces a serious objection. If the statue breaks a window, does the lump break it too? Treating the event as two independent causes would be strange, but accepting coincident entities does not automatically require double-counting their causal contribution. A complete theory must articulate causal dependence and the status of constituted entities.

The material constitution puzzle shows why the metaphysics of objecthood cannot be reduced to a picture of bounded matter. Numerical identity involves kind, modality, persistence, and grounding in addition to the configuration of matter at an instant.

Persistence, Replacement, and Temporal Parts

Persistence is the existence of one individual at different times. Endurantism holds, in a standard formulation, that an ordinary persisting thing is wholly present whenever it exists. Perdurantism understands persistence through temporal parts; stage theory treats suitably related stages as central to ordinary persistence discourse (Sider, 2001). These theories differ over how continuants are related to time and change.

The familiar problem of temporary intrinsics arises when a leaf is green at one time and yellow at another. Endurantists can qualify property attribution by time; perdurantists attribute the differences to distinct temporal portions. Both can represent the change, but they adopt different ontological structures.

The Ship of Theseus complicates identity by separating material continuity from functional and historical continuity. If all original planks are gradually replaced and then reassembled elsewhere, there are competing candidates for numerical identity with the original ship. A theory must specify which sortal and persistence criterion determines the judgment. A purely verbal verdict is insufficient.

Four-dimensionalism can represent two distinct continuants sharing certain stages but differing in their complete temporal extent. It nevertheless inherits a question about which stage-combinations form genuine continuants. Endurantism preserves the ordinary intuition of one thing undergoing changes but must explain how it survives replacement and why coincident objects may possess different persistence conditions.

The underlying demand is a general account of object identity through time. No theory may assume that a particular persistence criterion is self-evidently supplied by the phrase “the same thing.”

Organisms and Artifacts

Living organisms persist through the replacement of materials. Their unity is expressed in integrated processes of regulation, metabolism, development, and reproduction. A purely spatial aggregate fails to capture this organization. A life-based composition theory accordingly regards coordinated living activity as a privileged source of individual unity.

The strength of such an account lies in its explanatory relation to biology. Its difficulty concerns borderline cases and the possible existence of many nonliving objects. A machine can be highly integrated, and a damaged organism can temporarily lose forms of coordination without thereby ceasing to exist. The metaphysical criterion must be more precise than a general appeal to complexity.

Artifacts introduce historical and functional criteria. A clock is produced, maintained, repaired, and recognized through practices in which its intended and actual functions matter. Its persistence can survive the replacement of many parts. A detached component may itself be an object, so recognizing the larger artifact does not cancel the individuality of its parts.

The possibility of multiple forms of unity is instructive. Biological objects and manufactured objects can both be real while possessing different conditions of origination and continued existence. A theory insisting that every object is fundamental obscures the dependence that makes their existence intelligible.

Objects, Events, Facts, and Processes

An event occurs, a process unfolds, and a state of affairs obtains under the conditions specified by its ontology. An object is often identified as a participant in such structures. These contrasts are conceptually useful, although a process or event may itself be a particular in a broad ontology. The philosophical challenge is to explain the categories and their relations.

A storm has location, duration, and causal powers, yet its characteristic unity is dynamic. A river persists despite replacement of water. Such cases challenge any definition that restricts objecthood to unchanging material inventories. The same physical reality can be analyzed through stable organized structures and through processes of change, with ontological priority disputed.

The early Wittgenstein's Tractatus distinguishes objects from states of affairs; the world is specified through what is the case, rather than merely through a list of object names (1.1, 2.01). Whitehead's Process and Reality later develops an ontology of actual occasions and dynamic formation. Contemporary process philosophy contains multiple approaches, some treating processes as particular entities and others revising basic ontological categories (Seibt, 2022).

A process-first ontology must account for the relative persistence and unity of recognizable things. An object-centered ontology must explain why processes, activities, and changes do not disappear into static descriptions. These are reciprocal explanatory demands, not evidence for a simple verbal choice between things and events.

Physical Individuals and Quantum Theory

Classical physics encourages a picture of distinct particles with trackable trajectories. Quantum physics complicates that picture through the treatment of identical particles, permutation symmetry, and the interpretation of observables. Some philosophers interpret elementary quantum entities as non-individuals; others defend their individuality while challenging the necessity of qualitative discernibility (French & Redhead, 1988; French & Krause, 2006).

Indistinguishability under the experimentally relevant observables does not logically entail numerical identity. Yet it can undermine metaphysical theories that explain individuality solely through classical spatiotemporal tracking. Primitive numerical identity, relational individuation, structural ontologies, and nonstandard formalisms provide competing responses.

Quantum field descriptions add another difficulty because particles can be represented as excitations of fields rather than enduring miniature bodies. The metaphysical interpretation of a formalism must not be presented as an experimentally established single ontology. Empirical structure constrains the philosophical analysis while leaving some interpretations open.

Macroscopic objecthood also cannot be settled exclusively by claims about microscopic individuality. Organisms and artifacts may be ontologically dependent but robustly individuated at their own explanatory scales. Whether that suffices for their existence is a metaphysical question requiring explicit arguments.

Scientific Ontologies and Levels of Organization

Scientific explanation selects objects at different scales: molecules, cells, organisms, planets, and instruments. These kinds are connected through composition and dependence but possess distinct explanatory roles. A successful theory of objects must explain how higher-level individuals can be causally and epistemically significant even when their constituents belong to a more fundamental physical description.

Reductionist theories seek to reconstruct higher-level claims from lower-level facts. Pluralist and emergentist approaches emphasize organizational properties and explanatory autonomy. Neither approach should confuse usefulness in a model with literal existence. A point mass or ideal rigid body can play an indispensable role in prediction without being instantiated exactly.

The distinction between model objects and existing entities is crucial. The mathematical variables of a theory may designate idealized constructs, classes, or physical individuals. The ontology of the world cannot be read directly from every element in a model's notation.

A defensible scientific object ontology combines empirical adequacy, causal organization, explanatory integration, and transparent commitments concerning dependence. It distinguishes robust objects of inquiry from fictions of an approximation while acknowledging that a dependent whole can occupy a legitimate explanatory level.

Institutional and Digital Particulars

Institutions and artifacts may retain identity while their physical carriers change. A university can alter personnel and buildings while retaining its institutional history. Such entities depend on rules, practices, recognized statuses, and causal relations among participants. Their reality cannot be inferred from material cohesion alone.

Digital objects display related complexity. Two byte-identical files may constitute two distinct physical copies, one reproducible work, or two historically individuated artifacts depending on the relevant ontology. A software version can persist across media, while a particular signed record is individuated partly by provenance. Type identity, token identity, and historical artifact identity must be separated.

A copied document may have the same informational content as its source and a different causal history. In a version-control system, branches can share a file state while possessing separate later trajectories. The metaphysical moral is that sameness of description or contents is insufficient for the numerical identity of every artifact.

Artificial technical systems raise further questions of unity, maintenance, and continuity. Their classification requires analysis of their actual organization and historical dependencies. A theory of Artificial as a distinct philosophical order, where relevant, must be evaluated through its own primary canonical definitions rather than introduced into the general theory of material objects by simple analogy.

These examples extend the study beyond ordinary solid bodies. They show how objecthood can be historically, structurally, and institutionally grounded while remaining distinct from a claim of complete independence.

Criticism and Comparative Evaluation

The strongest argument for object-centered ontology is explanatory continuity. Ordinary and scientific practice successfully identifies organized individuals, tracks their changes, and attributes causal powers to them. A theory rejecting their existence must reconstruct the truths that such practices express. The success of those practices does not prove that every recognized object is fundamental, but it supplies a substantial burden for eliminative approaches.

The strongest argument against unrestricted object multiplication concerns arbitrariness, coincidence, and causal redundancy. If all imaginable aggregates are admitted, the ontology becomes populated by unusual entities with overlapping properties and histories. A universalist may regard this consequence as manageable, yet must explain how the extraordinary fusions relate to familiar causal explanations.

The strongest challenge to conservative restriction is the lack of a universal non-arbitrary composition threshold. Biological organization offers an objective criterion for organisms; functional organization for artifacts has more conventional dimensions; material cohesion alone fails to account for all cases. The possibility of several legitimate kinds of unity must be investigated rather than assuming either that one criterion covers everything or that all selectivity is mere prejudice.

A process approach offers a serious alternative. It can explain stable objects as enduring organizations of dynamic activities. But the explanation must specify what individuates one organized process from another and what grounds identity across its transformations. Every comprehensive ontology inherits some version of the unity problem.

The comparative result is that substance, form, mereological composition, causal organization, and institutional constitution are different explanatory proposals. Their adequacy depends on what entities they aim to explain and on which further ontological commitments they require. Philosophical rigor demands explicit trade-offs rather than victory by stipulation.

The Ontological Architecture of Objecthood

A systematic analysis of objecthood can be organized around five demands. First, an ontology must explain numerical unity: why the candidate is one thing. Second, it must explain individuation: what makes it distinct from others. Third, it must articulate conditions of origination and persistence. Fourth, it must specify any constitutive boundary or organization. Fifth, it must identify the object's dependence relations and degree of fundamentality.

These demands are analytical tests, not a definition that guarantees every candidate exists. The universalist, nihilist, hylomorphist, trope theorist, and process philosopher can apply them while advancing genuinely different ontologies. The tests reveal where disagreement occurs and how competing explanations should be compared.

A decisive distinction separates objecthood from substantial independence. A dependent individual may be a genuine object. A chair can depend on its constituents and history; a biological organism depends on continuing processes; a digital artifact depends on physical and normative structures. The question is whether these relations ground an entity with its own determinate conditions of identity.

Another distinction separates recognition from existence. A perceptual or computational system can track a coherent configuration, but that success does not by itself determine its ultimate metaphysical standing. Identification supplies evidence that an organized individual exists; ontology investigates the nature and ground of that individuality.

The central synthesis is a layered conception of objects and particulars. An object is an individual with defensible unity and identity conditions in a specified ontology; a particular is numerically singular; a substance is a particular of privileged independence or priority on a substance theory. These concepts overlap without collapsing into one another. Their proper distinction allows a pluralistic but disciplined metaphysical analysis of individuals at several levels of existence.

Open Questions

Composition remains contested. Must every plurality have a fusion, only selected pluralities, or none? The answer determines the population of ordinary and extraordinary objects. A general theory must explain the ontological role of its selection principle rather than relying solely on familiar examples.

Vague boundaries remain a challenge. Some uncertainty concerns language, some measurement, and some the proposed ontology. Determining whether any indeterminacy is genuinely ontic requires separate arguments about logic and existence.

Persistence raises problems of radical material replacement, branching histories, and coincident continuants. Different kinds exhibit different forms of continuity, and their interpretation remains tied to the metaphysics of sortals, time, and constitution.

Scientific individuality also remains open. Quantum systems constrain classical object models without selecting one final metaphysics. Higher-level scientific entities raise the question of how explanatory autonomy is related to ontological dependence.

Finally, the existence of social and digital artifacts requires exact theories of provenance, copying, constitution, and historically continued identity. Their study extends classical debates over individuals into domains where material unity, informational sameness, and institutional identity diverge.

Primitive Thisness and Qualitative Discernibility

The identity of indiscernibles is often introduced as the principle that no two things can have precisely all the same properties. This formulation is ambiguous unless the relevant properties are specified. If the property of being identical with a particular individual is included, the principle becomes trivially true: an object is identical with itself, whereas another individual is not. The ambitious metaphysical thesis excludes such explicitly individual-involving properties and argues that numerical plurality must be grounded in purely qualitative differences. The problem therefore lies at the junction of objecthood, the nature of properties, and the metaphysics of possibility (Rodriguez-Pereyra, 2025).

Max Black's 1952 dialogue develops a famously demanding objection. Imagine a universe containing exactly two iron spheres whose sizes, materials, temperatures, and other intrinsic features are identical. The spheres stand a fixed distance apart in an otherwise symmetric world. Each sphere has the relational property of standing that distance from a sphere, so even a set of purely qualitative relational descriptions may fail to distinguish one sphere from the other. Black's challenge is not that observers lack a good measuring instrument. It is that a perfectly symmetric world appears metaphysically conceivable despite the supposed impossibility of distinct indiscernibles (Black, 1952).

A defender of qualitative individuation may question whether the imagined scenario is genuinely possible. One might also introduce irreflexive relations that weakly discern distinct objects even where monadic qualities fail to do so. However, the role of irreflexive relations must be defined with care, because an appeal to numerical distinctness in a relation may presuppose the plurality that the theory was intended to explain. It matters whether the relation grounds individuality or merely reports it.

Primitive-thisness theories provide a different answer. They allow individuals to differ in which individual they are, independently of a qualitative difference that could be stated without reference to the individuals. Robert Merrihew Adams defended primitive identity as a substantive metaphysical possibility. Such a view can preserve Black's two-sphere world, but it acquires its own explanatory burden: why is primitive thisness an acceptable terminus of metaphysical explanation when other ontological primitives are regarded as problematic? To insist that there are simply two things is coherent as a position; it must still be compared with the cost of denying Black's imagined world.

A further distinction separates intra-world discernibility from the modal thesis of haecceitism. Whether two things within one world can share their pure qualities is different from whether two possible worlds might agree qualitatively while differing only over which individual occupies which role. The questions interact but must not be confused. In particular, a theory can reject distinct qualitative duplicates within a world while still having to specify the conditions of individual identity across possible worlds.

This analysis sharpens the object question. Numerical individuality cannot be inferred from ordinary qualitative descriptions, and the explanatory adequacy of primitive identity must be assessed against accounts using relations, structure, and haecceities. The ontology of an individual is therefore partly a theory of which differences in reality are genuinely individuating.

Objects and the Choice of Ontological Framework

The disagreement about ordinary objects is influenced by a methodological distinction between questions asked within an adopted language or theory and questions about the adoption of that framework itself. Rudolf Carnap's “Empiricism, Semantics, and Ontology” (1950) distinguished internal existence questions, which can be answered under the rules of a linguistic framework, from external questions about the choice of that framework. In a framework admitting numbers, asking whether a prime number exists can have a straightforward internal answer. A question about whether to adopt the number framework involves a different evaluation of utility and purpose.

The distinction transforms the debate over objects. In an ordinary material-object framework, “Are there chairs?” is answered through familiar empirical procedures. A competing framework restricted to simples might reformulate the same observations using the arrangement of particles. If the observational and predictive claims remain equivalent, one may ask whether the disagreement is a substantive ontological contest or a difference in the purposes and resources of the adopted frameworks. Carnap's position does not, by itself, establish that every metaphysical disagreement is verbal. Its philosophical significance is to demand an account of what additional issue remains when the empirical consequences of rival descriptions are aligned.

Quine's critique resists the sharpness of the analytic and framework-dependent distinctions that support some versions of this deflationary approach. For Quine, the inventory of entities is assessed within our overall evolving system of theory, responsive to considerations such as simplicity, explanatory integration, and empirical success. His criterion of commitment identifies the entities over which a theory quantifies, but evaluating competing regimentation strategies requires a broader conception of theoretical justification.

The contrast is productive. Carnap identifies the dependence of some ontological questions on an antecedent choice of conceptual resources. Quine places that choice within a continuous process of theoretical revision. Contemporary debates about quantifier variance and ontological deflationism revisit the question of whether existential expressions in apparently opposed theories have sufficiently different meanings to dissolve disagreement. Yet the mere availability of alternative paraphrases cannot show that the original arguments concern nothing, especially where the theories dispute the grounding, modal profiles, and causal implications of entities (Wasserman, 2026).

A test case is a statue that survives in one description and ceases in another. A framework proposal must preserve the truth conditions of claims about its origin, causal history, and possible destruction. If two languages translate these claims without loss, the residual dispute may be semantic. If one framework asserts an entity with a distinct modal profile while the other denies it, a substantive explanatory disagreement may persist.

The result is a methodological discipline for object ontology. The ontologist must say which existential claims are internal to a theory, how the theory is justified, and which questions remain after linguistic translation. The choice between ordinary objects, extraordinary fusions, and elementary simples involves logic and semantics, but also the explanatory structure of the world.

The Dependence of Wholes on Their Constituents

Recognizing the existence of a composite object raises the question of what explains the relation between the whole and its parts. A whole may have all its constituents necessarily, some of them contingently, or a characteristic structure that survives changes in constituents. These possibilities correspond to different forms of metaphysical dependence. Existential dependence concerns whether one item can exist without another. Identity dependence concerns whether the identity of one is determined by another. Grounding concerns the explanatory priority of facts or entities, and it must not automatically be identified with causation or temporal production.

For a simple heap of stones, composition may appear to be exhausted by their arrangement. For a living organism, constituent arrangement at a moment might be inadequate without accounting for the continuing processes that maintain its organization. A mereological universalist can recognize both heaps and organisms as fusions while granting that the organism has a distinctive causal and explanatory profile. A restrictive compositional theory may make that profile part of the conditions of a whole's existence. The actual disagreement concerns the ontological work of organization, not whether the stones or cells are physically present.

The idea that composition is identity offers one response to the question of how a whole relates to its many constituents. The proposal is developed in different strengths. A weaker form treats the whole as nothing more than its parts collectively, while a stronger form seeks a literal sense in which one thing is identical with many things taken together. The difficulty is that ordinary identity is a one-to-one relation satisfying familiar logical principles, whereas composition connects a plurality and a single whole. A defender must explain how plural reference and identity can be combined without logical confusion.

The many–one problem becomes particularly acute when a composite changes parts. If the whole is literally identical with all the particles composing it now, how can it survive their replacement? One reply distinguishes the identity of a time-specific material fusion from the continued identity of an organism or artifact. Another adopts a temporal-parts framework that represents changing composition through different stages. Yet both replies require an account of the identity of the whole across distinct constituent configurations.

Grounding-based approaches may say that the object's existence is explained by a collection of constituent and organizational facts. This is more informative when it specifies the relevant facts, the direction of grounding, and whether the grounding is complete. An assertion that the table exists “because of” its parts does not resolve the difference between composition, constitution, and causal production. The table's production by a carpenter is a historical cause; the arrangement and attachment of its components are candidates for its present material constitution; its identity across repairs depends on further conditions.

The broader conclusion is that dependent existence has internal structure. Theories of objects should specify which kind of dependence is being invoked and why that relation preserves or excludes the existence of an individual whole. This clarification allows nonfundamental objects to be evaluated without treating dependence as a universal reason for ontological elimination.

Objects as Recognized and as Existing

Our access to objects proceeds through perception, description, instruments, and conceptual classifications. None of these channels can be equated with the object itself. A visual system may identify one moving shape despite changes in appearance, while the represented figure could be a shadow, a reflection, or several overlapping physical entities. The capacity to track a coherent perceptual unit reveals regularities in sensory organization, yet the metaphysical inventory must be supported by further evidence about the structure and causal relations of the things detected.

Object recognition often uses continuity, common motion, spatial cohesion, and characteristic responses to interaction. These are also features that can support an ontological case for organized physical individuals. The transition from perception to ontology is strongest when independent methods converge: a visually bounded organism can be distinguished through biochemical processes, functional integration, development, and causal intervention. Such convergence supplies evidence for a real organized individual without turning a perceptual boundary into a necessary metaphysical boundary.

Kant's treatment of objectivity concerns the unity through which a manifold of representations is brought under conditions of objective cognition. A contemporary machine-learning system may similarly organize observations into representations suitable for prediction and action. The explanatory projects are different, but both raise the general distinction between the conditions of identification and the conditions of existence. The success of a classification system shows that its categories support a task; it does not necessarily show that each category selects a fundamental or even a determinate individual.

The relation becomes especially difficult for dynamically extended structures. A hurricane can be tracked through meteorological data despite continual replacement of atmospheric constituents and significant fluctuations in its boundary. If a weather model identifies the same storm across successive observations, its criterion involves the evolution and causal continuity of the structure. Whether the storm is an enduring object or a process is a further ontological issue, informed by that scientific practice rather than settled by its vocabulary.

Reference introduces another distinction. A phrase such as “that machine” may successfully select an individual whose composition is not fully known to the speaker. The referring act need not contain a complete metaphysical theory. Conversely, expressions such as “the largest prime number” may fail to designate an existing object even while possessing a clear grammatical shape. Russell's analysis of descriptions demonstrates why apparent reference and existence should be separated.

The resulting epistemological principle is precise. Methods of recognition provide warranted access to candidate objects; the ontology of those objects requires a theory of their unity, individuation, and dependence. The relation is neither arbitrary nor infallible. Identification is often grounded in objective regularities, yet such grounding can be partial, revisable, or compatible with more than one metaphysical account.

Conclusion

Objects and particulars form a foundational problem because philosophical ontology must explain both what exists and what makes the proposed individuals count as one. Aristotle's substances, medieval principles of individuation, early modern analyses of bodies, Kantian objectivity, and analytic treatments of logical reference each illuminate a different aspect of the inquiry. Contemporary metaphysics makes the disagreements explicit through bundle and substratum theories, mereology, material constitution, persistence, and the philosophical interpretation of science.

The principal result of this monograph is a distinction among particularity, objecthood, and substantiality. Particularity concerns numerical singularity; objecthood concerns individual unity and identity within an ontology; substantiality concerns the special independence or priority attributed to certain individuals. Objects may have grounds in forms, organization, constituents, processes, histories, or institutions. The reality of an individual must be argued through those grounds rather than inferred from the fact that it has a name.

A defensible ontology explains why something is one, how it differs from other entities, how it continues or ceases, and what makes its existence possible. These questions establish objecthood as a continuing central subject of metaphysics and ontology, connecting ordinary life, historical philosophy, formal logic, and contemporary scientific explanation.