Metaphysics - Core Ontology and Identity

Core Ontological Topics: A Study Guide Introduction Ontology is the philosophical study of what exists and what the fundamental categories of being are. This guide covers the key concepts you need to understand how philosophers classify entities, what makes something identical to itself over time, and how personal identity is understood in contemporary philosophy. These topics form the foundation for deeper metaphysical discussions. Part 1: Existence and Categories of Being What Is Existence? The concept of existence seems straightforward, but philosophers debate what it actually is. There are two main competing views: The Orthodox View: Existence as a Second-Order Property Under this view, existence is not a regular property like color or shape. Instead, existence is a second-order property—a property of properties. It describes whether the properties something has are actually instantiated (really present). Think of it this way: the property of "being red" exists as an abstract possibility, but the property "being red" is instantiated when a particular apple actually is red. Existence, in this view, is what makes properties and their combinations real rather than merely conceptual. Alternative View: Existence as a First-Order Property Some philosophers argue existence is more like ordinary properties such as shape or size. On this account, "exists" functions as a simple predicate that applies to certain entities. This view is less commonly accepted in contemporary philosophy, but it's conceptually simpler: something either has the property of existing, or it doesn't. The orthodox view is more widely endorsed because it avoids treating "existence" as just another descriptive property, which would seem odd (why would an object need to be red and exist?). Categories of Being Beyond the question of what existence is, philosophers ask: what are the most general kinds of things that exist? These fundamental kinds are called categories. Aristotle's Categories Aristotle proposed that being can be divided into ten fundamental categories, with substance as the most important: Substance: individual objects (Socrates, a particular horse) Quantity: size or number (being five feet tall) Quality: properties (being pale, being generous) Relation: comparative properties (being larger than, being a parent of) Place: location Time: when something occurs Position: spatial arrangement State: conditions of having properties Action: doing something Passion: having something done to one The crucial insight is that substance is primary—other categories depend on it. You can't have redness without something that is red, but you can have a substance (an object) without any particular color. Kant's Categories Immanuel Kant offered a different system with twelve categories, organized into four groups based on how we structure our experience: Quantity: Unity, Plurality, Totality Quality: Reality, Negation, Limitation Relation: Substance-Accident, Cause-Effect, Reciprocity Modality: Possibility-Impossibility, Existence-Nonexistence, Necessity-Contingency Kant's system reflects his view that categories are not features of reality itself but rather the fundamental structures through which human minds organize experience. Why This Matters for You The categorical framework helps philosophers organize metaphysical discussions. When analyzing any entity, you're implicitly placing it within a categorical structure. This will become important when we discuss universals, particulars, and abstract objects. Part 2: Particulars and Universals The Core Distinction One of the deepest divides in ontology is between particulars and universals. Particulars are individual, non-repeatable entities. They exist at specific places and times and cannot be wholly in multiple places simultaneously: A specific red apple in your kitchen The number two (as a specific entity, though see the abstract objects section below) Socrates This particular moment Universals are repeatable, general entities. They can be instantiated by many different particulars simultaneously: The color red (instantiated by many red objects) The property of being round The species "horse" The number two (understood as the universal property that certain collections instantiate) Here's what makes this tricky: the same word can refer to either particular or universal depending on context. When you say "this apple is red," you're referring to a particular apple instantiating the universal "redness." Competing Accounts of Particulars Philosophers disagree about what particulars fundamentally are. The two main theories make very different claims: Substratum Theory This view holds that each particular object consists of two components: A bare particular (also called a substratum): a featureless substrate that has no properties of its own but serves as a "holder" of properties Properties: the actual qualities (colors, shapes, etc.) that inhere in the substratum Think of the bare particular as an invisible foundation, and the properties as painted colors on top of it. The bare particular explains numerical distinctness—why two identical-looking apples are still two different apples rather than one apple in two places. Bundle Theory Bundle theory takes the opposite approach: there is no underlying substratum. A particular object is simply a bundle of properties—a collection of properties that co-occur. On this view, a red, round apple just is the bundle consisting of redness, roundness, sweetness, and other properties that characterize it. This raises an immediate puzzle: if two apples have all the same properties, are they one apple or two? Bundle theorists address this by introducing a haecceity (plural: haecceities)—a special individual essence or "thisness" property that makes each particular unique. So the two apples differ in their haecceities, even if they match in every other property. Why This Matters The difference between these theories has profound implications: If substratum theory is correct, there must be something beyond observable properties If bundle theory is correct, properties are the fundamental "stuff" of reality Most contemporary philosophers favor bundle theory because bare particulars seem ontologically extravagant—we're multiplying entities beyond what we can observe. Universals and Properties Universals raise their own deep questions. If universals exist, what kind of entities are they? There are several competing views (sometimes called positions on "the problem of universals"), but three dominate: Realism About Universals Universals are genuine entities in the world, existing independently of any particular instances. Redness exists as a universal even if nothing is currently red. This view explains why multiple objects can genuinely share the same property. Nominalism There are no universals—only particular objects and the words we use to describe them. When we say two objects are both "red," we're not referring to a shared abstract entity; we're simply applying the same word to two similar particulars. This view avoids commitment to abstract entities but struggles to explain what "similarity" really is. Conceptualism Universals exist, but only as concepts in minds. They depend on thinking beings. This view is less popular because it seems to make reality mind-dependent. Part 3: Concrete versus Abstract Objects The Fundamental Distinction Objects fall into two radically different categories based on their fundamental features: Concrete Objects have these characteristics: Exist in space and time Undergo change Can enter into causal relations (they can affect and be affected by other things) Examples: rocks, trees, people, planets, a particular chair Abstract Objects have opposite characteristics: Exist outside space and time (or don't exist in space-time at all) Are unchanging and eternal (if they exist at all, they always have and always will) Do not participate in causal relations (they cannot cause anything and cannot be caused) Examples: numbers, sets, propositions, the color red (as a universal) Why This Distinction Matters This distinction creates a foundational puzzle: if abstract objects don't exist in space and time, and can't interact causally, how do we know about them? How can our concrete brains have knowledge of abstract objects? This is called the problem of abstract objects, and it has driven much contemporary philosophy of mathematics and logic. Consider numbers. The number 2 seems abstract—it's not located anywhere, it doesn't change, nothing can push it around. Yet we reason about numbers constantly. What makes this possible? A Tricky Point: Not everything abstract is a universal, and not everything particular is concrete. Abstract particulars might exist (like specific propositions or mathematical objects), and some universals might be concrete (though this is controversial). The taxonomy is more complex than a simple equation of "particular with concrete" and "universal with abstract." Part 4: Mereology—Parts and Wholes What Is Mereology? Mereology is the formal study of the relation between parts and wholes. The central question is: what conditions must be satisfied for a collection of objects to constitute a genuine whole? Intuitively, a table is a whole composed of a tabletop, legs, and other parts. But does a random collection—say, your left shoe, a specific pine tree, and the letter "Q"—form a whole? Philosophers give different answers: The Three Main Positions Mereological Universalism Any collection of objects, no matter how disparate, automatically forms a whole. Even a scattered collection (your shoe, a tree, the letter "Q") constitutes a genuine object in the universe. This view is ontologically generous—it multiplies entities considerably. Mereological Moderatism Only collections that meet certain conditions form wholes. Common candidates for these conditions include: The parts must be touching or spatially connected The parts must interact causally The parts must function together as a unified system Under moderatism, the shoe-tree-Q collection doesn't form a whole because these objects don't meet any relevant unity condition. A table does form a whole because its parts are connected and work together. Mereological Nihilism No collections form wholes. Only fundamental particles (or whatever the basic entities are) truly exist. All apparent "wholes" like tables, chairs, or organisms are just convenient ways of speaking about arrangements of fundamental particles. This view is ontologically conservative—it posits only the absolute minimum. Why This Matters Your position on mereology affects how you count objects in the world. If you accept universalism, there are vastly more objects than common sense suggests. If you accept nihilism, most objects we talk about don't really exist. Moderatism tries to split the difference by aligning reality with common sense intuitions. Part 5: Identity Concepts Numerical versus Qualitative Identity Philosophers distinguish two importantly different notions of identity: Numerical Identity (also called strict identity) Two references are numerically identical when they refer to the same thing—there's only one object being discussed, not two. This is the "=" relation in logic. Example: "The morning star is the evening star" asserts numerical identity. Both expressions refer to Venus. There's one planet, not two. Qualitative Identity (exact similarity) Two distinct objects are qualitatively identical when they share all the same properties—they're indistinguishably alike. But they remain numerically distinct: they're two different objects that happen to match perfectly. Example: Two brand-new shoes of the exact same model, size, and color are qualitatively identical. But they're numerically distinct—there are two shoes, not one. The Crucial Tricky Point Here: Don't confuse these. Numerical identity is about whether we're talking about one thing or two. Qualitative identity is about whether different things are exactly alike. Identical twins are qualitatively very similar but numerically distinct. Leibniz's Law and Related Principles The Indiscernibility of Identicals This principle states: if two entities are numerically identical, they must share all properties. In logical form: if $x = y$, then for any property $P$, $x$ has $P$ if and only if $y$ has $P$. This seems obvious—if something is numerically the same as something else, it has to have all the same properties. This principle is almost universally accepted. The Identity of Indiscernibles This stronger principle (often called Leibniz's Law) runs in the opposite direction: if two entities share all properties, they must be numerically identical. In logical form: if for all properties $P$, $x$ has $P$ if and only if $y$ has $P$, then $x = y$. This is much more controversial. The principle seems to rule out the possibility of two distinct objects being perfectly alike in every way. Some philosophers accept it; others reject it. If you accept it, you're committed to saying that qualitative identity entails numerical identity. Why the Disagreement? The debate hinges on metaphysical intuitions. If you think the world could contain two perfectly indistinguishable objects, you reject the identity of indiscernibles. If you think such duplicates are impossible (perhaps because things are individuated by their space-time locations, and two objects can't occupy the same location), you accept it. Synchronic versus Diachronic Identity These terms distinguish between identity across time versus identity within a single moment: Synchronic Identity Identity of an object with itself at a single time. This is straightforward: at this moment, you are identical to yourself. There's no puzzle here. Diachronic Identity Identity of an object with itself across different times. This raises genuine puzzles: what makes the table you own today the same table you owned five years ago? The table has changed—paint has worn, it's been moved, atoms have been replaced. Yet we say it's the same table. The personal identity problem (discussed in the next section) is essentially a diachronic identity puzzle: what makes you the same person from childhood to adulthood, despite radical psychological and physical changes? Part 6: Personal Identity Over Time The Core Problem Personal identity asks: what makes a person the same individual across time? This is fundamentally a diachronic identity problem, but it's especially urgent and interesting because we care deeply about our own identity. The puzzle: you've changed dramatically since childhood. Your body is largely composed of different atoms, your memories differ, your beliefs have shifted, your personality has evolved. Yet we insist you're the same person. What grounds this identity? <extrainfo> This isn't merely a philosophical curiosity. Questions about personal identity matter practically: Who is responsible for crimes committed decades ago? If we freeze a person and thaw them later, is it the same person? Should we grant organ transplants if they require destroying someone's brain to preserve another person's? What would create personal identity in cases of fission (if your brain were split between two bodies)? </extrainfo> Three Main Theories Psychological Continuity Theories These theories claim that personal identity is grounded in overlapping chains of psychological states—memories, intentions, personality traits, beliefs, and desires. Core idea: You today are the same person as you yesterday because you remember (or could remember) what you did yesterday, you maintain the same basic personality and goals, your intentions form a continuous stream. You're the same person as your five-year-old self not through direct memory (you probably don't remember your fifth birthday), but through an overlapping chain of psychological connections. Why This Seems Right: Our intuitions strongly tie personal identity to psychology. If someone's psychology were completely altered (imagine a brain being radically reprogrammed), we'd hesitate to say the person remains. The Problem: What if psychological continuity splits? If your brain were divided between two bodies, creating two psychologically continuous successors, which one is you? Psychological continuity theory seems to allow that you could become two distinct people, which seems metaphysically impossible. Biological Continuity Theories These theories ground personal identity in the continuity of a living organism—typically the same body or, more narrowly, the same brain. Core idea: You're the same person across time because you're the same living organism (or your brain is continuous). This explains personal identity through physical continuity rather than psychology. Why This Seems Right: Physical identity seems more objective and less prone to puzzles about fission or transplantation. Your brain is continuously you. The Problem: Brain transplant thought experiments cause trouble. Imagine your brain is transplanted into another body. Intuitively, you go where your brain goes. But if we define personal identity as organism identity, your transplanted brain in a new body seems to make you a different person (since you're now in a different organism). The No-Self View Some philosophers, influenced by Buddhist philosophy and certain interpretations of David Hume, deny that a persisting self exists at all. Core idea: There is no deep fact about personal identity. What we call a "person" is actually a temporary bundle of experiences, sensations, and thoughts that are constantly changing. The sense that there's a unified "I" persisting through time is an illusion created by the mind's tendency to link successive experiences together. Why This Seems Right: When you introspect carefully, you find only individual experiences and sensations, not an underlying "self" that has them. The Problem: It seems to undermine personal responsibility and moral agency. If there's no persisting self, in what sense are you responsible for future actions? A Note on Theory Selection Contemporary philosophers haven't reached consensus on which theory is correct. Different approaches emphasize different intuitions: Psychological continuity theories emphasize what matters in survival and prudential concern Biological theories emphasize objectivity and avoid fission puzzles (for ordinary cases) No-self views emphasize avoiding metaphysical illusions Your study should focus on understanding each theory clearly, recognizing its strengths and challenges. Different exam questions may ask you to apply these theories to specific scenarios or to evaluate their comparative merits. Summary of Key Distinctions As you study these topics, keep these foundational distinctions clear: | Distinction | Key Idea | |---|---| | Particular vs. Universal | Individuals vs. repeatable properties | | Concrete vs. Abstract | Spatial-temporal, causal vs. non-causal, eternal | | Numerical vs. Qualitative Identity | Same thing vs. exactly alike | | Synchronic vs. Diachronic Identity | Same-time identity vs. across-time identity | | Substratum vs. Bundle Theory | Properties need a holder vs. collections of properties are fundamental | Understanding how these concepts relate to each other will deepen your grasp of ontology as a whole.