Symbol / sign relation
A symbol is τ-categorically a *readout* on the subsymbolic layer: a structure-preserving morphism Sym : SubSym → Layer_L that names a subsymbolic pattern in the linguistic layer L. The Peircean triad (icon/index/symbol) is recovered as three classes of readout-morphism distinguished by the structural relation they preserve. Symbols are not arbitrary tokens dressed with meaning — they are the linguistic layer's projection of subsymbolic structure.
τ-Definition
A symbol is τ-categorically a *readout* on the subsymbolic layer: a structure-preserving morphism Sym : SubSym → Layer_L that names a subsymbolic pattern in the linguistic layer L. The Peircean triad (icon/index/symbol) is recovered as three classes of readout-morphism distinguished by the structural relation they preserve. Symbols are not arbitrary tokens dressed with meaning — they are the linguistic layer's projection of subsymbolic structure.
Categorical invariant. Sym = readout-class of structure-preserving morphisms SubSym → L (VII.D52, VII.T20). Three sub-classes: iconic (preserves shape), indexical (preserves causal/contextual link), symbolic-proper (preserves structural role only).
Primary registry anchor:
VII.T20
τ-Derivation Chain
-
I.K0— Universe Postulate -
VII.D52— Subsymbolic Layer — pre-linguistic meaning is real -
VII.T20— Language as Self-Enrichment — symbols are subsymbolic-layer readouts -
VII.T21— Syntax-Semantics Collapse — symbol's role IS its meaning inside topos
Lean modules referenced:
TauLib.BookVII.Meta.Saturation
Phenomenological Correlate
Symbols are instantiated wherever a linguistic-layer token reads off a subsymbolic pattern — the word 'tree' reads the visual/conceptual subsymbolic tree-pattern; an icon reads shape; an index reads contextual presence. Symbol-shift, dead metaphor, and ritual symbolism are all structurally explained as drift, freezing, or ritualization of the underlying readout-morphism.
Examples:
- Iconic — onomatopoeia, pictograms, the bell symbol shaped like a bell (preserves shape)
- Indexical — smoke as sign of fire, deictic 'this/that', proper names with causal-historical chain (preserves contextual link)
- Symbolic-proper — algebraic 'x', most natural-language nouns (preserves structural role only)
- Ritual symbol — wedding ring, national flag: frozen subsymbolic-pattern readout that re-acquires meaning each use
Register codomain: Reg_E for descriptive symbols (referring readouts); Reg_C for ritual/performative symbols (commitment-register-bearing — the flag, the ring, the sacred object); Reg_D for diagrammatic symbols (mathematical notation as proof-bearing structure).
Manuscript reference: manuscript-sources/book-07/part05/ch55.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookVII.Meta.Saturation
Lean kind: theorem
Lean symbol: Tau.BookVII.Meta.Saturation.language_as_self_enrichment