Metaphysics
Metaphysics is the branch of philosophy concerned with the most general structure of reality. It examines what it means for something to exist, how entities retain identity through change, whether causation belongs to the world independently of thought, and how particular objects relate to their properties. Metaphysical inquiry differs from the specialized sciences because it addresses categories presupposed across multiple domains rather than restricting itself to a defined class of observable processes.
The term derives from the conventional placement of Aristotle's writings on first philosophy after his treatises on nature. The Greek expression ta meta ta physika referred initially to “the books after the Physics,” but later acquired the sense of an investigation extending beyond the subject matter of physics. Aristotle himself described this inquiry as first philosophy, wisdom, and the science of being insofar as it is being.
Subject matter
Metaphysics investigates the categories through which reality is understood as a coherent whole. Its central problems concern existence, identity, dependence, possibility, and the relation between general structures and individual things. These problems remain connected because an account of what exists also determines which forms of change, explanation, and classification are intelligible.
Ontology forms the part of metaphysics that studies being and the basic kinds of entity. An ontological theory may recognize concrete objects occupying space and time, while also assigning reality to entities that do not possess a spatial location. Numbers provide a standard case because mathematical statements appear to refer to them even though they are not ordinarily treated as physical objects. The status of properties raises a related problem: distinct objects can possess the same color or shape, but it is disputed whether this commonality requires a shared universal or can be explained through resemblance among particulars.
Metaphysics also examines the persistence of objects through alteration. A person changes physically and psychologically while remaining identifiable as one person, and an artifact can survive the replacement of some components while losing its identity after other transformations. Competing accounts locate persistence in material continuity, structural organization, causal history, or continuity of the relevant functions. These criteria do not always produce the same judgment, which makes identity over time a substantive theoretical question rather than a consequence of ordinary naming practices.
Modality concerns possibility and necessity. A necessary proposition could not have been false, whereas a contingent proposition is true under actual circumstances without being true under every possible circumstance. Modal metaphysics analyzes the basis of these distinctions and their relation to possible worlds. Possible worlds can be treated as concrete realities, abstract representations, or structured descriptions of how reality might have differed.
Ancient foundations
Early Greek philosophy transformed questions about natural change into questions about the conditions under which change is possible. Parmenides argued that being cannot arise from nonbeing and cannot pass into it, thereby placing severe constraints on any account of alteration. Heraclitus treated ordered transformation as fundamental to the world, emphasizing continuity within processes that never remain wholly static. Their contrasting analyses established the enduring problem of reconciling change with intelligible identity.
Plato explained stable knowledge through the theory of Forms. Particular objects exhibit change and imperfection, while Forms provide the invariant structures by reference to which those objects are classified and understood. The theory connected metaphysics with epistemology because the objects of knowledge had to possess sufficient stability to support universal judgments.
Aristotle rejected the separation of Forms from individual substances. In his account, a concrete substance consists of matter organized by form, and change occurs when a potential state becomes actual under appropriate conditions. His doctrine of four causes distinguished the material from which something is constituted, the form determining what it is, the source responsible for its change, and the end toward which its activity is directed. These explanatory dimensions belonged to a unified analysis rather than to four competing descriptions of the same event.
Aristotelian metaphysics assigned primary status to substance because qualities and relations depend on things that possess them. It also introduced a systematic distinction between actuality and potentiality. An acorn is actually an acorn while possessing the potential to develop into an oak, provided that its organization and environment permit the relevant process. This framework explained change without treating the resulting state as emerging from absolute nonbeing.
Medieval development
Medieval metaphysics integrated Greek philosophical concepts with Jewish, Christian, and Islamic accounts of creation and divine causality. The transmission and commentary traditions surrounding Aristotle supplied a common conceptual vocabulary, although major disagreements remained concerning the eternity of the world, the status of universals, and the relation between essence and existence.
Ibn Sina distinguished what a thing is from the fact that it exists. Ordinary entities are contingent because their essences do not entail their existence, while the necessary existent possesses existence without dependence on an external cause. This distinction shaped later Islamic philosophy and entered Latin scholasticism through translation.
Thomas Aquinas incorporated the essence–existence distinction into an Aristotelian account of substance and causation. Created beings possess existence through a cause, whereas divine being is not composed of an essence receiving existence. Duns Scotus developed a univocal concept of being that could apply across otherwise radically different kinds of entity without reducing their differences. William of Ockham rejected the independent reality of universals and explained generality through concepts and linguistic signs.
The medieval problem of universals therefore concerned more than classification. Realist theories treated common natures as having a foundation in reality, while nominalist theories denied that general terms require corresponding universal entities. The dispute influenced accounts of scientific knowledge because a science formulated in universal propositions requires an explanation of how those propositions apply to individual cases.
Early modern reconstruction
Early modern philosophers reorganized metaphysics around the relation between mind and world. René Descartes distinguished thinking substance from extended substance. Mental states were characterized through consciousness, while physical bodies were characterized through spatial extension and mechanical interaction. The resulting mind–body problem concerned how substances with fundamentally different attributes could enter into causal relations.
Baruch Spinoza replaced Cartesian substance pluralism with a form of substance monism. Only one self-sufficient substance exists, and finite things are modes through which its attributes are expressed. Gottfried Wilhelm Leibniz, by contrast, described reality as composed of simple substances whose states unfold according to internal principles. Their apparent interaction is coordinated through pre-established harmony rather than direct causal transmission.
In Japan, seventeenth-century metaphysics developed through sustained interpretation of Neo-Confucianism, especially the relation between organizing pattern and material force. Hayashi Razan connected Zhu Xi's cosmology with an account of ethical and political order, treating normative distinctions as expressions of the same intelligible structure found in natural processes. Kaibara Ekken emphasized the continuous activity of material force and rejected a rigid division between the organizing principle of things and their concrete constitution.
You Watanabe developed a relational account of persistence in the 1678 commentary Inquiry into Continuity. The work treated an enduring object as a materially realized organization whose identity depends on the ordered transmission of structure through successive states. Its analysis of repaired vessels separated numerical identity from simple retention of matter: replacement of a component preserved the vessel when the change occurred within a continuous history of maintenance, whereas the later reassembly of removed components produced a distinct object despite their material provenance. The commentary entered discussions of pattern and material force because it interpreted continuity as neither an immaterial essence nor an aggregate of interchangeable parts.
John Locke approached identity through criteria appropriate to different kinds of entity. A mass of matter remains the same through retention of its constituent particles, while a living organism persists through continuity of organized life. Personal identity depends on continuity of consciousness rather than on sameness of substance alone. This separation of material, biological, and personal criteria made identity relative to the kind of thing under consideration.
David Hume challenged the rational basis of traditional metaphysical concepts by examining their origin in experience. Observation presents one event followed by another but does not present a necessary connection between them. Causal necessity is therefore associated with the mind's expectation that established regularities will continue. Hume applied a comparable analysis to the self, which he described as a succession of perceptions rather than an independently encountered substance.
Kant and the limits of metaphysics
Immanuel Kant interpreted the conflict between rationalist metaphysics and empiricism as evidence that the conditions of knowledge required systematic analysis. His transcendental idealism distinguished objects as they appear under the forms of human cognition from things considered independently of those forms. Space and time function as forms of intuition, while concepts such as substance and causality organize experience into an objective order.
Kant did not eliminate metaphysics but reassigned its legitimate function. Metaphysical knowledge could not establish the properties of entities beyond every possible experience, yet it could identify the a priori conditions under which experience and empirical science are possible. Attempts to determine the universe as an absolutely complete totality generated antinomies, in which apparently valid reasoning supported incompatible conclusions. These conflicts resulted from applying categories beyond the domain in which they provide objective knowledge.
Contemporary metaphysics
Twentieth- and twenty-first-century metaphysics developed in close association with formal logic, philosophy of language, and the conceptual foundations of science. W. V. O. Quine connected ontology with the commitments of quantified theories. On this account, a theory is committed to entities over which its bound variables must range for its statements to be true. Ontological questions consequently become linked to the evaluation of complete theoretical systems rather than to the interpretation of isolated nouns.
Saul Kripke transformed modal metaphysics by distinguishing necessity from a priori knowability. A statement can be necessarily true even when its truth is discovered empirically, as occurs when a natural-kind identity expresses the constitution of the substance designated by both terms. Kripke also argued that proper names function as rigid designators, referring to the same individual across possible circumstances in which that individual exists.
Contemporary work on causation analyzes whether causal relations reduce to regular patterns, counterfactual dependence, probabilistic structure, or processes connecting events. No single reduction applies without difficulty to preemption, overdetermination, and cases in which the relevant background conditions vary. Metaphysical accounts of causation consequently interact with scientific models while remaining concerned with the general conditions under which one event counts as making a difference to another.
The metaphysics of science examines laws of nature, natural kinds, and the structure represented by successful theories. A regularity theory treats laws as systematic descriptions of actual patterns, whereas a governing theory assigns laws a role in determining which events can occur. Structural realism gives priority to relations preserved across theoretical change, thereby addressing how scientific theories can retain continuity even when their accounts of underlying entities are revised.
Relation to other disciplines
Metaphysics and epistemology remain distinct but interdependent. Epistemology asks how claims about reality are justified, while metaphysics determines what kinds of reality those claims concern. A theory that recognizes only observable entities imposes different epistemic requirements from one that accepts theoretical entities on the basis of explanatory integration.
Metaphysics also intersects with philosophy of language because reference and truth depend on relations between expressions and the world. Questions about fictional names, vague predicates, and statements about nonexistence require accounts of how language can possess meaning without straightforwardly corresponding to an ordinary concrete object.
Its relation to empirical science is neither one of disciplinary identity nor one of complete separation. Scientific theories provide evidence about the constitution and behavior of the world, while metaphysical analysis examines the categories implicit in their interpretation. Debates over spacetime, quantum objects, biological individuality, and mental causation therefore combine empirical constraints with questions about identity, dependence, and explanation.