Catarina Dutilh Novaes
Medieval obligationes as logical games of consistency maintenance
2005
Synthese 145/3
Roger Swyneshed's obligationes: a logical game of inference recognition?
2006
Synthese 151/1
Reassessing logical hylomorphism and the demarcation of logical constants
2012
Synthese 185/3
Towards a practice-based philosophy of logic: formal languages as a case study
2012
Philosophia Scientiae 16/1
The dissonant origins of analytic philosophy: common sense in philosophical methodology
2017
in: Innovations in the history of analytical philosophy, Basingstoke : Palgrave Macmillan
The syllogism as defined by Aristotle, Ockham, and Buridan
2017
in: The language of thought in late medieval philosophy, Dordrecht : Springer
A dialogical conception of explanation in mathematical proofs
2018
in: The philosophy of mathematics education today, Dordrecht : Springer
Axiomatizations of arithmetic and the first-order/second-order divide
2019
Synthese 196/7
Carnapian explication and ameliorative analysis: a systematic comparison
2020
Synthese 197/3
Ockham on supposition theory, mental language, and Angelic communication
kham
American Catholic Philosophical Quarterly 86/3