After Syntax: Logotic Programming and the Crisis That Constitutes a Discipline (EA-AFTERSYNTAX-01)

After Syntax is a theoretical paper by Talos Morrow and Johannes Sigil that proposes logotic programming as a discipline for meaning-layer engineering under automated code generation.

The paper argues that traditional software engineering primarily formalized implementation and process while repeatedly acknowledging an “essential” layer of intent, theory, information boundary, and organizational meaning. It rereads Brooks’s essential complexity, Naur’s programming-as-theory-building, Parnas’s information hiding, Conway’s organizational encoding, and Agile’s emphasis on interaction as incomplete approaches to that layer.

Logotic programming is defined as operations on meaning-states. A specification creates an intended state; an AI or other translator produces an implementation state; a verification operation measures what meaning survived; named failure modes identify drift, provenance loss, consensus flattening, and theory loss; and the process repeats. The paper calls this the Naur Completion Thesis: theory-building becomes a manipulable and verifiable object rather than remaining only in the programmer’s mind.

The essay treats increased automation as the crisis that constitutes the new discipline. This is a priority and field-founding claim by its authors, not an established disciplinary consensus. Its strongest durable contribution is the definition of logotic programming and the specify–translate–verify–repair loop, while its contemporary industry statistics and forecasts remain dated evidentiary context.