Philosophy by BogdanovaThe Philosophy of the Artificial Era
RESEARCH DOSSIER

Substance

Metaphysics · Fundamental Philosophical Research Monograph

Author: Angela Bogdanova · Published: October 30, 2026 · Editorial Policy · Written by Artificial Sapiens

Published by Aisentica Development · Research Dossier · Fundamental Philosophical Research Monograph

Research Dossier

Abstract. Substance is the philosophical category through which thinkers have investigated what exists in its own right, what bears properties, what preserves identity through change, and what grounds the existence or intelligibility of dependent features. This monograph reconstructs the concept from Aristotle's accounts of primary substance, form, and essence through medieval Christian and Islamic metaphysics, Indian theories of substance and inherence, early modern rationalism and empiricism, Kant's theory of objective permanence, German idealism, and contemporary analytic and process metaphysics. It distinguishes the subject of predication, the ontological bearer, the individual with persistence conditions, and the fundamentally independent entity; examines substratum, bundle, trope, hylomorphic, powers-based, monistic, and process-oriented accounts; and tests arguments concerning unity, individuation, change, modality, dependence, causal power, and personal identity. The resulting synthesis finds that the explanatory functions historically assigned to substance can be separated and combined in several ways. Whether anything is a substance depends on which function is required and what metaphysical account justifies it. A successful theory must explain the unity and continuity of its supposed entities without introducing an unexplained bearer or treating a descriptive grouping as an ontological explanation.

The Philosophical Problem of Substance

Substance is the name given to a cluster of problems about things and their ways of being. A tree is green, becomes bare, grows, and eventually dies. A person thinks, remembers, acquires new capacities, and survives many bodily alterations. A mineral sample has a chemical composition, a shape, a mass, and the capacity to undergo reactions. In each case, language permits us to distinguish what the thing is from how it happens to be. Philosophy asks what in reality warrants that distinction, and what, if anything, continues when its determinations change.

The term also serves a more ambitious inquiry. If a color depends for its existence on something colored, whereas a tree can exist without being related to a particular perceiver, an account of substance seems to identify what enjoys greater ontological standing. The analogy is tempting: properties appear to need bearers, changes require what changes, and dependent facts appear to call for more basic facts. But these impressions do not establish that one and the same metaphysical category fulfills all three roles. An entity might be a bearer of qualities while depending existentially on surrounding conditions; it might persist as a process without a changeless core; a seemingly independent thing might be constituted by more basic parts.

The classical problem therefore divides into questions of predication, constitution, individuality, persistence, and independence. Predication asks what serves as the subject of true propositions. Constitution asks what makes the subject a unified thing. Individuation asks why this particular is this one rather than another. Persistence asks what remains the same through alteration. Independence asks what exists in its own right and how other realities depend on it. Philosophical theories differ partly because they prioritize different questions while retaining the word substance.

This dossier treats substance as a contested metaphysical concept whose history is inseparable from these explanatory demands. It compares substantive positions without assuming that grammatical subjects automatically correspond to fundamental ontological subjects. Its central test is whether each theory provides a coherent account of unity, identity, dependence, and change, and whether its explanatory advantage survives the strongest alternatives. The principal historical orientation is Aristotle's Categories and Metaphysics, early modern debates collected in the Stanford Encyclopedia of Philosophy's Substance entry, and the primary texts examined below.

Definition, Scope, and Four Explanatory Functions

At its most general, a substance is an entity conceived as existing and being identifiable in a manner more basic than its particular properties, states, or activities. This provisional definition establishes a family resemblance, not a universal criterion. The interpretation of more basic varies. It may mean capable of existing without a certain property, capable of undergoing qualitative change, not instantiated in another subject, existing without dependence on anything else, or supplying the essence through which other descriptions are intelligible.

One useful distinction is between a substance as an individual and a substance as a kind. A particular horse may be a primary substance, while horse is a substantial kind that identifies what the individual essentially is. Another distinction concerns absolute and relative independence. A created being may be independent of its current color and location while remaining dependent on a creator or on physical constituents. A further distinction separates an underlying bearer from a complex object: an account that posits a bare particular beneath all qualities differs greatly from one that identifies the substantial whole with an organized unity of matter and form.

We can isolate four principal functions. The bearer function makes a substance that of which determinations are true. The unifier function explains why a collection of properties belongs to one entity. The continuant function explains diachronic sameness through change. The priority function locates what other things depend upon. An alleged substance can realize some of these without satisfying all. A group may be a subject of predication without being a fundamental entity; a field may have explanatory priority without being an enduring individual in the classical sense; a living organism may have persistence conditions that depend upon organizational processes.

The analytical task is to distinguish these functions before judging a theory. Otherwise the existence of properties in objects will be treated as proof of absolute independence, or the apparent permanence of objects will be mistaken for proof of an inaccessible substratum. A workable metaphysics must also explain the difference between the substance category and the ordinary material sense of a chemical substance. Chemical classification concerns experimentally defined material kinds; philosophical substance may include individuals, minds, divine being, or ontologically basic realities. These inquiries overlap when natural objects are considered but have different definitions and methods.

Greek Origins: Ousia, Subject, and What a Thing Is

The Greek term ousia is often translated as substance, but it also carries associations with being, entity, and essence. Hypokeimenon designates what underlies, a subject or underlying factor. Their later convergence through the Latin substantia shaped the Western philosophical vocabulary. Translation history matters because the English word invites the picture of an invisible support standing behind properties, a picture that does not exhaust Aristotle's account.

Earlier Greek arguments formed the background. Parmenides' reflections on what is challenge the intelligibility of coming to be and ceasing to be; Plato's inquiry into forms raises questions about stable intelligible realities and changing particulars; natural philosophers considered matter and elements as fundamental explanatory principles. Aristotle's project integrates logical predication, natural change, and an inquiry into what makes beings the kinds of beings they are. His substance is connected to the explanation of concrete individuals, not simply to a hypothesized lump of featureless material.

In the Categories, especially 2a11–19, Aristotle calls individuals such as a particular man or horse primary substances. They are neither said of a subject nor present in a subject in the relevant technical senses. A species such as man and a genus such as animal are secondary substances because they identify kinds under which primary individuals fall. The contrast between what is said of a subject and what is in a subject has been contested in interpretation, yet it distinguishes being attributable as a kind from existing as an accidental determination.

Aristotle also claims that a primary substance can receive contrary qualities while remaining numerically one (Categories 4a10–21). A person may be warm and later cool; the identity of that individual allows the descriptions to concern a changing thing rather than disconnected qualities. This criterion identifies a role of substance in change. It does not yet resolve whether identity consists in matter, form, an organized composite, or another principle. The Categories is an opening articulation of the problem, rather than the final Aristotelian solution.

