|
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.),
2024 The
Philosophy of Penelope
Maddy. Springer, Outstanding Contributions to
Logic.
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, 1820s–1930s.
Bloomsbury. 2023.
o
Logic discovered and logic imposed (a Purim story), in
C. Posy and Y. Ben-Menachem (eds.),
Mathematical Knowledge, Objects, and Applications:
Essays in honor of Mark Steiner.
Springer. 2023.
o
Disjunctive syllogism: the universal characterization of
multiplicative "or".
Synthese 206(18), 2025. (published version)
|
|
|
Encyclodedia Articles
|
o
Propositional logic, The Stanford Encyclopedia of Philosophy (Summer 2023 Edition), Edward N. Zalta & Uri Nodelman (eds.)
|
|
|