Curtis Franks

Curtis Franks has been in the Philosophy faculty at Notre Dame since 2006. He studied mathematics and philosophy at Rice University from 1997 until 2000 and earned a PhD. from the University of California in Irvine's Department of Logic and Philosophy of Science in 2006. He specializes in the history and philosophy of logic, proof theory, and the philosophy of mathematics.

Representative Publications

"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)

"The deduction theorem (before and after Herbrand)." History and Philosophy of Logic 42(2), 2021.

"The context of inference." History and Philosophy of Logic 39(4), 2018

"Cut as consequence." History and Philosophy of Logic 31(4), 2010

"Logical completeness, form, and content: an archaeology," in J. Kennedy (ed.), Interpreting Gödel: Critical Essays. Cambridge University Press. 2014. 

"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

"Stanley Tennenbaum's Socrates," in Kennedy and Kossak (eds), Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Cambridge University Press. 2011.