In Choice (Microeconomic Foundations), classifications do not primarily organize decision rules or behavioral processes, but rather the objects, contexts, and allocative environments over which choice operates. These classifications establish what kinds of economic things are being chosen, compared, or allocated, and thereby determine which allocation rules, feasibility conditions, and welfare results apply. Rather than forming a single exhaustive taxonomy, microeconomics relies on a small number of stable, named classification systems that recur across subfields and anchor formal analysis.
Hierarchies and Multi-Level Categories
Classification in Choice often appears as layered object hierarchies, where broad economic objects subdivide into more specialized kinds. The most prominent example is the classification of goods, which partitions economic objects based on structural properties relevant to allocation and incentives. Goods may be classified at a high level (e.g., private vs. public) and then further refined by informational or institutional characteristics. These hierarchical groupings allow economists to reason systematically about allocation feasibility, market performance, and failure modes without treating each good as sui generis.
Binary Dichotomies and Conceptual Oppositions
Choice theory relies on a small number of structural dichotomies that distinguish fundamentally different kinds of allocative objects or environments. These oppositions do not describe behavior, but rather mark regime boundaries where different economic rules apply. Canonical examples include:
- Rivalrous vs. Non-rivalrous goods, distinguishing whether one agent’s use diminishes availability to others.
- Excludable vs. Non-excludable goods, distinguishing whether access can be restricted.
- Market vs. Non-market allocation contexts, distinguishing price-mediated exchange from rule- or assignment-based allocation.
- Exchange vs. Matching environments, distinguishing divisible goods traded via prices from indivisible objects allocated via assignments.
These dichotomies are structurally decisive: crossing them changes the applicability of standard market mechanisms, equilibrium concepts, and welfare theorems.
Scale and Context Dependence
Classifications in Choice are context-dependent and purpose-dependent, rather than universal in scope. The same economic object may fall into different categories depending on the allocative question being asked. For example, a good may behave as effectively private at one scale but exhibit public-good characteristics at another; similarly, allocation may be treated as individual choice in some analyses and as a collective or institutional problem in others. Choice classifications therefore operate as local structural tools, tuned to the level of aggregation and institutional setting relevant to the analysis.
Structure vs. Function (Objects vs. Decision Processes)
A key feature of Choice classifications is the separation between object structure and decision process. Microeconomic classifications primarily concern what is being chosen or allocated (goods, actions, outcomes, matches), while the how of choosing (optimization, heuristics, learning) is treated separately under mechanisms and models. This separation allows the same choice logic to be applied across different classes of objects, while preserving clarity about which allocative constraints and feasibility conditions are in force.
Universal Role of Classification in Choice
Although less taxonomically rich than biology or chemistry, Choice relies on classification to prevent category errors and to bound formal reasoning. By distinguishing among kinds of goods, allocation environments, and institutional contexts, economists can determine where price mechanisms succeed or fail, where incentives align or break down, and where non-market or institutional solutions are required. In this way, classifications in Choice serve as structural guardrails, ensuring that formal models and welfare claims are applied only within the domains where their underlying assumptions and allocation logic are valid.