IndisputableMonolith.Economics.BehavioralEconomicsFromRS
This module defines behavioral economics objects from Recognition Science by setting rational agents to J-cost zero and biased agents to positive J-cost. Decision theorists and economists modeling bounded rationality would cite it for the RS-native grounding of agent types. The module is built from definitions and a certification theorem on top of the imported Cost module.
claimRational agent: $J=0$; biased agent: $J>0$. BehavioralFinding enumerates deviations; BehavioralEconomicsCert certifies the resulting agent classification.
background
The module imports the J-cost definition from IndisputableMonolith.Cost, where J(x) = (x + x^{-1})/2 - 1 measures recognition defect. It introduces BehavioralFinding as a type of deviation from J=0 and behavioralFindingCount as its cardinality. The local setting extends the Recognition Composition Law and phi-ladder to economic agents, treating J=0 as the rational fixed point.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the agent taxonomy that feeds BehavioralEconomicsCert and downstream economic applications of the J-uniqueness (T5) and eight-tick structure. It closes the step from the Cost module to behavioral findings without introducing new forcing-chain hypotheses.
scope and limits
- Does not derive market equilibrium conditions.
- Does not include empirical calibration of J values.
- Does not model multi-agent interactions or game payoffs.
- Does not prove convergence to rational behavior.