Journal | Contributors | Profile

(2018)., A dialogical conception of explanation in mathematical proofs, in P. Ernest (ed.), The philosophy of mathematics education today, Dordrecht, Springer, pp. 81-98.

(2019). Axiomatizations of arithmetic and the first-order/second-order divide. Synthese 196 (7), pp. 2583-2597.

(2020). Carnapian explication and ameliorative analysis: a systematic comparison. Synthese 197 (3), pp. 1011-1034.

with Reck, E. (2017). Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization. Synthese 194 (1), pp. 195-215.

(2005). Medieval obligationes as logical games of consistency maintenance. Synthese 145 (3), pp. 371-395.

(kham). Ockham on supposition theory, mental language, and Angelic communication. American Catholic Philosophical Quarterly 86 (3), pp. 415-434.

(2012). Reassessing logical hylomorphism and the demarcation of logical constants. Synthese 185 (3), pp. 387-410.

(2006). Roger Swyneshed's obligationes: a logical game of inference recognition?. Synthese 151 (1), pp. 125-153.

(2017)., The dissonant origins of analytic philosophy: common sense in philosophical methodology, in S. Lapointe & C. Pincock (eds.), Innovations in the history of analytical philosophy, Basingstoke, Palgrave Macmillan, pp. 69-102.

(2017)., The syllogism as defined by Aristotle, Ockham, and Buridan, in J. Pelletier & M. Roques (eds.), The language of thought in late medieval philosophy, Dordrecht, Springer, pp. 217-231.

(2012). Towards a practice-based philosophy of logic: formal languages as a case study. Philosophia Scientiae 16 (1), pp. 71-102.