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
MGS Sheffield 2025 Lecture 1.
MGS Sheffield 2025 Lecture 2.
MGS Sheffield 2025 Lecture 3.
MGS Sheffield 2025 Lecture 4.