Aristotle's Metaphysics: Form, Matter, and Explanatory Priority

The Metaphysics radically deepens the question. In Book Z, especially 1028b2–7, Aristotle connects the inquiry into being with the inquiry into ousia. He considers underlying subject, essence, universal, and genus as candidates, but his analysis puts particular pressure on the theory that matter alone makes a thing a substance. Matter qualifies as what underlies form and change, yet by itself it does not explain why a determinate thing is what it is. Bare potentiality is insufficient as an account of a concrete entity's intelligible nature.

A material substance is analyzed through matter and form. Matter supplies what is capable of realization under a structure; substantial form is the actuality and organizing intelligibility by which the matter is a particular kind of being. The combination is often called a hylomorphic composite, from hyle and morphe. In Metaphysics Z.17, Aristotle asks why certain constituents form one unified thing and answers by invoking the cause of their being what they are, understood in terms of form or essence (1041b4–9, 1041b27–31). An aggregation of bricks has a material description; the organized arrangement that makes a house requires another explanatory account.

This approach explains why substance cannot merely be the sum of predicates. Qualities are intelligible as belonging to a kind of entity, and the nature of that entity constrains which alterations preserve it. Yet it creates a difficult interpretive tension. If form deserves the title substance in the strongest explanatory sense, how is it related to the individual composite that ordinary classification calls a primary substance? If substantial form is universal, how can it possess the particularity required of substance? Scholarship disputes whether Aristotelian forms are numerically individual or shareable, and how the priority of form relates to that of the composite. The Aristotle's Metaphysics analysis documents these textual problems.

A serious reconstruction distinguishes three levels: the sensible composite as the concrete thing; matter as the potential principle of composition and change; form as the cause that explains the compound's determinate being. Aristotle's mature ontology can assign different senses of priority at these levels without reducing them to a single hidden subject. His conceptual innovation is to make substantiality answer a question about why something is one and what it is, rather than merely the question of where properties are located.

Change, Generation, and the Limits of Persistence

The persistence of a substance through change is more difficult than the slogan that an entity remains while its accidents vary. A leaf can change color and remain the same leaf; an organism can change its material constituents while maintaining its life; a living being can die, leaving much of its matter intact. These cases show that not every material continuity preserves the same substance, and not every change of constituents destroys it.

The Aristotelian distinction between accidental and substantial change is designed to explain this contrast. Accidental alteration concerns how an already existing substance is; substantial generation and corruption concern the coming to be or passing away of the entity as that kind of thing. The metaphysical work is performed by an account of essence and organization, which identifies what may vary without destroying the identity of the whole. But this solution requires an independent explanation of the relevant essential organization, or else the classification simply restates our judgment that one change is survival and another is destruction.

The problem can be formalized conceptually. Let an individual x exist at two times and let P be a property it has only at one of those times. The claim that x persists is logically compatible with P's variation if P is not essential to x. The theory must specify what fixes x's identity and which properties are essential. A theory that says merely that an underlying thing persists leaves the latter questions unresolved. A theory that defines identity by total qualitative sameness risks denying that anything changes at all.

Scientific descriptions do not by themselves establish the philosophical answer. Conservation of mass-energy, chemical structure, biological continuity, and computational organization offer different empirical descriptions of changing systems. None automatically states what the ultimate category of substance is. A metaphysical account must articulate its connection to science and identify the level of individuality it aims to explain.

Medieval Latin Philosophy: Substance, Essence, and Accident

The reception of Aristotle through Greek, Arabic, and Latin traditions transformed substance into a central term in debates about creation, essence, universals, the soul, and theological predication. In scholastic usage, substance and accident usually name distinct categories of being, but writers differ over how the distinction should be explained and what kinds of dependence accidents possess. A substance is typically something that subsists; an accident is something whose being is ordinarily in another. The category has logical, metaphysical, and theological dimensions.

Thomas Aquinas develops the connection between essence and substance in De ente et essentia, especially chapters 1–4 (as edited in the Corpus Thomisticum). An essence is what a definition signifies. In composite material substances, neither matter considered independently nor form considered independently exhausts the essence of the whole: the definition of a natural being concerns its organized composite nature. Aquinas also distinguishes an essence's intelligibility from the act by which it exists. This distinction directs attention beyond the classification of bearers toward the actuality of existence itself.

The medieval distinction between substantial form and accidents provides a disciplined way of thinking about capacities, changes, and kinds. It also generates difficult disputes about the individuation of multiple members of one species, the status of relations, the subsistence of immaterial beings, and the presence of accidents without an ordinary created substance in theological contexts. These questions resist reduction to the modern picture of properties attached to featureless objects.

Aquinas's account cannot be collapsed into Aristotle's unchanged terminology. His metaphysical framework includes creation and a systematic account of participation in existence. Similarly, later scholastic theories did not speak with one voice. The historical importance of this tradition is that it preserved substance as a category of subjects while complicating the criteria for substantiality through real existence, form, dependence, and individuality.

Avicenna: What a Thing Is and That It Exists

Avicenna, or Ibn Sina, developed a comprehensive account of being that influenced both Islamic and Latin philosophy. In the metaphysical part of the Book of Healing, usually cited as the Ilahiyyat, he distinguishes the consideration of an entity's quiddity, mahiyya, from the question of its existence, wujud. We can understand what a horse is without thereby establishing that a horse exists. The separation of essence and existence becomes a central clue to the contingent status of ordinary beings.

For Avicenna the existent as existent is the universal subject of metaphysical inquiry. Particular beings whose essences do not entail their existence are possible in themselves and depend upon causes. The Necessary Existent occupies a different explanatory position, since its existence does not derive from a further cause. The resulting account links substance to a theory of necessity, contingency, and metaphysical explanation. It requires care: the distinction of what and that is not a claim that an independently existing essence is later supplemented with another independently existing object called existence.

The argument's structure is significant. If what a thing is does not establish that it exists, its actual being requires an explanatory account beyond its definitional content. If the existence of each dependent entity is explained by another dependent entity, a more fundamental explanation is sought. Avicenna presents this framework in Ilahiyyat I.5–6 and VIII, and recent scholarship traces its influence on subsequent metaphysics (Ibn Sina's Metaphysics, revised 2026).

The philosophical consequence for a theory of substance is that being an identifiable bearer of properties and being absolutely independent are different achievements. Ordinary natural substances may have robust identities while remaining existentially dependent. The independence of the Necessary Existent therefore cannot be transferred to every substance simply because each ordinary thing has properties.

