|
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 Kennedy and Kossak,
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.
Cambridge University Press. 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, forthcoming in J. Kennedy (ed.),
Interpreting Gödel: Critical Essays.
Cambridge University Press.
|
|