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: v1 · 2026-08-30 · History
Domain-specific #: 1221
Origin domain: philosophy
Subdomain: metaphysical object classification
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.^[1]

The classification works by selecting a proposed ontological discriminator and applying it to entities rather than to their names. Common proposals appeal to determinate spatiotemporal location, causal efficacy, dependence, necessity, or a distinctive mode of property encoding. David Lewis usefully grouped approaches as ways of example, conflation, negation, and abstraction; comparing those approaches shows why agreement on paradigm cases does not establish agreement on the criterion. The output is therefore account-relative but still disciplined: the declared test, not a reader's feeling of intangibility, controls the result.^[2]

No account should silently identify abstract with universal, mental, general, fictional, nonphysical, or merely difficult to observe. Numbers may be abstract without being ideas in a mind; a particular event can be concrete despite instantiating a universal; and artifacts such as games or constitutions expose complications for simple nonspatiality tests. Some sharpenings also allow borderline or neither-nor cases rather than forcing exhaustiveness. Uses of 'abstract' in software, art, law, or pedagogy often classify representations or levels of detail and are not automatically instances of this metaphysical object distinction.^[3]

Structural Signature¶

Domain of entities. A stated ontology fixes which purported objects are eligible for classification.
Paradigm abstracta. Numbers, propositions, types, or pure sets provide calibration cases, subject to the ontology being assumed.
Paradigm concreta. Ordinary material particulars provide the opposing calibration cases.
Discriminator. A declared account uses spatiotemporal, causal, modal, dependence, encoding, or another metaphysical condition.
Application rule. The discriminator is applied to entities consistently rather than changed to rescue each intuition.
Hard cases. Fictional characters, impure sets, games, languages, holes, and institutions test the account's reach.
Background commitments. Views about existence, properties, modality, and mind-dependence shape the classification.
Revision record. A mismatch between criterion and paradigm is reported instead of hidden by equivocation.

What It Is Not¶

Not the abstracting mental process. Forming a general idea by omitting detail is an epistemic operation, not itself a classification of what kind of entity the result is.
Not the universal-particular distinction. Universality concerns repeatability or instantiation; abstractness concerns a different and contested ontological axis.
Not the mental-physical distinction. Abstract entities are not thereby mental, and some nonphysical or unobservable entities may still be concrete under an account.
Not a simple tangible-intangible contrast. Perceptual accessibility does not supply a stable metaphysical identity condition.
Not an exhaustive dogma. Some defensible sharpenings leave disputed entities unclassified or distinguish additional categories.
Not every technical use of abstract. Abstract classes, abstract art, and abstract interpretation have field-specific recognition rules.

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. Keep philosophical object classification separate from abstraction as simplification or representation. These declarations are not editorial extras: each changes what observations count, which transformations are licensed, and what conclusion can be drawn. A reader should be able to reconstruct the input, the operative rule, the output, and at least one defeater from the account without consulting an implementation or guessing an unstated convention.

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.. The compression is useful because it localizes disagreement. One can ask whether the input was properly formed, whether a constitutive relation held, whether an alternative explanation defeats the inference, or whether the output was overinterpreted. The same compression can mislead when its discarded detail is exactly what the decision requires. A reference-grade use therefore reports both the invariant retained and the information intentionally lost.

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.
Compare the result with rival causal, spatiotemporal, modal, or dependence accounts.
State which later inference actually depends on the classification rather than assuming its importance.
Test the candidate interpretation against the nearest named confusable rather than accepting a shared surface feature.
State the conclusion at the same scope as the source conditions, and retain uncertainty or nonuniqueness where the construct does not remove it.

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. The honest transfer rule is therefore two-stage: recognize the domain-specific pattern first, then lift only the parent relation that remains invariant under a substrate change.

Examples¶

Canonical¶

Consider the number two and a particular stone. On a nonspatiotemporality account, the stone occupies a determinate region and participates in causal interactions, while the number does not occupy such a region in the same way. That places the number among abstracta and the stone among concreta. The example calibrates the account but does not prove it: an impure set whose members are stones or a socially instituted game tests whether location is absent, derivative, or category-dependent.

Mapped back: input and conventions → constitutive role test → bounded output → explicit interpretation and defeater check.

Applied / In Practice¶