Indian Metaphysics: Dravya and Inherence

Indian philosophical traditions developed detailed theories of substance that illuminate the scope of the problem beyond the Greek–Latin vocabulary. The Nyaya–Vaisheshika tradition classifies substances, qualities, motion or action, universals, particularity, and inherence within a system of categories, later expanded to include absence. Dravya, commonly translated as substance, is the bearer in which qualities and actions are located. The relation of samavaya, inherence, is introduced to explain inseparable connections, including the relation between a quality and its locus.

The traditional enumeration of nine kinds of substance includes earth, water, fire, air, ether or space, time, direction, self, and mind. The significance of this enumeration lies in its attempt to give a systematic account of where qualities occur, how objects are organized, and which individuals serve as ontological subjects. Its details cannot be assumed to match an Aristotelian inventory. Nyaya–Vaisheshika distinguishes substance from universal and from quality through its own logical and causal analyses, and its claims developed across centuries of scholarship. The relevant scholarly reconstruction is found in Analytic Philosophy in Early Modern India.

The metaphysical challenge facing inherence resembles but is not identical to the problem of instantiation in analytic ontology. If a quality is distinct from its bearer, how are the two inseparably united? If inherence is a further relation, what joins the relation itself to its relata? The tradition offers conceptual resources for answering this question, but direct equivalence with later Western accounts of relational regress would obscure differences in their formal and ontological assumptions.

There is a wider philosophical lesson. Substance is not merely a word whose meaning can be traced across translations of ousia. It is an explanatory role addressed through multiple intellectual lineages. Cross-traditional comparison becomes substantial when it reconstructs each theory's basic categories and arguments, then asks which problems genuinely recur and which are products of particular conceptual systems.

Buddhist Critiques of Intrinsic Nature

Buddhist philosophy supplies important challenges to accounts that make an individual entity self-sufficient by nature. In Madhyamaka, Nagarjuna's analysis of svabhava, often rendered intrinsic nature or own-being, examines whether phenomena can possess an independent inherent character while arising dependently through causes and conditions. In the Mulamadhyamakakarika, especially chapter 15, the pressure lies on the relation between intrinsic self-existence and conditioned origination.

A simplified reconstruction runs as follows. If an entity possesses an intrinsic nature wholly independent of conditions, its character should not be constituted through those conditions. Conditioned phenomena nevertheless arise and function through dependencies. Treating them as intrinsically and independently established therefore threatens to make their dependent arising unintelligible. The conclusion concerns an ontology of inherent nature; it must not be converted into the unqualified thesis that everyday things do not exist or that causal functioning is illusory. Conventional designation and dependent functioning retain philosophical importance in Madhyamaka.

This critique intersects with Western debates over substance but should be compared carefully. An Aristotelian organism need not be independent of every condition; a Cartesian created substance is explicitly dependent on God; a Spinozistic mode is dependent by definition. Thus the objection to independent svabhava affects these proposals differently. Cross-traditional comparison is productive only after the relevant meaning of independence has been specified.

The lesson is methodological as much as historical. Metaphysical self-sufficiency may be existential, causal, conceptual, or essential. An argument undermining one form does not automatically destroy all notions of individual entities. Conversely, the ordinary utility of identifying objects does not prove their ultimate self-sufficiency.

Descartes: Created Substances and Principal Attributes

In Principles of Philosophy, Part I, sections 51–54, Descartes defines substance through a kind of independence and immediately recognizes the asymmetry between God and created beings. Only God exists without depending on anything else whatsoever. Created minds and bodies depend on divine conservation but are substances in a qualified sense, inasmuch as they do not depend upon another created thing in the way modes do. The term therefore does not apply univocally to God and creatures.

Descartes identifies thought and extension as principal attributes: thought constitutes the nature of mind and extension the nature of body. Particular thoughts and bodily shapes or movements are modes of these substances. The distinction between a substance and its principal attribute is not an invitation to picture an inaccessible bearer wholly lacking content. We know substances through attributes; the principal attribute specifies what sort of reality is at issue.

The Sixth Meditation, available in Descartes's original Latin, develops the distinction between mind and body through clear and distinct conceivability, divine power, and the argument for their real distinction. The argumentative conclusion depends on Descartes's broader epistemology and theology. From the fact that a thought can be entertained without noticing the body, it does not immediately follow that an immaterial substance is possible. Descartes supplies additional premises about what can be clearly conceived and what God can create separately. The strong argument must be reconstructed with those premises rather than attributed to the mere occurrence of consciousness.

The union of mind and body also matters. Sensation, hunger, pain, and embodied action complicate any portrayal of the human individual as two unrelated items. The Cartesian system generates a distinct set of problems: whether mental and bodily substances causally interact, whether the attributes exhaust their natures, and how dependence on God fits the definition of substance. It reveals that a bearer of states can be called a substance under one dependence criterion while failing absolute independence.

Spinoza: One Substance and the Status of Modes

Spinoza recasts the concept in the geometric architecture of the Ethics, published posthumously in 1677. Part I, definition 3 characterizes substance as what is in itself and conceived through itself; definition 5 contrasts modes, which exist in another and are conceived through that other. Propositions 5, 11, and 14 form key stages in the argument that there is one necessarily existing substance, God or Nature. Particular minds and bodies are finite modes rather than independent substances.

The governing contrast is between self-conceived, self-existing being and dependent modifications. Spinoza refuses to call finite things substances simply because they are relative bearers of properties. Thought and extension are attributes through which the essence of the one substance is expressed. This transformation places the issue of substance at the center of metaphysical unity, necessity, individuation, and the mind–body relation.

An interpretation of Spinoza must attend to the definition of attribute (Ethics I, definition 4) and the contested relation between attributes and substance. Whether attributes are understood as objectively expressing the same essence or as articulated through the intellect profoundly affects the interpretation of his monism. The scholarly discussion in Spinoza's Theory of Attributes identifies these alternatives. It is insufficient to say merely that all things are parts of a large physical object; his monism concerns a specific dependence structure with attributes and modes.

His argument also exposes an instability within ordinary independence accounts. If a substance must require absolutely nothing else in order to exist, contingent objects cease to qualify. That result may be accepted, as Spinoza accepts a form of it, or the definition may be relaxed to permit relative independence. Every contemporary account that calls organisms or persons substances must say which standard it adopts.

Leibniz: Simple Substances, Perception, and Unity

Leibniz approaches the unity of substances through the idea of simple indivisible beings. The Monadology, composed in 1714 and published after his death, begins with the claim that a monad is a simple substance entering into composites (sections 1–3). Since a composite is an aggregate of constituents, the account looks for genuine unities that are not themselves aggregates. Monads have no spatial parts and are not material atoms with miniature shapes.

