pith. sign in
module module moderate

IndisputableMonolith.Philosophy.FreeWillCategoriesFromConfigDim

show as:
view Lean formalization →

The module defines free will categories derived from configuration dimension in the Recognition Science framework. Researchers in philosophy of physics would cite it when exploring deterministic implications of RS. It consists of type definitions for stances and a certification without any proof content.

claimFree will stance classification derived from configuration dimension, with count function and certification object in the Recognition Science setting.

background

This module sits in the philosophy domain of Recognition Science and imports the Constants module, which defines the fundamental time quantum τ₀ = 1 tick. It introduces definitions for free will stance as a type, its count, and a certificate that categories arise from the configuration dimension. The setting connects philosophical categories to the core RS parameters without additional imports or dependencies beyond Constants.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module provides philosophical structure that can support analysis of free will in the Recognition Science monolith, though no downstream theorems currently depend on it. It extends the framework into philosophy by categorizing stances based on configuration dimension.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)