1.0

Of beginnings

Every theory begins as a noticing: a moment when the world refuses to behave as expected, and the gap between expectation and observation becomes intolerable enough to demand explanation. The act of noticing is the first axiom — without it, no question, and without question, no theory.

We treat 1.1 as derivative of this primary motion. The structure of inquiry mirrors the structure of surprise: first the disturbance, then the form.

1.1

Of language

Theory cannot exist outside of language; even silent intuition must, to be transmitted, take the form of a sentence. The instruments of thought are therefore the instruments of grammar — subjects, predicates, conjunctions — and the limits of expressible theory are the limits of available syntax.

This implies a curious dependence: a richer language permits richer theories. We will return to this in 3.0, where formal notation extends what natural language alone cannot say.

1.2

Of evidence

An axiom resists evidence not because it is unfalsifiable, but because it is the ground on which evidence becomes legible. To question an axiom is to invite vertigo: nothing in the surrounding system is exempt from the renovation that follows.

axiom noticing: obs ≠ expect ⟹ question
axiom language: thought ⊑ grammar
axiom evidence: ground(E) ⊨ legibility(E)

Compare with the proof-form developed in 2.1.

2.0

On valid steps

A step from premise to conclusion is valid if and only if the conclusion cannot fail while the premises hold. Validity is therefore a relation between forms — it does not concern itself with the truth of any individual sentence, only with the impossibility of certain combinations.

This formal vacancy is also its strength: a single rule of inference, indifferent to subject matter, can carry argument across physics, ethics, and the analysis of dreams. See the chain at 2.2.

2.1

On contradiction

If a system permits the derivation of both p and ¬p, classical inference allows the derivation of any sentence whatsoever — the principle ex falso quodlibet. The contradiction is therefore not a local fault but a global collapse: a single inconsistency rots the entire edifice.

The remedy is structural humility — keep the axioms few, the inferences traceable, and the connection to evidence (1.2) repairable.

2.2

On chains

A proof is a chain whose links are inference steps and whose endpoints are an axiom and a theorem. The reader, retracing the chain, becomes momentarily indistinguishable from its author: the same path, walked in reverse, yields the same insistence.

theorem chain(p, q):
  assume p
  by 2.0  ⊢ r
  by 2.0  ⊢ q
  qed.

The form is monotonic: lengthening a chain never invalidates its earlier links.

3.0

Of symbols

A good notation halves the labour of thought. Each well-chosen symbol stands not merely for an object but for a way of operating on it; the symbol is a small machine the reader carries with them, applicable wherever its conditions are met.

// the universe of discourse
let U = { x | x satisfies A }
forall x ∈ U: P(x) ⟹ Q(x)

The economy is real: a single line of properly chosen notation can compress a paragraph of careful prose.

3.1

Of diagrams

The diagram is a notation in two dimensions. Where a sentence forces sequence, a diagram permits simultaneity: relations among many objects appear at once, and the reader's eye performs the inference by simply travelling between regions.

Notice how Fig. 3.0 absorbs the content of 3.0 at a glance — the linear sentence cannot do this without the cost of memory.

4.0

On the unfinished

A complete theory is a contradiction in terms. Every closed system invites the next axiomatic disturbance — Gödel's lesson, in spirit if not in letter — and the most useful theories are those that announce their own boundary clearly enough to be productively crossed.

This page is itself unfinished. Each theorem block is a point of departure for further thought; the spaces between them are the spaces in which the reader's own theory will form.