"Carnapian explication and ameliorative analysis: a systematic comparison". Synthese, forthcoming.
"The formal and the formalized: the cases of syllogistic and supposition theory". Kriterion 131, 253-270, 2015.
(With E. Andrade-Lotero) “Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic”. Journal of Philosophical Logic 41, 387-418, 2012.
"Towards a practice-based philosophy of logic: formal languages as a case study". Philosophia Scientiae 16(1), 71-102, 2012.
“The different ways in which logic is (said to be) formal”. History and Philosophy of Logic 32, pp. 303-332, 2011.
Chapters in Volumes
(With L. Geerdink) "The dissonant origins of analytic philosophy: common sense in philosophical methodology". In S. Lapointe and C. Pincock (eds.), Innovations in the History of Analytical Philosophy. London, Palgrave Macmillan, 2017, 69-102.
"Conceptual genealogy for analytic philosophy". In J. Bell, A. Cutrofello, P.M. Livingston (eds.), Beyond the Analytic-Continental Divide: Pluralist Philosophy in the Twenty-First Century (Routledge Studies in Contemporary Philosophy), 2015.