pith. sign in
module module low

IndisputableMonolith.Linguistics.SemanticRelationsFromConfigDim

show as:
view Lean formalization →

Module defines semantic relations derived from configuration dimension for linguistics in Recognition Science. Linguists applying RS to language would cite these base definitions. It is a definition module importing only the RS time quantum constant with no proofs.

claimDefinitions of the semantic relation object, its cardinality function, and certification predicate, all parameterized by configuration dimension in the Recognition Science model of linguistics.

background

The module operates in the linguistics domain of Recognition Science and imports the fundamental time quantum τ₀ = 1 tick from the Constants module. It introduces definitions for semantic relations, their counts, and certificates derived from configuration dimension. The setting applies RS forcing chain concepts to semantic structures.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

This module provides the core definitions for semantic relations in linguistics under Recognition Science. No parent theorems are recorded as using it yet. It extends the constants framework to linguistic applications.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)