A dispute about whether a musical work is abstract begins by separating the work from performances, scores, and sound events. One theory treats the repeatable work-type as an abstract entity instantiated by concrete performances; another treats it as a historically created artifact with temporal properties. The useful outcome is not a verbal verdict alone. It is a map of which existence, identity, and dependence claims follow under each criterion and where the theories genuinely disagree.

Mapped back: field observation or problem → candidate recognition → confusable and limit checks → appropriately scoped conclusion.

Structural Tensions¶

T1: Paradigm agreement versus criterion disagreement. Philosophers can classify numbers and rocks alike while disagreeing about why. Diagnostic: Does the argument rely on the shared cases or on a rule that survives beyond them?
T2: Exhaustive dichotomy versus residual cases. A clean binary organizes ontology while games, shadows, institutions, and fictional entities resist placement. Diagnostic: What warrants forcing the hard case onto either side?
T3: Nonspatiality versus derivative location. Some abstract artifacts seem connected to places and times without occupying them as material particulars do. Diagnostic: Is the alleged location intrinsic, instantiated, or inherited from concrete bearers?
T4: Causal inefficacy versus explanatory use. Abstract entities may figure in explanations without straightforwardly causing physical events. Diagnostic: Is explanatory relevance being mistaken for causal power?
T5: Neutral classification versus theory loading. Each discriminator imports commitments about existence, modality, minds, and properties. Diagnostic: Which background thesis is doing the classification work?
T6: Autonomy versus Ontology. Ontology asks what exists generally; this distinction supplies one contested two-way sorting device within that inquiry. Diagnostic: Does removing the abstract-concrete discriminator leave only a generic inventory of entities?

Structural–Framed Character¶

The classification is mixed-framed: paradigm comparison and explicit criteria impose structure, while the choice and interpretation of a criterion are inseparable from a metaphysical theory. The five framing criteria point in a consistent direction. Evaluative weight is limited to whether the defining conditions are met, not whether the outcome is desirable. Human practice matters to the extent that experts choose conventions, instruments, or reporting thresholds, but those choices do not make every verdict arbitrary. Institutional history explains the name and standard use; it does not replace the recognition rule. The operative vocabulary travels within the home field and closely adjacent subfields, while transfer farther away requires translation to the parent prime. Thus recognition remains disciplined even where interpretation is defeasible.

Structural Core vs. Domain Accent¶

What is skeletal. 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. This is the part that can be expressed without the candidate's specialist nouns.

What is domain-bound. The irreducible accent is a philosophical domain of entities, abstract and concrete paradigm cases, a declared ontological discriminator, disputed objects, and consequences for existence and knowledge. Remove those elements and the result is no longer Abstract and concrete; it is only the parent relation or a loose analogy.

Why this does not clear the prime bar. The name does not recur with unchanged diagnostics across three independent domains. What transfers is already represented by prime:ontology. The candidate remains autonomous because its in-domain recognition rule, failure modes, and consequences are stable, but its vocabulary and interventions do not float free of the home substrate.

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.

The prospective workspace queue contains one strict upward edge to prime:ontology. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Abstract and concrete Domain-specific

Parents (1) — more general patterns this builds on

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 → Ontology → Set and Membership

Neighborhood in Abstraction Space¶

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

Family — Fuzzy, Monoidal & Higher-Order Logic (5 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Abstraction. A process or representational operation that suppresses detail; its product need not be an abstract object in this metaphysical sense.
Universal and particular. A repeatability or instantiation contrast that some historical accounts conflate with abstract and concrete.
Type and token. A relation between a repeatable type and occurrences; it can inform but does not settle the ontology of either side.
Mental and physical. A contrast about minds and matter, not a complete classification of abstracta and concreta.
Abstract object theory. Zalta's specific encoding-based formal theory rather than the entire family of abstract-concrete accounts.
Concrete syntax and abstract syntax. A computer-science representational distinction about retained grammatical detail.

References¶

[1] Falguera, J. L., Rosen, G., and Zalta, E. N. (2025). 'Abstract Objects.' Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/abstract-objects/ registry ↩

[2] Lewis, D. K. (1986). On the Plurality of Worlds. Blackwell, pp. 81-86. ISBN 978-0-631-22426-6. registry ↩

[3] Burgess, J. P., and Rosen, G. (1997). A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Oxford University Press. https://doi.org/10.1093/0198236158.001.0001 registry ↩