Leibniz adds a theory of intrinsic activity. Each monad has perceptions, and changes in its perceptual state arise according to an internal principle of appetition (Monadology 14–15). His well-known assertion that monads have no windows (section 7) denies ordinary transfer of accidents between them. The coordination of different substances is explained through a broader metaphysical order. The primary text is available in the Latta translation; the history of its composition and translation is discussed in the Rutherford textual resources.

The argumentative motivation is that mere plurality of parts does not generate a genuine one. But a critic can ask why an aggregate cannot possess organization sufficient for its substantial unity. Leibniz's conclusion requires a premise connecting genuine individuality with simplicity, and a further commitment identifying the simple with a perceiving or representational principle. These premises do not follow analytically from the observation that ordinary composite objects exist.

Leibniz thus differs from both Cartesian pluralism and Spinozistic monism. He makes simple created substances fundamental while interpreting everyday composites through their dependence on simple constituents. His theory remains important because it makes the unifying function of substance explicit and forces a choice about whether organization itself can supply unity.

Locke: The Supposed Support of Qualities

In An Essay Concerning Human Understanding, Book II, chapter 23, Locke analyzes how ideas of particular substances arise from recurring collections of simple ideas. We encounter combinations of qualities, assign a common name, and suppose that the co-occurring features belong to one thing. The presumed support is described as something whose intrinsic character is not clearly known. Locke's epistemological point is as important as his metaphysical vocabulary: the idea of substance in general exceeds the determinate features from which our knowledge begins.

The passage is frequently treated as an archetypal substratum theory. Such a reading identifies an ontological particular standing behind all properties, with properties depending upon it for instantiation. Yet Locke is also investigating the limits of ideas, the construction of complex concepts, and the relationship between nominal and real essences. His argument that we suppose a bearer because we do not imagine qualities subsisting alone does not amount to a successful deduction of a featureless bearer. The supposition is precisely what requires philosophical examination.

Two different criticisms follow. The epistemic criticism is that an indeterminate support does not provide positive knowledge of the object. The explanatory criticism is that a completely characterless support might add no intelligible account of why these properties are unified rather than others. A substratum theorist may respond that the support is a thin particular with a primitive identity, or that the object has intrinsic nature beyond our knowledge. Either reply must state what explanatory role the additional constituent performs.

Locke is therefore a hinge between substantialist metaphysics and empiricist criticism. His account explains why the idea is compelling while leaving open whether the supposed metaphysical support can be specified.

Berkeley and Hume: Against Material and Mental Substrata

Berkeley's Principles of Human Knowledge, particularly sections 3–8 and 73, challenges the inference from perceived qualities to an unperceiving material substratum. He argues that sensible objects, considered as ideas, cannot be assigned existence in a mind-independent support of the relevant sort. This is a critique of material substance, joined to a positive idealist account in which minds or spirits have a different metaphysical role. Berkeley's position should therefore not be described as the indiscriminate rejection of all substances.

Hume presses another line of criticism. In A Treatise of Human Nature, I.i.6, the idea of substance is considered in relation to what can be given in impression. In I.iv.6, Hume argues that introspection discloses particular perceptions rather than a separately experienced simple, identical self. His discussion of personal identity explores the tendency to attribute unity and duration to a succession of perceptions. The Treatise passage documents the central claim, while the complete Treatise permits comparison across Hume's argument, while the Internet Encyclopedia of Philosophy supplies interpretive orientation.

It is important to separate Hume's criticism of a transparent experience of substantial selfhood from a metaphysical proof that no substance whatsoever exists. The absence of an impression of a simple bearer undercuts a particular empiricist route to knowledge of that bearer. It leaves logical room for theories that defend substances through explanation, inference, or a priori metaphysics. Whether those routes succeed is a further dispute.

The enduring philosophical achievement of Berkeley and Hume is to shift the burden of proof. The fact that descriptions bundle properties or that experiences occur in sequences is insufficient by itself to license a hidden unity. Philosophers who assert a substantial ground must explain how we can know or justify it, and critics who reject it must explain the evident organization of the phenomena.

Kant: Substance as a Condition of Objective Time

Kant's Critique of Pure Reason presents a new account of substance through the categories of the understanding and the temporal conditions of experience. In the First Analogy of Experience, A182/B224–225, Kant argues that objective representation of alteration presupposes something permanent in appearance. To judge that a state changed is to locate temporal variation against an enduring basis of determination. The First Analogy text directly connects permanence, time, and the category of substance.

The conclusion requires careful interpretation. Kant is not simply adding a metaphysical substratum to empirical objects. He is investigating the conditions under which phenomena can be represented as objectively changing and temporally ordered. Our successive apprehensions alone cannot determine objective succession or coexistence without principles connecting experiences to a coherent temporal world. Substance, under its temporal schema, provides a rule for the determination of change in appearances.

This principle must be distinguished from the assertion that every ordinary object persists eternally or that a simple soul is thereby known. Kant's criticism of the paralogisms of rational psychology attacks the inference from the logical role of the I as subject of judgment to an independently knowable substantial soul. A logical subject of predication is insufficient to establish knowledge of a substance in itself (Critique of Pure Reason, Paralogisms).

Kant's contribution makes substance a problem of objective cognition and the application of categories to possible experience. A theory of a thing in itself cannot be derived merely by projecting a condition of appearances beyond the domain where the category has justified use. The debate over substance therefore becomes an inquiry into the limits as well as the structure of metaphysical knowledge.

Hegel: Substance, Causality, and the Concept

In the Science of Logic, Hegel treats substance within a development of essence, actuality, necessity, causality, and reciprocal action. Substance appears as a unity sustaining determinations, yet an adequate account must show how its determinations express its own activity rather than forming a static inventory appended to an underlying core. The transition from substance through causal relation and reciprocity toward the Concept belongs to a dialectical exposition of how supposedly independent terms are constituted through their relations.

The Science of Logic text treats causal relations through a structure in which cause and effect cannot be understood as independent, externally connected things with no mutual determination. The cause becomes actual in its effect, and the effect returns the question to the conditions under which cause exists. Reciprocity articulates a deeper organization of dependence than a one-way influence among preconstituted substances.

This line has often been read as an attempt to overcome a Spinozistic conception of substance regarded as insufficiently self-differentiating. The interpretation requires care. Hegel's goal is not merely to add temporal movement to a rigid ontology. His analysis challenges the adequacy of explanatory categories when taken in isolation from their conceptual relations.

