Deferred Semantic Binding

Abstract

Deferred semantic binding is a framework for context-dependent semantics. A symbol carries intent without committing to outcome. Meaning is bound only at activation, when runtime context is sufficient: who acts, when, where, and the current state of the system.

A token like ⟦VOTE:promote⟧ does not prescribe its effect. At activation, gates evaluate the surrounding context and decide what happens: the symbol binds, or stays latent with its conditions not met, and both are recorded with their grounds. The same symbol, issued by different actors in different contexts, can resolve to entirely different outcomes.

Symbols can be gated, combined, nested, and chained. Binding time becomes a first-class design parameter. Version 2.1 (September 2026) supersedes version 1.5; it is offered as a conceptual framework, and the tests it calls for are stated, not performed.

Full paper [pdf]

Foundation / Symbols

Symbols are carriers of dormant meaning. Each is defined with its activation conditions; until runtime context satisfies them, the symbol stays latent. When context binds it, the symbol becomes bound, its outcome computed from the situation, not prescribed in advance.

The transition from latent to bound is the core dynamic. See the latent and bound article. Closest lineage is speech-act theory (Austin, Searle); the paper traces this in detail.

Symbols come in two classes. A guard decides whether activation may proceed; an operator performs the change when it does. The latent and bound article calls them gates and events. The table marks the class where the sketch settled it, and open where it did not.

Symbol Notation

Symbols are written as ⟦CATEGORY:name⟧. The notation is called the Deferred Semantic Binding Language, DSBL for short, which is also the name of this site. The symbols below are sketches. Which of them are needed, and in what context, remains open.

A later article, Social Operations, asks which of these are primitive and which are compositions of simpler steps.