Abstract and concrete¶

Distinguish philosophical entities by an explicitly chosen abstract-versus-concrete criterion while preserving paradigm cases, disputed cases, and the fact that no single criterion commands universal agreement.

Version: v2 · 2026-09-19 · History
Domain-specific #: 1221
Domain group: Humanities
Origin domain: Philosophy
Subdomain: Metaphysical Object Classification → Philosophy
Aliases: Abstracta and concreta, Abstract-concrete distinction

Core Idea¶

The abstract-concrete distinction is a family of metaphysical classifications that separates paradigm entities such as numbers and pure sets from paradigm entities such as rocks, trees, and persons. It is not fixed merely by the grammar of abstract and concrete nouns. A serious use declares an account of what marks the two sides, classifies cases by that account, and records cases for which the account is indeterminate or revisionary. The distinction is influential despite the absence of one universally accepted analysis.

How would you explain it like I'm…

Rocks and Numbers

Some things you can bump into, like a rock, a tree, or your friend. Other things, like the number three, aren't sitting anywhere you could bump into them, but they aren't just pretend either. Thinkers sort things into these two groups, called concrete and abstract, and they still argue about exactly what the rule for sorting should be.

Two Kinds of Things

Philosophers sort the things that exist into two groups. Concrete things are like rocks, trees and people. Abstract things are like numbers and sets. Everyone agrees on those examples, but people disagree about the rule that decides the group: maybe abstract things aren't in any place or time, or maybe they can't cause anything to happen. Abstract doesn't just mean 'in your head' or 'hard to see', and it isn't decided by whether a word is an abstract noun in grammar class.

The Abstract-Concrete Divide

The abstract-concrete distinction is a way of sorting what exists into things like numbers and pure sets on one side and things like rocks, trees and persons on the other. It is about the things themselves, not about grammar: calling 'justice' an abstract noun doesn't settle the question. To use the distinction seriously you pick a test, such as having a location in space and time, being able to cause effects, or depending on other things, and then apply it case by case. Different tests agree on the obvious examples but disagree on tricky ones like games or constitutions, and some allow cases that are neither. Abstract should not be confused with mental, general, fictional or merely hard to see.

In metaphysics, the abstract-concrete distinction is a family of classifications rather than one fixed test. Paradigm abstract entities include numbers and pure sets; paradigm concrete entities include rocks, trees and persons. A serious use declares an account of what marks the two sides, applies it to entities (not to nouns), and records cases where the account gives no answer or forces a surprising reclassification. Proposed discriminators include determinate spatiotemporal location, causal efficacy, dependence, necessity, and a distinctive way of having properties; David Lewis grouped the approaches as the ways of example, conflation, negation and abstraction. Comparing those approaches shows that agreement on paradigm cases does not settle the criterion, so results are account-relative but still disciplined by the declared test rather than by a sense of intangibility. Abstract should not be silently identified with universal, mental, general, fictional, nonphysical or hard to observe - a particular event is concrete even though it instantiates a universal, and artifacts like games or constitutions strain simple nonspatiality tests. Some accounts allow borderline or neither-nor cases. Uses of 'abstract' in software, art, law or teaching usually concern levels of representation and are not automatically instances of this distinction.

Scope of Application¶

The abstraction is literal wherever practitioners can identify the same constitutive roles, apply the same boundary tests, and obtain the same kind of output. The following habitats are uses of Abstract and concrete itself, not metaphors based only on resemblance.

Metaphysical inventories. Organizing claims about what kinds of entities exist.
Philosophy of mathematics. Stating whether numbers, sets, functions, and structures are abstract and what follows epistemically.
Philosophy of language. Distinguishing expressions from purported abstract meanings, propositions, or types.
Metaphysics of artifacts. Testing games, works, laws, and institutions whose instances and locations complicate simple criteria.
Modal metaphysics. Comparing necessity or possibility criteria with causal and spatiotemporal accounts.
Ontological disagreement. Diagnosing when two arguments use the same label while adopting different discriminators.

Clarity¶

A clear account of Abstract and concrete must preserve the recognition invariant stated in the Core Idea rather than rely on the title alone. State whether object means every entity or excludes properties and relations. Name the discriminator and distinguish it from examples that merely calibrate the account. Report whether the division is exclusive, exhaustive, both, or neither. Test at least one hard case and say whether a surprising result revises the case judgment or defeats the criterion.

Manages Complexity¶

Abstract and concrete manages complexity by replacing a diffuse field of observations or possible operations with a bounded role structure: domain of entities supplies a stated ontology fixes which purported objects are eligible for classification.; paradigm abstracta supplies numbers, propositions, types, or pure sets provide calibration cases, subject to the ontology being assumed.; paradigm concreta supplies ordinary material particulars provide the opposing calibration cases.; discriminator supplies a declared account uses spatiotemporal, causal, modal, dependence, encoding, or another metaphysical condition.; application rule supplies the discriminator is applied to entities consistently rather than changed to rescue each intuition..

Abstract Reasoning¶

Fix the background ontology and the sense of entity under discussion.
List paradigm abstract and concrete cases without treating the list as a definition.
Choose one candidate discriminator and formulate it as a condition that can be applied consistently.
Classify the paradigms and record whether the condition preserves them.
Apply the same condition to artifacts, fictional entities, impure sets, and other difficult cases.

Knowledge Transfer¶

The strict upward abstraction is Ontology. Abstract and concrete instantiates Ontology because it proposes a high-level partition within an inventory of what exists and makes the partition depend on relations such as location, causation, dependence, and modal status. Within metaphysical object classification, the full mechanism transfers literally when the same roles and boundary tests recur. Beyond that domain, only the parent-level skeleton should travel. Reusing the label Abstract and concrete after removing its constitutive vocabulary would hide a change of mechanism behind an analogy.

Relationships to Other Abstractions¶

Current abstraction Abstract and concrete Domain-specific

Parents (1) — outgoing typed relations

Abstract and concrete is a kind of Ontology Prime

Abstract and concrete instantiates Ontology because it proposes a high-level partition within an inventory of what exists and makes the partition depend on relations such as location, causation, dependence, and modal status.

Hierarchy path (1) — routes to 1 parentless root

Abstract and concrete → is a kind of Ontology → presupposes Set and Membership

Neighborhood in Abstraction Space¶

Abstract and concrete sits in a sparse region of the domain-specific corpus (94^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25