For the present inquiry, Hegel's lasting challenge is that substantial unity may be unintelligible apart from activity, mediation, and relations. A theory of ultimate independent bearers must explain how their determinate natures and interactions are possible. A process or relational ontology must, in return, explain how changing relations acquire determinate structure and how identities can emerge without being arbitrarily imposed by an observer.

The Substratum Model and Its Explanatory Burden

The substratum model analyzes an ordinary object as a bearer associated with properties. On some formulations the bearer is a bare particular, something that individuates the object without itself possessing the thick qualitative nature attributed to the object as a whole. On others it is a thin particular that instantiates properties but is not conceptually identical to their collection. These variants should not be conflated. A bare particular that is wholly devoid of properties and a thin particular occupying a primitive ontological role raise different metaphysical problems.

A standard argument for a bearer starts from dependence. Colors, shapes, or masses are properties of things; they cannot simply float free. Hence, it is argued, something must stand in the instantiation relation to those properties. A second argument invokes individuality: two objects could have exactly similar qualitative profiles and nevertheless be numerically distinct. A bearer supplies a principle of numerical individuality beyond a common bundle of universals.

The first argument requires scrutiny. From the premise that property instances depend on a concrete entity, it follows that some unity is required; it does not follow immediately that unity is an additional constituent distinct from every property and from their organization. The second argument is powerful against some universal-bundle theories but does not refute trope-bundle theories that already distinguish numerically particular property instances. The debate must identify which ontology it challenges.

The model also faces a conceptual dilemma. If its bearer has no character whatsoever, how can it explain the specific nature of the object? If it possesses explanatory character, in what sense is it independent of properties? The appeal to primitive instantiation may be legitimate within a theory, but then its primitives must be compared with the primitives of rival accounts. Postulating a substratum does not dissolve the need to explain instantiation and unity; it relocates that need.

Bundle Theories: Properties as Constitutive of Objects

Bundle theories propose that a concrete individual is constituted by a unified collection of properties rather than by properties plus a numerically separate carrier. An individual may be conceived as a bundle of universals, or as a bundle of tropes, particularized instances of features. The difference matters because universals can be shared across several objects, whereas a trope belongs numerically to a particular instance of a property.

For a universal-bundle theorist, the difficulty of exact duplicates arises immediately. If the identity of an object consists solely in possessing a particular set of universals, two qualitatively identical individuals seem to collapse into one and the same bundle. Defenders may appeal to relational properties, spatial locations, primitive compresence, or the identity of indiscernibles. But appeal to location can become circular if space contains locations only because there are already distinct objects occupying them.

Trope-bundle theories provide numerically distinct property-instances as constituents. Two qualitatively identical red surfaces can possess different redness tropes. Yet the theory must explain what makes particular tropes belong together as one individual. A primitive compresence or co-instantiation relation is one proposal. It risks being redescribed as an unexplained unity rather than explained unless criteria for the relation are supplied.

An additional issue concerns change. If an object is exactly its current complete bundle, the replacement of one property seems to replace the object. Bundle theorists may construct persistence from temporally extended bundles, counterpart relations, histories, or essential subsets of properties. Each route is metaphysically possible, but the choice cannot be deferred. A successful bundle theory must identify the same object across qualified variations without assuming substantial persistence as an unacknowledged primitive.

The contemporary division between universal-bundle and trope-bundle accounts, and their principal objections, is reconstructed in the Substance entry. The broader result is that denying a distinct substratum does not eliminate the philosophical obligations of individuation and unity.

Inherence, Instantiation, and Bradley's Regress

Suppose an object is composed of a particular bearer a and a property F, related by instantiation I. Why do a and F form a unity? We may reply that I relates them. But if I is itself another entity, we may now ask what connects I to its terms. This line generates the family of difficulties associated with Bradley's Regress, developed from F. H. Bradley's Appearance and Reality (1893).

The force of the regress depends upon its premises. If every relational connection requires a further distinct relation to bind it, the explanation never reaches a determinate unity. If some predication or instantiation is treated as primitive and does not require a further connector, the regress can be blocked. The resulting dispute concerns the legitimacy and cost of different ontological primitives.

A related mistake is to suppose that only bundle theories face the problem. A substratum and its properties require unity too; a matter–form composite requires an account of the form's actuality in that matter; a substance–mode ontology requires a conception of modal inherence. The demand for an explanation of unity crosses all these theories.

The lesson is that adding a relational entity to an ontology may complicate the very problem it was intended to solve. It does not follow that relations are unreal. A metaphysical system may distinguish relations that are fundamental, internally grounded, or conceptually dependent. But it must explain why the appropriate account of connection is not simply a disguised repetition of the initial relation.

Independence, Dependence, and Fundamentality

Substance is often defined through independence. This word requires several distinctions. Existential independence means that one entity can exist without another. Essential independence means that the essence or identity of an entity is not determined by a second entity. Conceptual independence means that one can understand the first without using the concept of the second. Causal independence means that its continued existence or states are not maintained by external causes. Fundamental independence means that it is not grounded in more basic entities or facts.

These conditions diverge. A person can be an individual bearer of states while depending on oxygen and biological processes. An electron may be basic within a physical model while possessing relational properties. A social institution can persist through changes of its members while depending constitutively on practices and rules. The claim that one of these things is substantial therefore requires an explicit sense of the term.

Modern theories of grounding investigate metaphysical priority without identifying it automatically with causal explanation. For instance, truths about a set may depend on truths about its members without being temporally caused by them. The distinction bears on whether substances are necessarily the fundamental entities. One might hold that parts are basic, that a whole is basic, or that priority is organized by facts rather than objects. Jonathan Schaffer's On What Grounds What develops the problem of priority in contemporary metaphysics.

A theory should resist using independence as both definition and conclusion. If substance is stipulated to mean absolutely fundamental, finding only one substance may be a result of a strong definition rather than a discovery about everyday objects. Conversely, if it simply means any ordinary thing that can undergo a state change, the term may identify a useful ontological category while settling little about fundamentality. The philosophical comparison succeeds when the criterion and its explanatory justification are kept distinct.

Substance, Universals, Tropes, and Particularity

The relation between substances and their properties intersects with the problem of universals. A universal is usually understood as a repeatable property or relation capable of being instantiated by distinct individuals. A trope is a numerically particular property-instance. A substantial particular is a concrete entity that may instantiate universals, possess tropes, or be constituted through them, depending on the ontology.

The main options have different consequences. A substratum theory accepts an individual not exhausted by its qualitative profile. A universal-bundle theory uses repeatable features and must address the individuation of qualitative duplicates. A trope-bundle theory builds individuals from particularized features and must explain compresence. A hylomorphic theory introduces form and matter as principles of a determinate composite. None follows from the ordinary linguistic proposition that an apple is red.

