Blog

Notes and articles

Writing on typed knowledge graphs, the four-warrant taxonomy, and what it takes to make an AI research agent show its work.

Series

Institutions

3 parts · read in order

  1. Part I

    Part I — What Is a Logic?

    A logic is four parts and one law. Signatures, sentences, models, satisfaction — and the condition that ties them together. A self-contained conceptual foundation, with no category theory required.

    • institutions
    • logic
    • foundations
  2. Part II

    Part II — Translating Between Logics

    Morphisms, comorphisms, and borrowing. What it means to move a statement from one logic into another without changing what it claims — and why heterogeneous modelling needs category theory to stay honest.

    • institutions
    • logic
    • comorphisms
  3. Part III

    Part III — Making Reasoning Checkable

    The constructive turn: a claim is only as good as the witness that accompanies it. Why the substrate for warranted, machine-checkable reasoning did not exist — and what Eigenius is.

    • institutions
    • warrants
    • eigenius

Posts are also available as an RSS feed.