Work in progress
- Proof-Theoretic Harmony and Structural Assumptions - PDF
Talks
- Proof-Theoretic Harmony and Structural Assumptions (10th Annual Pitt/CMU Graduate Student Philosophy Conference, University of Pittsburgh and CMU)
- Proof-Theoretic Harmony and Structural Assumptions (1st Cambridge Graduate Conference in Philosophy of Logic and Mathematics, University of Cambridge)
- Inferentialism and Disagreement about Logic (UNILOG 2nd World Congress on Universal Logic, Xi'an, China, August 2007)
Conceptions of Harmony in Proof-theoretic Semantics (Workshop in Proof-theoretic semantics, University of St Andrews, May 2007) | PDF
Earlier work
- Hilbert's Gambit (Exam paper for M.Litt course, History and Origins of Analytic Philosophy) | PDF
- Ruling out the Competition (M.Litt dissertation) | PDF