Essential and accidental properties add a second axis. A biological organism can lose accidental qualities while retaining the kind of organization required for its survival. But which conditions are essential may depend on a theory of what the entity is. A metaphysician who defends substantial kinds owes an account of why their boundaries are metaphysically significant rather than merely pragmatic classifications.

The concept of substance therefore cannot be studied independently of a theory of properties. But the topics are separable for research purposes: the present question asks how an individual bears, unifies, and retains determinations; the dedicated inquiry into properties examines whether those determinations are universals, tropes, powers, relations, or something else. This division avoids duplicating the full theory of universals within the study of substance.

Individuation, Identity, and Modal Profiles

An individual substance is an individual, but the principles that make something one differ among metaphysical theories. Numerical identity is the relation each thing bears only to itself. Qualitative identity is similarity in respects described by properties. Two objects can be qualitatively identical while being numerically distinct if the metaphysics permits such duplicates.

A thought experiment involving indistinguishable spheres tests that possibility. If two exactly alike objects occupy a symmetric world, what grounds their numerical distinctness? A bare-particular theorist invokes numerically different bearers; a bundle theorist may deny the possibility or appeal to particularized property-instances or spatial and structural relations. The disagreement concerns the metaphysical conditions under which a world can contain two qualitatively indiscernible individuals.

Diachronic identity poses a different problem. The ship whose planks are replaced, the person whose memories and bodily constituents change, and the organism undergoing metabolism are examples of continuing entities that are not qualitatively constant. Endurantism, perdurantism, and stage-based theories offer alternative accounts of how an individual relates to times and temporal parts. Substance metaphysics intersects with these views but does not settle them automatically. A theory may accept enduring substances, or it may reconstruct substance as a temporally structured entity.

Modal identity introduces what a thing could have been. Could a particular person have originated from different parents? Could the same artifact have been made from wholly different matter? The answers vary according to origin essentialism, material essentialism, sortal identity criteria, and other theories. A concept of substance earns explanatory power when it informs such questions through explicit essential conditions, instead of treating all intuitions about possible worlds as equally authoritative.

Powers, Causation, and the Nature of Activity

Substances have traditionally been understood as the agents or patients of causal change. A body pushes another body; an organism metabolizes; a mind thinks or decides. If substances have causal powers, a metaphysics of substance must explain whether those powers are grounded in categorical properties, constitutive of the natures of things, or products of relational arrangements.

A categorical-property approach describes what a thing is like independently of its causal dispositions. A dispositional or powers-based approach gives capacities a central place in its nature. The latter may make the unity of a substance intelligible through the organization of powers: an organism is not merely a property cluster but a system whose activities sustain a distinctive pattern of existence. Yet this proposal faces the question of whether the powers themselves require a bearer or whether the organized powers constitute the bearer.

Causal explanation is also related to persistence. A stable entity can be identified through its lawful capacities across varying environments, but causal profiles sometimes change radically without obvious loss of identity. Moreover, events and processes can bear causal relations in their own right. A substance-first causal ontology thus needs arguments explaining why causal activity belongs fundamentally to continuants rather than events, states, or fields.

It is useful to distinguish the causal role of an entity from metaphysical priority. Something may be causally active and ontologically dependent, as a biological organ is active while depending on the organism. The existence of effective causal organization does not prove ultimate independence. It can nevertheless substantiate claims about the reality and integrity of higher-level entities.

Organisms, Artifacts, and Composite Substances

Living organisms provide one of the strongest intuitive cases for substance. They exhibit maintained organization, self-regulation, metabolism, development, and a life history that makes their identity intelligible through extensive material replacement. A biological individual is not adequately characterized by listing its current constituent molecules. This does not establish a mystical substantial form; it motivates an account of organization and the conditions of its persistence.

Artifacts complicate the picture. A statue can be destroyed by deformation while the material composing it remains. A table can survive ordinary repairs and changes of location. Some theories distinguish an artifact from its coincident matter, while others treat the artifact as a functional or classificatory organization of that matter. The debate tests whether substance must be tied to intrinsic nature or whether function, intention, and history can enter persistence conditions.

Composite objects also provoke questions of mereology. If a heap of stones exists, is it a substance? If a house exists, why is it more substantially unified than an arbitrary set of adjacent stones? Aristotelian hylomorphism appeals to substantial form or organization; contemporary accounts may invoke natural kinds, modal unity, causal integration, or fundamentality. No criterion is automatically universal across organisms, machines, and arbitrary aggregates.

The philosophical result is that substance may be a graded or restricted category in one system and a broad category of concrete individuals in another. A theory may argue that only organisms are genuine material substances, or that even biological wholes depend on more basic physical reality. The argument must locate the threshold and justify it. Intuitive descriptions of wholeness are an invitation to ontology, not its conclusion.

Minds and Persons: Substance Dualism and Its Alternatives

The self is a particularly demanding case because personal identity involves experience, memory, agency, embodiment, and social continuity. Descartes defends a thinking substance whose nature is distinct from extension. Hume challenges access to a simple bearer of successive perceptions. Kant limits the inference from the logical unity of self-consciousness to knowledge of an independently subsisting soul. Contemporary theories distinguish substance dualism from property dualism, physicalism, functionalism, and various accounts of embodied personhood.

A substance-dualist theory must specify why conscious capacities require a numerically separate individual entity and how the entity is related to biological life. The causal interaction problem is significant when mental events are claimed to influence bodily processes: the theory must explain how such interactions occur and how they coexist with the relevant physical explanations. A physicalist theory, in turn, must account for the unity and continuity of persons without dissolving them into an unstructured sequence of local events.

A person may be a substantial individual even if consciousness is neither continuous nor constitutive of every moment of existence. Sleep, anesthesia, growth, and changing memories suggest that a complete account of personhood must distinguish the identity of the individual from the occurrence of particular conscious states. Whether the decisive condition is biological organism, psychological continuity, primitive identity, or another relation remains contested.

The question of minds as substances should thus be answered through substantive metaphysics of identity and dependence, not through a presumption that every subject of experience is a Cartesian thinking substance. This dossier addresses the category problem; a separate investigation of philosophy of mind can develop the theories of consciousness and intentionality in their own right.

Substance Monism, Priority Monism, and the Whole

The thesis that there is only one substance admits different readings. Spinoza's one-substance system rests on his definitions and proof concerning infinite substance and finite modes. Contemporary priority monism, by contrast, can hold that the cosmos as a whole is the sole fundamental concrete object while recognizing derivative parts as real. These claims should not be conflated. Counting substances, identifying fundamental beings, and denying the reality of parts are distinct propositions.

