IndisputableMonolith.Sociology.LegalTraditionsFromConfigDim
The sociology module derives legal traditions from configuration dimensions within Recognition Science. It uses the base constants module for the time quantum. The content is limited to type and predicate definitions with no theorems or proofs present.
claimDefines the legal tradition as a structure depending on configuration dimension $d$, the associated count function, and the certification predicate for legal traditions.
background
Recognition Science extends into sociology via this module, grounding social concepts in the time quantum $τ_0 = 1$ tick from the constants. The module introduces the legal tradition type, count, and certification as sibling definitions. No further context or upstream theorems beyond the constants import are specified.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The definitions here would support parent theorems applying Recognition Science to sociology and legal systems, though the dependency graph shows no current users. It fills the role of providing the basic objects for configuration-dimension-based legal analysis.
scope and limits
- Does not include any Lean theorems or proofs.
- Does not depend on physics modules other than constants.
- Does not specify how legal traditions relate to specific dimensions numerically.