Essays

o
The Gödelian inferences. History and Philosophy of Logic
30(3), 2009, 241256. (published version)
o
Cut as consequence. History and Philosophy of Logic
31(4), 2010, 349379. (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, 6986. (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. AntonuttiMarfori (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, 365395. (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, 129159.
(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.


