| 53. 'Is Historical Mathematics Largely True?', with Fabian Pregel, in A.C. Paseau (ed.), The Blackwell Companion to the Philosophy of Mathematics, Wiley-Blackwell, forthcoming. |
| 52. ‘Problems for Plenitudinous Platonism’, Philosophia Mathematica, forthcoming. |
| 51. ‘From Structuralism-Within-Set-Theory to Structuralism-Within-a-Theory-of-Structure’, in L. Incurvati & G. Venturi (eds), The Oxford Handbook of the Philosophy of Set Theory, Oxford University Press, forthcoming. |
| 50. ‘Formal Validity: Model-Theoretic and Proof-Theoretic Conceptions’, with Owen Griffiths, in E. Brendel & M. Carrara & F. Ferrari & O. Hjortland & G. Sagi & G. Sher & F. Steinberger (eds), Oxford Handbook of Philosophy of Logic, Oxford University Press, forthcoming. |
| 49. `Indispensabilism's Unfinished Business’, Australasian Journal of Philosophy, forthcoming |
| 48. ‘Necessary-Law Arguments’, Faith and Philosophy 42 (2026), pp. 1–19. |
| 47. `What are the Formulas of a Logic?’, Erkenntnis 91 (2026), pp. 1371–1386. |
| 46. 'Inferentialism and Uniformity', with Owen Griffiths, Journal of Philosophical Logic 54 (2025), pp. 1305–22. |
| 45. ‘Deductive Theories and Non-Deductive Knowledge’, in F. Sterpetti & E. Ippoliti (eds), The Heuristic View (Springer 2025), pp. 97–113 . |
| 44. 'Lakatos and the Euclidean Programme', with Wesley Wrigley, in R. Frigg, J. Alexander, L. Hudetz, M. Rédei, L. Ross & J. Worrall (eds), The Continuing Influence of Imre Lakatos's Philosophy: a Celebration of the Centenary of his Birth (Springer 2025), pp. 47–67. |
| 43. `Is There a Countable Omega-Universal Logic?’, with Felix Weitkämper, Review of Symbolic Logic' 18 (2025), pp. 963–70. |
| 42. ‘Trumping Naturalism Revisited’, in S. Arbeiter & J. Kennedy (eds), The Philosophy of Penelope Maddy (Springer 2024), pp. 267–90. |
| 41. ‘Ways of Being and Logicality’, with Owen Griffiths, The Journal of Philosophy 120 (2023), pp. 94–116. |
| 40. ‘Non-deductive justification in mathematics’, in B. Sriraman (ed), Handbook of the History and Philosophy of Mathematical Practice, (Springer 2023). [Pre-publication draft] |
| 39. ‘Logos, Logic and Maximal Infinity’, Religious Studies 58 (2022), pp. 420–35. |
| 38. ‘Non-metric propositional similarity’, Erkenntnis 87 (2022), pp. 2307-2328. |
| 37. ‘Arithmetic, Enumerative Induction and Size Bias’ Synthese 199 (2021), pp. 9161–9184. |
| 36. ‘Propositional Logics of Truth by Logical Form’, with Owen Griffiths, in G. Sagi & J. Woods (eds), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning (Cambridge University Press 2021), pp. 160–185. |
| 35. ‘Propositionalism’, The Journal of Philosophy 118 (2021), pp. 430–449. |
| 34. ‘Is English Consequence Compact?’, with Owen Griffiths, Thought 10 (2021), pp. 188–98. |
| 33. ‘Capturing Consequence’, Review of Symbolic Logic 12 (2019), pp. 271-95. |
| 32. ‘A Measure of Inferential-Role Preservation’, Synthese 196 (2019), pp. 2621-42. |
| 31. ‘Philosophy of the Matrix’, Philosophia Mathematica 25 (2017), pp. 246-67. |
| 30. ‘Isomorphism Invariance and Overgeneration’ (with Owen Griffiths'), Bulletin of Symbolic Logic 22 (2016), pp. 482-503. |
| 29. ‘What’s the Point of Complete Rigour?’, Mind 125 (2016), pp. 177-207. |
| 28. ‘Fairness and Aggregation’ (with Ben Saunders'), Utilitas 27 (2015), pp. 460-9. |
| 27. ‘Did Frege commit a cardinal sin?’, Analysis 75 (2015), pp. 379-86. |
| 26. ‘Six Similarity Theories of Properties’, in G. Rodriguez-Pereyra & G. Guigon (eds), Nominalism about Properties (Routledge 2015), pp. 95-120. |
| 25. ‘Knowledge of Mathematics without Proof’ (2014), The British Journal for the Philosophy of Science 66, pp. 775-99. |
| 24. ‘The Overgeneration Argument(s) : a Succinct Refutation’, Analysis 74 (2014), pp. 40-7. |
| 23. ‘An Exact Measure of Paradox’, Analysis 73 (2013), pp. 17-26. |
| 22. ‘Against the Judgment-Dependence of Mathematics and Logic’, Erkenntnis 76 (2012), pp. 23-40. |
| 21. ‘Resemblance Theories of Properties’, Philosophical Studies 157 (2012), pp. 361-82. |
| 20. ‘Proving Induction’, Australasian Journal of Logic 10 (2011), pp. 1-17. |
| 19. ‘Mathematical Instrumentalism, Gödel’s Theorem and Inductive Evidence’, Studies in the History and Philosophy of Science 42 (2011), pp. 140-9. |
| 18. ‘A Puzzle about Naturalism’, Metaphilosophy 41 (2010), pp. 642-8. |
| 17. ‘Pure Second-Order Logic with Second-Order Identity’, Notre Dame Journal of Formal Logic 51 (2010), pp. 351-60. |
| 16. ‘Proofs of the Compactness Theorem’, History and Philosophy of Logic 31 (2010), pp. 73-98. [A corrigendum appeared in History and Philosophy of Logic 32 (2011), p. 407.] |
| 15. ‘The Definitions of Ultimate Ontological Basis and the Fundamental Layer’, Philosophical Quarterly 60 (2010), pp. 169-75. |
| 14. ‘Reducing Arithmetic to Set Theory’, in Ø. Linnebo & O. Bueno (eds), New Waves in Philosophy of Mathematics (Palgrave Macmillan 2009), pp. 35-55. |
| 13. ‘How to type: reply to Halbach’, Analysis 69 (2009), pp. 280-6. |
| 12. ‘Justifying Induction Mathematically: Strategies and Functions’, Logique et Analyse 203 (2008), pp. 263-9. |
| 11. ‘Motivating Reductionism about Sets’, Australasian Journal of Philosophy 86 (2008), pp. 295- 307. |
| 10. ‘Fitch’s Argument and Typing Knowledge’, Notre Dame Journal of Formal Logic 49 (2008), pp. 153-76. |
| 9. ‘Scientific Platonism’, in M. Leng, A. Paseau & M. Potter (eds), Mathematical Knowledge (Oxford University Press 2007), pp. 123-49. |
| 8. ‘Boolos on the Justification of Set Theory’, Philosophia Mathematica 15 (2007), pp. 30-53. |
| 7. ‘Genuine Modal Realism and Completeness’, Mind 115 (2006), pp. 721-9. |
| 6. ‘The Subtraction Argument(s)’, Dialectica 60 (2006), pp. 145-156. |
| 5. ‘Naturalism in Mathematics and the Authority of Philosophy’, The British Journal for the Philosophy of Science 56 (2005), pp. 399-418. |
| 4. ‘On an Application of Categoricity’, Proceedings of the Aristotelian Society 105 (2005), pp. 411- 415. |
| 3. ‘The Open-Endedness of the Set Concept and the Semantics of Set Theory”, Synthese 135 (2003), pp. 379-99. |
| 2. ‘Why the Subtraction Argument Does Not Add Up’, Analysis 62 (2002), pp. 74-6. |
| 1. ‘Should the Logic of Set Theory Be Intuitionistic?’, Proceedings of the Aristotelian Society 101 (2001), pp. 369-78. |