pith. sign in
module module moderate

IndisputableMonolith.Sociology.CivilizationCyclesFromPhiLadder

show as:
view Lean formalization →

The module applies the Recognition Science phi-ladder to sociology by defining civilizational stages and cycle durations derived from phi powers. Researchers modeling historical dynamics or complex systems would cite it for RS-native predictions of societal periodicity. It consists entirely of type definitions, functions, and a certification proposition with no proofs.

claimIntroduces the type of civilizational stages, their count as a natural number, cycle duration as a real-valued function on stages, duration ratios, and a proposition certifying that the cycles follow from the phi-ladder.

background

The module extends the Recognition Science framework, which derives all physics from one functional equation with landmarks including the phi self-similar fixed point and the phi-ladder for rung-based quantities, into the sociology domain. It imports the fundamental RS time quantum τ₀ = 1 tick. Definitions center on stages whose counts and durations are computed via phi powers, enabling self-similar cycle modeling analogous to the eight-tick octave.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the sociology-domain objects that apply the phi-ladder and T6 fixed point to civilizational scales. It feeds no theorems in the current dependency graph but fills the extension of Recognition Science constants and forcing chain into social periodicity, touching open questions on empirical mapping of cycle ratios.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)