Links to written work

 Essays
 o The Gödelian inferences. History and Philosophy of Logic 30(3), 2009, 241--256. (published version)
 o Cut as consequence. History and Philosophy of Logic 31(4), 2010, 349--379. (published version)
 o Stanley Tennenbaum's Socrates, in J. Kennedy and R. Kossak (eds.), Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Cambridge University Press, Lecture Notes in Logic. 2011.
 o The realm of the sacred, wherein we cannot draw an inference from something which itself has been inferred. History and Philosophy of Logic 33(1), 2012, 69--86. (published version)
 o Logical completeness, form, and content: an archaeology, in J. Kennedy (ed.), Interpreting Gödel: Critical Essays. Cambridge University Press. 2014.
 o Logical nihilism, in P. Rush (ed.), The Metaphysics of Logic. Cambridge University Press. 2014. Reprinted in A. Hirvonen, J. Kontinen, R. Kossak, A. Villaveces (eds.), Logic Without Borders. de Gruyter. 2015.
 o David Hilbert's contributions to logical theory, in A. P. Malpass and M. Antonutti-Marfori (eds.), The History of Philosophical and Formal Logic. Bloomsbury. 2017.
 o Constructing the simples, in P. Ording and R. Kossak (eds.), Simplicity: Ideals of Practice in Mathematics & the Arts. Springer. 2017. (a review of the associated symposium)
 o The context of inference. History and Philosophy of Logic 39(4), 2018, 365--395. (published version)
 o Wittgenstein's wayward student: the unauthorized autobiography, in J. Kennedy and S. Arbeiter (eds.), Penelope Maddy on Set Theory and Naturalistic Method. Springer, Outstanding Contributions to Logic. forthcoming.
 o The deduction theorem (before and after Herbrand). History and Philosophy of Logic 42(2), 2021, 129--159. (published version)
 o The fate of the syllogism in the Göttingen school, in L. M. Verburgt and M. Cosci (eds.), Aristotle’s Syllogism and the Creation of Modern Logic: Between Tradition and Innovation, 1820–1930. Bloomsbury. forthcoming.

 Books
 o The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited. Cambridge University Press. 2009.
  (a reply to three of the book's reviews)

 Miscellaneous
 o The Dao of Mohs, The Orchards Poetry Journal, December 2021.
 o Haiku poem cycle, Light, Winter-Spring 2021.
 o Glivenko's theorem
 o Towards a 'pataphysics of anthills
 o In memorium of Aldo Antonelli (with Andy Arana), in F. Boccuni and A. Sereni (eds.), Objectivity, Realism, and Proof. Springer. 2016.
 o In memorium of Mark Steiner, guest 'blog post at "Leiter Reports."