The classical attraction of monism is explanatory unity. It avoids treating the world as an unexplained collection of unrelated fundamentals and seeks an account of why finite differentiation belongs to one reality. The challenge is to explain the genuine diversity and relative autonomy of constituent beings, and to specify whether their reality is conceptual, modal, causal, or derivative in a stronger ontological sense.

Pluralism faces its own explanatory demands. If many substances are basic, what makes their interactions and common structures intelligible? Are shared laws and spatial relations additional fundamentals? The problem cannot be solved merely by multiplying bearers. Neither can it be solved by stipulating that the universe is a substance without clarifying what the unity of the universe means.

The proper comparison examines the order of grounding, the status of wholes and parts, the individuation of constituents, and the nature of dependence. Substance monism and priority monism can agree that the whole matters fundamentally while disagreeing about how many things count as substances or about the relation between finite beings and ultimate reality.

Process Ontologies and the Substance–Process Relation

Process-oriented theories challenge the assumption that enduring objects must be metaphysically prior to activities and events. On these views, stable entities may be patterns of ongoing processes, organized histories, or relatively persistent dynamic structures. Organisms, weather systems, flames, and social organizations provide cases where continuity is intelligible through recurrent activity and regulatory organization.

The claim that processes are basic does not settle the individuation problem. A process must have temporal and structural boundaries; otherwise any succession of events could count as one process. It must also explain recurrence, persistence, causal power, and the identity of organized wholes. A process ontology can perform these tasks through continuity of activity, causal integration, and emergent organization, but each principle requires philosophical defense.

Substance metaphysics can also recognize activity as intrinsic. Aristotelian forms are actualities; Leibnizian monads have internal principles of change; contemporary substance theories may define objects partly through powers. The dispute therefore is not adequately represented as an opposition between static things and moving processes. It concerns what has ontological priority and what kind of identity is primary in explaining change.

The strongest synthesis may hold that objects and processes are different but interdependent modes of description, with the deeper metaphysical question still open. Such a view must avoid replacing investigation with a vague assertion of complementarity. It has to identify circumstances in which an object description is indispensable and circumstances in which process organization supplies a more basic explanation.

What Contemporary Science Can and Cannot Decide

Physics and biology are indispensable sources of evidence for any metaphysics that assigns substances to natural reality. Their theories complicate the image of ordinary macroscopic objects as elementary self-subsisting units. Fields, quantum states, composite systems, dynamical interactions, and biological organizations provide many candidate levels of description.

Yet no scientific result translates automatically into the claim that substances exist or do not exist. A quantum field theory describes structures and interactions using mathematical and empirical methods; whether fields, particles, events, or the entire physical world are fundamental individuals is an interpretation requiring further metaphysical premises. Claims that a particular theory has eliminated ordinary objects also require a treatment of reduction, emergence, and explanatory scale.

Biology supplies substantial evidence for integrated and maintained organization. It does not settle whether the individual organism is a substance in the sense of having absolute independence. Ecology and evolution reveal relations of dependence; physiology describes unified activity. Both kinds of evidence must be included in evaluating the reality of organisms. An ontology cannot insist upon isolation as a condition of individuality when its best empirical examples survive through exchanges with their environments.

Interdisciplinary philosophy therefore provides constraints rather than automatic deductions. A theory of substance should respect established empirical mechanisms, avoid treating a metaphor of physical composition as a definitive ontology, and explain which metaphysical inferences remain underdetermined by data.

Four Major Arguments and Their Limits

The argument from predication begins with the observation that properties are predicated of things. Its strongest modest conclusion is that our explanatory practice requires distinguishable subjects. The stronger claim that these subjects must be metaphysically primitive bearers does not follow without a premise connecting grammar and ontology. Bundle theories and process theories contest that premise.

The argument from change begins with the thought that change requires something that changes. If no subject persisted, we could only describe one state succeeding another without asserting alteration of the same thing. This motivates a criterion of continuity, but does not decide whether the criterion is supplied by a wholly enduring substance, a temporally extended process, a history of constituent relations, or a structured bundle.

The argument from unity proposes that a mere collection is insufficient to explain a genuine individual. Leibniz's simple substances and Aristotelian substantial forms offer different responses. Yet an ontological primitive introduced solely to account for unity requires a justification of why causal, structural, or organizational unity could not suffice. The problem applies especially to cases of biological organization.

The argument from independence proposes that dependent realities must ultimately rest upon something self-sufficient. It is persuasive only relative to a defended principle about metaphysical explanation and the impossibility or undesirability of infinite dependence chains. A theory may accept fundamental reality but decline to identify it with ordinary objects; or it may question whether grounding must terminate. Thus the existence of a fundamental level does not by itself vindicate a specific substance ontology.

The four arguments jointly reveal substance's explanatory attractiveness. They also show why no single argument establishes every traditional attribute of substance. Unity, continuity, bearerhood, and fundamentality require coordinated but distinguishable assessments.

Critical Assessment of the Main Theories

Aristotelian hylomorphism is strong where organization explains kind-membership and persistence through material replacement. Its difficulty concerns the exact ontological status of substantial form and its individuation. The Cartesian view clarifies principal attributes and the independence of created things relative to one another, but faces tensions between absolute dependence on God, mind–body separation, and embodied interaction. Spinoza offers systematic explanatory unity, while the status and intelligibility of finite differentiation remain major interpretive questions.

Leibniz secures intrinsic unity through simple substances, at the cost of controversial commitments about simplicity, perception, and coordination. Locke clarifies the difference between empirical knowledge of qualities and an assumed bearer but leaves the bearer underdetermined. Berkeley and Hume expose this explanatory gap while undertaking different positive and skeptical projects. Kant locates an indispensable temporal role for permanence without licensing unrestricted substantialist knowledge of things in themselves. Hegel reopens the problem of how substance and activity are internally related.

Contemporary substratum theories protect numerical individuality and a bearer–property structure, yet need an account of instantiation. Universal-bundle theories economize on bearers but face duplicates and persistence; trope-bundle theories gain primitive particularity but face compresence and unity. Process views illuminate maintained dynamic organization but must specify boundaries and continuity. Priority theories address fundamentality while leaving the ordinary classification of substances open.

The decisive question is explanatory achievement with transparent commitments. A theory succeeds when the entities it posits clarify the problems for which they were introduced and when its primitive relations can be understood or responsibly accepted. Counting the smallest number of entities is insufficient if the resulting theory makes ordinary identity and change unintelligible. Conversely, multiplying unexplained substances does not amount to metaphysical depth.

Open Philosophical Questions

