Naur's retained passages do not establish a human-only theory bearer
Type: kb/types/note.md · Tags: foundations, context-engineering
The retained passages from Peter Naur's invited keynote essay Programming as Theory Building support a narrow distinction. They argue that modifying a program well requires world-sensitive judgment that cannot be replaced by a limited list of criteria. In the quoted relevance passage, however, the required capacity and its identified bearer appear in separate clauses: someone must understand the world, and the programmer contributes that understanding. Those lines establish what capacity is needed and who supplies it in Naur's account. By themselves, they do not establish that only a human could supply it.
This is not an argument that adding an interpreter to text produces program theory. General language competence is not the program-specific ability to extend a design coherently. A candidate interpreter must possess or acquire that ability rather than have it assumed on its behalf.
The retained argument requires application judgment
Naur describes a theory-holder as able to map between world affairs and program text, justify why program parts are as they are, and incorporate a novel modification demand by perceiving similarity on the world side. The third capability most directly states the limit. Naur says the required similarity cannot be reduced to “any limited set of criteria or rules.”
That passage treats program theory as an application-judgment capacity: the holder must decide a new case that an enumerated criterion set does not settle. The conclusion concerns the insufficiency of those criteria. It does not make the judgment proposition-free, nor does it show that written premises cannot inform whoever exercises it.
The relevance-decision passage makes the bearer question visible:
the decision that a part of the world is relevant can only be made by someone who understands the whole world. This understanding must be contributed by the programmer.
The first sentence states a requirement: world-understanding. The second names its contributor in Naur's account. Reading the two separately does not prove that understands is a substrate-neutral functional predicate. It shows only that this retained passage does not itself derive human exclusivity from the capacity requirement. The full essay may offer other premises about persons, minds, participation, or theory transfer; the retained extracts are not evidence that it does not.
The reading rule is bounded by the argument's target
When an argument shows that enumerated criteria cannot replace world-sensitive judgment, it establishes a limit on that proposed replacement. Excluding a separately competent bearer requires another premise about that bearer's possibility, knowledge, or acquisition of the relevant capacity. Retained text can then be an input to judgment without being the thing that decides the case.
This rule does not apply to every result called “irreducibility.” An impossibility proof may quantify over the full effective procedure, including both text and a computable interpreter. Adding an interpreter does not escape such a result. The relevant question is what the argument ranges over: an explicit criterion set offered in place of judgment, or the end-to-end procedure that would exercise the capacity.
A text-plus-interpreter possibility has further conditions
A composite of retained text and an interpreter is therefore a possibility left open by the retained passage, not a demonstrated theory-holder. The interpreter would have to supply case-by-case judgment. The text could supply decision premises the interpreter cannot faithfully regenerate, such as prior relevance decisions, intended scope, or reasons alternatives lost. This is the same division of labour that theory-mediated self-improvement needs both interpretation and retention from one substrate proposes. Its retention boundary follows the recovery question in design rationale must preserve decision premises its interpreter cannot regenerate: which decision-relevant claims can this interpreter recover, at the required fidelity, from its other available sources?
The records do not perform Naur's three capabilities. A justification can be written, but a fresh interpreter still has to select and apply the relevant reason. Fixed mapping points can be recorded, but extending the mapping to a new case remains a judgment. The artifact supplies inputs to the capacities; it does not thereby relocate the capacities into text.
Any candidate composite must meet at least three conditions:
- Relevant competence. The interpreter must have the world access and discriminations the case requires, including any organizational, embodied, or participation-acquired information on which the judgment depends.
- Program-specific acquisition. It must acquire the particular theory rather than substitute general semantic competence or plausible post-hoc explanation.
- Dispositional reliability. It must exercise the capacity across later occasions, not merely produce one acceptable answer.
An LLM-plus-artifact system is one conjectured candidate under these conditions. Nothing in the retained passages shows that a current system meets them. The defensible conclusion is narrower: the quoted capacity requirement does not, on its own, settle which bearers can meet it or what artifacts may contribute to their judgment.
Scope
- Retained-source boundary. The reading rests on passages retained in the ingest, especially the adjacent requirement and contributor statements. It makes no source-wide claim that Naur lacks other human-specific premises.
- Meaning of rules. The note addresses the limited, enumerated criteria named in the retained passage. It does not claim that a text-plus-computable-interpreter system escapes an impossibility result quantified over the full effective procedure.
- Possibility versus transfer. Leaving a competent bearer logically open does not explain how a fresh interpreter acquires program theory or establish that text is sufficient to transfer it.
Relevant Notes:
- Programming as Theory Building — abstracted-from: supplies the three theory-holder capabilities, the limited-criteria statement, and the relevance-decision passage; the requirement/bearer distinction is this note's bounded reading