The Organon as a Test Suite
Lineage and novelty in Axioma. It names its ancestry first — Leibniz, Sloman, McCarthy, Cyc/KM/SNePS, logic programming — and then defends exactly two novelty claims: the co-residence of many logics as first-class values, and the book-pass method, canonical texts maintained as executable regression suites.
Read paper →On Praxeology: The Concrete and the Universal
Executable praxeology as mechanized deduction-checking with a provenance ladder — not simulation. It argues that the critics' "if simulable then empirical" is a category error. Ships a companion script, 15/15 assertions.
Read essay →On Time and Uncertainty
The same machine applied to the hardest categorial doctrine in Human Action — time (ch. V) and uncertainty (ch. VI) — with zero engine changes. 13/13 assertions plus a six-script book pass.
Read essay →A further paper is under review
A longer study applying this machinery to a canonical text in economic methodology. It is withheld until the review process concludes, and will be posted here — with its DOI — once it can be.
Coming soon