Catarina Dutilh Novaes
(2010-2019)
XAxiomatizations of arithmetic and the first-order/second-order divide
2019
Synthese 196/7
A dialogical conception of explanation in mathematical proofs
2018
in: The philosophy of mathematics education today, Dordrecht : Springer
The dissonant origins of analytic philosophy
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
Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
2017
Synthese 194/1
Reassessing logical hylomorphism and the demarcation of logical constants
2012
Synthese 185/3
Towards a practice-based philosophy of logic
2012
Philosophia Scientiae 16/1
