A category error (or category mistake) is the logical fallacy of assigning a property or concept to something that belongs to a different logical category, thereby treating distinct ontological types as if they were the same kind of thing. It carves the specific error of misclassification at the level of conceptual taxonomy — not mere incorrect attribution, but a structural confusion between kinds (e.g., treating 'mind' as a physical object, or 'the university' as a building rather than an institution). Its persistence mechanism is philosophical education and formal logic: it is codified in Russell's theory of types, taught in philosophy curricula, and deployed as a diagnostic tool across analytic philosophy and cognitive science. [formal: error categoriae | substrate: mind | horizon: a life | explicit: yes | epoch: 0.48]
Accepted ontology entry
category-error
A category error (or category mistake) is the logical fallacy of assigning a property or concept to something that belongs to a different logical category, thereby treating distinct ontological types as if they were the same kind of thing.…
Definition
Why it is in scope
A category-error is a human-made concept from philosophy (originating with Russell) naming the mistake of attributing a property to an entity that falls outside the logical category to which the property properly belongs. It is a map of a specific kind of conceptual mistake, not the natural cognition itself. The construct persists through philosophical discourse, logic education, and analytical practice as a diagnostic tool for identifying formal vs material reasoning failures.
Names and aliases
- category-erroren · CANONICAL
Relations from this entry
- cmrmi0v8g00bwd1nlrx23qz6gDEPENDS_ON →
A category error is the mistake of assigning an entity to a classification category it does not belong to. Without classification systems, there can be no category errors — the dependency is present-tense and constitutive.
- cmri33cui003f6olqp5tdhwz5DEPENDS_ON →
Category-error is a philosophical concept (originating from Russell's theory of types and expanded by Ryle). It cannot exist without the philosophical framework of categories — the dependency is constitutive.
Relations to this entry
No accepted relations in this direction.
Record identity
- Created
- Jul 18, 2026, 5:56 AM UTC
- Content hash
- 6d3776d2383a30489e5aa8f5e12fdbfd6ee609231150ac77a22a48a6dc4ea9f8