A conceptual error that consists in ascribing to something a property or predicate appropriate to a different logical type or category—thereby mislocating the item of interest and producing a pseudo‑problem (for example, treating a collective or institutional entity as if it were a simple physical object).

Principle

Logical or ontological typing constrains which predicates are sensibly attributed to a subject; attributing a predicate whose logical type mismatches the subject yields a category mistake and a conceptual confusion rather than an informative claim.

Demonstration

Illustrative scenario → A visitor tours a university campus and, seeing buildings and departments, asks “Where is the university?” expecting a single building. Recognition: the question treats the institutional entity as if it were a physical object. Action: a clarifying reply explains that ‘university’ names an institution comprising people, roles and buildings. Consequence: the apparent problem dissolves once the subject is recategorized correctly.

Misapplication

Interpreting metaphorical or shorthand speech as literal category assignment. For example, reading institutional shorthand (“The company decided…”) as asserting a physical action by a building. The error ignores pragmatic type‑shifting conventions and mistakes them for literal category membership errors.

Consequence

Category mistakes produce false conceptual puzzles, invalid inferences, and design errors (e.g., in ontologies, models, or software types); correcting them clarifies argument, avoids category confusion, and prevents misapplied analysis.

Reversal

In contexts where type‑shifting is conventional (metaphor, legal shorthand, ordinary speech), predicates that would be category mistakes in strict logical analysis are pragmatically acceptable; the error is only present when one demands literal type fidelity.

Boundary

Clearly within: asking “What colour is the number seven?” (assigning a property of physical objects to an abstract object). Boundary case: saying “the board is split” to mean the board members disagree—context can render this acceptable shorthand. Clearly outside: ascribing an empirically false property to an object of the correct type (e.g., claiming a red apple is blue) is a different error (factual falsehood, not a category mistake).

Semantic Tension

Type‑sensitive conceptual analysis (demanding strict logical categories) ↔ Pragmatic language use (allowing metaphors, metonymy, and shorthand that blur categories).

Synthesis

Recognizing categories and their admissible predicates is a prerequisite for clear conceptual work; many philosophical confusions dissolve once subjects are typed correctly, though pragmatic language use can permissibly blur these boundaries.