Metaphysics
Metaphysics is the branch of philosophy that asks what reality is made of at its most basic level. Aristotle gave it a striking name. He called it the first philosophy, suggesting it sits beneath every other kind of philosophical inquiry, the ground on which the rest depends. Yet the field never settled its own borders. Some thinkers treat it as the study of mind-independent features of the world. Others insist it is really an inquiry into the conceptual framework through which humans understand anything at all. Even the word itself may be an accident of publishing. So what does a metaphysician actually study, and why has the discipline drawn centuries of suspicion about whether it studies anything real? The answers reach from the apple on a table to the dinosaurs in worlds that never were.
The Latin word metaphysica carried the term into English in the mid 1500s, but its deeper origin lies in two ancient Greek words, metá and phusiká. One common reading takes this to mean topics that lie beyond physics, above the reach of empirical observation, because they are too general and comprehensive for it. There is a less elegant possibility. Aristotle never used the word metaphysics himself. An editor working roughly two centuries after him, likely Andronicus of Rhodes, coined it as the title for a book. The label may have meant nothing grander than the work to be studied after Aristotle's Physics. Either way, the discipline began with a question about its own scope, and that dispute never closed. One early modern division split it into general metaphysics, also called ontology, and special metaphysics narrowed to particular perspectives.
To exist, in the metaphysician's sense, means to be part of reality, which separates real things from imaginary ones. Even that plain idea fractures into rival views. One tradition treats existence as a property of properties, so that an entity exists if its properties are instantiated. A competitor says existence is a property of individuals, much like shape or size. Alexius Meinong went further and argued for nonexistent objects, including merely possible ones like Santa Claus and Pegasus. Plato added degrees, holding that his perfect and immutable forms possess a higher kind of existence than the matter that only imperfectly reflects them. Sorting what exists into kinds is the work of categories. Aristotle built one of the earliest systems with 10 categories, treating substances like man and horse as the most important, since quantity, quality, and place all depend on them. Kant later devised 12 categories grouped under quantity, quality, relation, and modality. Many philosophers since lean on a simpler split, between concrete objects like rocks and trees that sit in space and time, and abstract objects like numbers and sets that do not.
Aristotle, the Eiffel Tower, a specific apple, the number 2: these are particulars, unique and non-repeatable, set against universals like the color red that can appear in many places at once. Substratum theory, tied to John Locke, analyzes each particular as a bare particular dressed in properties, the substratum granting individuality while the properties say what it is like. Bundle theorists, drawing on David Hume, reject the bare core and call a particular nothing but a bundle of properties, sometimes adding an individual essence, a haecceity, to keep each bundle unique. A table consists of a tabletop and legs, themselves made of countless particles, which opens the study of parts and wholes called mereology. The problem of the many sharpens it. A cloud has no crisp boundary, so which droplets belong to it? Mereological universalists say every collection forms a whole, making a single cloud an overlay of countless clouds. Moderatists demand conditions, such as the parts touching. Nihilists deny wholes entirely, insisting there are no tables, only particles arranged table-wise.
Nelson Mandela and Mahatma Gandhi share something a strawberry and a ruby also share in their own way: a universal, a repeatable feature that many particulars can instantiate at the same time. The status of these general entities is the problem of universals, debated since ancient philosophy. Realists hold that universals are real and mind-independent. Platonic realists make them independent of particulars, so the universal would persist even with no red things left in the world. A more moderate realism, inspired by Aristotle, ties universals to particulars and counts them real only when instantiated. Nominalists deny universals in any form and build the world from particulars alone. Conceptualists take a middle path, allowing universals to exist only as concepts in the mind that classify experience. Natural kinds like electrons and tigers are often treated as special universals, discovered by the sciences rather than invented, while social kinds like money and baseball count as useful constructions that do not mirror the deep structure of mind-independent reality.
Gottfried Wilhelm Leibniz borrowed a term from theodicy that modal metaphysicians still use: possible worlds, each a complete and consistent way the totality of things could have been. The dinosaurs were wiped out in the actual world, yet in some possible world they live on. A statement counts as possibly true if it holds in at least one such world and necessarily true if it holds in all of them. Modal realists, a controversial camp, treat these worlds as concrete as our own, the only difference being that ours is the one we inhabit while others hold our counterparts. Time splits along its own fault line. The A-series treats the flow of time as real, sorting events into past, present, and future. The B-series treats time as static, ordering events only by earlier-than and later-than. Eternalism makes past, present, and future equally real, while presentism grants existence only to the present. Causality binds these threads. The regularity theory, again from Hume, reduces cause to constant conjunction, the mind noting that fire is always followed by pain. G. E. M. Anscombe offered counterexamples to strict determinism, inspiring probabilistic theories where a cause only raises the chance of its effect, which explains why smoking causes cancer without doing so in every case.
Cartesian dualism treats minds and bodies as distinct substances that interact yet could, in principle, exist alone. Monists reject the split. Idealists make everything mental, with physical objects understood as ideas or perceptions, while materialists make all reality material at its core, often explaining mind through brain states, behavioral dispositions, or functional roles. Neutral monists call reality neither material nor mental, treating both as derivative. The hardest knot is the hard problem of consciousness, the puzzle of how a physical brain produces phenomenal experience at all. Free will is woven into the same problem through causal determinism, the view that every event, human behavior included, is fixed by preceding events and laws of nature. Incompatibilists say free will cannot survive in such a world. From there hard determinists conclude there is no free will, while libertarians conclude determinism must be false. Compatibilists take a third road, arguing that a person can act in tune with their own motivations even if those are determined. The stakes are ethical, since free will underwrites the moral responsibility people bear for what they do.
Metaphysics has spent much of its history defending its right to exist. Hume argued there is no good source of metaphysical knowledge, since the field lies beyond empirical reach and leans on dubious intuitions about a realm past the senses. Kant pressed a different limit, holding that knowledge stops at the boundary of possible experience, so questions like whether the world had a beginning in time stay undecidable. Logical positivists, including Rudolf Carnap, went furthest, calling metaphysical statements meaningless because they make no testable predictions. A softer charge from ontological deflationism allows such statements meaning but dismisses many disputes as merely verbal, the quarrel over tables versus particles arranged table-wise treated as a debate about linguistic preference. Serious metaphysicians answer that these disputes concern the real structure of reality. Martin Heidegger leveled a deeper complaint, that traditional metaphysics fails to distinguish individual entities from being itself, and his effort to overcome metaphysics shaped Jacques Derrida's deconstruction. No consensus settles whether these criticisms sink the whole field or only certain corners of it, which leaves the oldest question about metaphysics still open: whether some of its disputes are merely verbal while others cut to the substance of the world.
Common questions
What is metaphysics in philosophy?
Metaphysics is the branch of philosophy that examines the basic structure of reality, including existence, objects and their properties, possibility and necessity, space and time, change, causation, and the relation between matter and mind. It is one of the oldest branches of philosophy and is traditionally seen as the study of mind-independent features of the world.
Why did Aristotle call metaphysics the first philosophy?
Aristotle designated metaphysics as the first philosophy to suggest that it is more fundamental than other forms of philosophical inquiry. The label implies it is the most basic inquiry upon which all other branches of philosophy depend in some way.
Where does the word metaphysics come from?
The word metaphysics comes from the ancient Greek words metá and phusiká and entered English in the mid 1500s through the Latin word metaphysica. Aristotle did not use the term himself; an editor some two centuries later, likely Andronicus of Rhodes, coined it as the title of his book, presumably to indicate it should be studied after Aristotle's Physics.
What is the difference between particulars and universals in metaphysics?
Particulars are unique, non-repeatable individual entities, like a specific apple, the Eiffel Tower, or the number 2. Universals are general features that different particulars share, like the color red, and they are repeatable because they can be instantiated by several particulars at the same time.
What are possible worlds in metaphysics?
A possible world is a complete and consistent way the totality of things could have been, a concept borrowed from Gottfried Wilhelm Leibniz to analyze modal statements. A statement is possibly true if it is true in at least one possible world and necessarily true if it is true in all possible worlds.
Why has metaphysics been criticized as a field of inquiry?
Critics argue that humans lack the cognitive capacity to access the ultimate nature of reality, a view held by empiricists like David Hume and limited further by Immanuel Kant. Logical positivists, including Rudolf Carnap, went further and claimed metaphysical statements are meaningless because they make no testable predictions about experience.
What is the mind-body problem in metaphysics?
The mind-body problem is the challenge of clarifying the relation between physical and mental phenomena. Cartesian dualism treats minds and bodies as distinct substances, monists reject that split, and the hard problem of consciousness asks how physical systems like brains can produce phenomenal consciousness.