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, 1820s–1930s.
Bloomsbury. 2023.
o
Logic discovered and logic imposed (a Purim story), in
C. Posy and Y. BenMenachem (eds.),
Mathematical Knowledge, Objects, and Applications:
Essays in honor of Mark Steiner.
Springer. 2023.


Encyclodedia Entries

o
Propositional logic, The Stanford Encyclopedia of Philosophy (Summer 2023 Edition), Edward N. Zalta & Uri Nodelman (eds.)


Miscellaneous

o
Reidemeister moves, Think Summer/Fall 2023.
o
14 selfreferential verses derived anagrammatically from
William Shakespeare's "Shall I compare thee to a summer's
day?", Fleas on the Dog 12, 2022.
o
The Dao of Mohs, The Orchards Poetry Journal,
December 2021.
o
Haiku poem cycle, Light, WinterSpring 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."


