Published Work
Peer Reviewed Articles
- Stafford, W, Peicha, T, and Schroeder-Heister, P. Logics of Proof-Theoretic Validity Topoi Accepted.
- Stafford, W. Proof-Theoretic Validity isn’t Intuitionistic; So What? Australasian Journal of Philosophy Online 07 Nov 2024. 10.1080/00048402.2024.2411395
- Arana, A. and Stafford, W. On the difficulty of discovering mathematical proofs. Synthese 2023. 10.1007/s11229-023-04184-5
- Stafford, W and Nascimento, V. Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity. Analysis Volume 83, Issue 3, Pages 507–516 (2023). 10.1093/analys/anac100
- Stafford, W. The Decidability of Proof-Theoretic Validity. The Logica Yearbook 2021 M. Blicha and I. Sedlar (eds), College Publications, London, (2022). ISBN 9781848904149
- Stafford, W. Proof-Theoretic Semantics and Inquisitive Logic. J Philos Logic 50, 1199–1229 (2021). 10.1007/s10992-021-09596-7
- Stafford, W. The Potential in Frege’s Theorem. Review of Symbolic Logic 1-25 (2020) 10.1017/s1755020320000349
Book Reviews
- Stafford, W. “Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, pp.
233–246. – Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related
Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. – Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis, vol. 86 (2021), no. 2, pp. 429–455.” Bulletin of Symbolic Logic 30 (3):427-431. 10.1017/bsl.2024.33 - Stafford, W. Review of Neil Tennant’s “The Logic of Numbers”. Notre Dame Philosophical Reviews https://ndpr.nd.edu/reviews/the-logic-of-number/