Current Drafts and Recent Papers
Proof-theoretic Semantics, the Foundations of Logic, and Applied Logic.
History and Philosophy of Science.
Systems Modelling, Security, and Security Economics.
Lecture Notes on Proof-theoretic Semantics
MGS Sheffield 2025 Lecture 1.
MGS Sheffield 2025 Lecture 2.
MGS Sheffield 2025 Lecture 3.
MGS Sheffield 2025 Lecture 4.