Categories Are Human Constructions
Categories are constructed by humans for specific purposes and contexts, not discovered as objective, mind-independent features of reality.
Why This Is an Axiom
This represents a core ontological commitment about the nature of categories: they are human artifacts created to serve particular goals rather than natural kinds carved at reality's joints. This is foundational because it determines whether categories are judged by accuracy (do they match pre-existing reality?) or utility (do they serve our purposes?). The stance is irreducible—it's a basic metaphysical position about what exists independent of human conceptualization.
Philosophical Commitment
This aligns with nominalist and constructivist positions in philosophy (Goodman, Hacking, Lakoff). It doesn't deny external reality but claims that how we partition that reality into categories reflects human interests, cognitive constraints, and social practices. Some categories may better capture natural clustering (chemical elements, biological species under some interpretations), while others are clearly conventional (legal classifications, race, psychiatric diagnoses). Even seemingly natural categories like "mountain" or "species" involve human decisions about where boundaries lie. The key claim is that categorization is an active process of world-making, not passive discovery.
Curriculum Implications
This axiom transforms how we teach classification and taxonomy. Rather than presenting categories as given facts to memorize, it frames them as tools to evaluate for their purposes. It explains why different disciplines categorize the same phenomena differently (whale as mammal vs. fish in different classification schemes) and why categories change over time as purposes evolve. Understanding categories as constructions enables critical examination of whose interests they serve, what they make visible or invisible, and how alternative categorizations might better serve different goals. This supports teaching students to be conscious category-makers rather than passive category-accepters.