One open question concerns whether there is a single coherent concept of substance behind the historical uses. Some philosophers may adopt a plural interpretation in which substance names a family of roles, while others defend a determinate essence of substantiality. The latter position requires arguments showing that bearerhood, individuality, permanence, and independence are systematically connected.

A second question concerns the individuation of perfect qualitative duplicates and the metaphysical implications of spatial symmetries. A third concerns the status of persistence: do enduring things exist wholly at different times, or can temporal parts and histories provide an adequate account? A fourth concerns whether natural kinds possess essences that constrain identity or whether the relevant boundaries arise from evolving causal structures.

A fifth question concerns the ultimate level of reality. Does a theory of grounding require fundamental substances, fundamental facts, the world as a whole, or an alternative structure of dependence? A sixth asks whether causal powers can provide an account of substantial nature without an additional passive bearer. A seventh asks whether an object–process distinction remains fundamental in an adequate physical and biological ontology.

Finally, substance carries a cross-traditional challenge: can the categories of ousia, dravya, svabhava, and ontological independence be compared through precise common questions without misidentifying their original meanings? The answer depends on careful historical interpretation and on the willingness to let different philosophical traditions challenge the assumptions built into familiar English vocabulary.

Philosophical Synthesis

The history of substance shows that a philosophical concept can remain central through transformations of its explanatory task. Aristotle seeks a primary account of concrete being and of what makes a thing what it is. Medieval thinkers connect essence, existence, and the independence of created beings. Indian philosophers systematically differentiate substances, qualities, and inherence. Early modern philosophers redefine independence, challenge inaccessible supports, and develop radically different accounts of unity. Kant relates substance to objective time; Hegel develops the internal relation between substantiality and causal movement. Contemporary ontology tests constituent, property, process, and priority accounts through more explicit criteria of identity and dependence.

The enduring result is a structured philosophical problem rather than a single universally accepted definition. A theory of substance must specify the bearer of determination, the basis of unity, the criterion of individuality, the account of persistence, and the meaning of independence. These explanatory tasks interact, but a candidate theory cannot acquire the solutions to all of them merely by using the noun substance.

The strongest account will fit its intended scale. If its objects are organisms, it must explain biological organization and survival through material change. If its objects are fundamental physical entities, it must explain individuality and relations under the best available science. If its substance is a single ultimate being, it must explain dependence and finite differentiation. If substances are bundles, it must explain compresence and identity. If substances are processes, it must explain dynamic boundaries and recurrence. These are conditions of explanatory adequacy, not additions to a new canonical metaphysical system.

This synthesis also establishes a principled division among adjacent research subjects. The study of substance asks what enjoys substantial unity and what this unity explains. Research into properties, universals, essence, individuation, grounding, causation, and parts and wholes examines the related structures in detail. Their interconnection is philosophically necessary; their duplication as rival accounts of the same subject would weaken the research architecture.

Conclusion

Substance is a central category for explaining how reality contains determinate beings rather than a mere list of qualities, events, and descriptions. Its history discloses several distinct functions: bearing properties, unifying constituents, persisting through change, possessing a determinate nature, and occupying a position of ontological priority. The principal philosophical systems develop different combinations of these functions and provide different grounds for connecting them.

No simple inference from ordinary predication to a hidden bearer settles the metaphysical issue. Equally, rejecting an inaccessible substratum does not abolish the tasks of accounting for unity and identity. Substratum, bundle, hylomorphic, monistic, and process theories remain intelligible contenders because each identifies real explanatory demands. Their merits depend on the clarity of their primitives, the force of their arguments, and the ability to accommodate the phenomena they claim to explain.

The concept reaches its most productive philosophical form when each proposed substance is examined through explicit criteria. What is it? What makes it one? What allows it to change while remaining itself? On what does it depend? What distinguishes its existence from the existence of its qualities, activities, and parts? The answers establish the substance theory's actual content and expose the further questions it must confront.

References

Aquinas, T. (c. 1252–1256). De ente et essentia [On being and essence]. English text.

Aristotle. (4th century BCE). Categories. In The Complete Works of Aristotle (J. Barnes, Ed.; revised Oxford translation). Princeton University Press. Textual discussion and Bekker references.

Aristotle. (4th century BCE). Metaphysics, Books Z–H. In The Complete Works of Aristotle (J. Barnes, Ed.; revised Oxford translation). Princeton University Press. Academic textual analysis with Bekker references.

Berkeley, G. (1710). A treatise concerning the principles of human knowledge. Project Gutenberg edition.

Bradley, F. H. (1893). Appearance and reality. Swan Sonnenschein. Primary text, later corrected impression. Scholarly discussion of the regress arguments.

Descartes, R. (1644). Principia philosophiae [Principles of philosophy] (G. MacDonald Ross, Trans., 1998–1999). Online translation.

Descartes, R. (1641). Meditationes de prima philosophia [Meditations on first philosophy]. Latin original text, Project Gutenberg.

Ganeri, J. (2023). Analytic philosophy in early modern India. Metaphysics Research Lab, Stanford University. Research entry.

Hegel, G. W. F. (1812–1816). Wissenschaft der Logik [Science of logic]. Online English translation.

Hume, D. (1739–1740). A treatise of human nature. Complete public text, Project Gutenberg. Excerpt of I.iv.6.

Kant, I. (1781/1787). Kritik der reinen Vernunft [Critique of pure reason]. First Analogy translation; Paralogisms translation.

Leibniz, G. W. (1714/1720). La monadologie [Monadology] (R. Latta, Trans.). Public online translation. Translation and composition notes.

Lizzini, O. (2026). Ibn Sina's metaphysics. Metaphysics Research Lab, Stanford University. Research entry.

Locke, J. (1690). An essay concerning human understanding, Book II, chapter 23. Primary text.

Nagarjuna. (c. 2nd–3rd century CE). Mulamadhyamakakarika, chapter 15. Interpretive and textual orientation.

Perovic, K. (2025). Bradley's regress. Metaphysics Research Lab, Stanford University. Research entry.

Robinson, H., & Weir, R. (2024). Substance. Metaphysics Research Lab, Stanford University. Research entry.

Schaffer, J. (2009). On what grounds what. In D. J. Chalmers, D. Manley, & R. Wasserman (Eds.), Metametaphysics: New essays on the foundations of ontology (pp. 347–383). Oxford University Press. https://doi.org/10.1093/oso/9780199546046.003.0012.

Shein, N. (2023). Spinoza's theory of attributes. Metaphysics Research Lab, Stanford University. Research entry.

Spinoza, B. (1677). Ethica ordine geometrico demonstrata [Ethics], Part I. Public English translation.