Catarina Dutilh Novaes
(2010-2019)
X(2019). Axiomatizations of arithmetic and the first-order/second-order divide. Synthese, 196 (7), 2583-2597. https://doi.org/10.1007/s11229-014-0636-6.
(2018). A dialogical conception of explanation in mathematical proofs. In P. Ernest (Ed.). The philosophy of mathematics education today (pp. 81-98). Dordrecht: Springer.
(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 (pp. 69-102). Basingstoke: Palgrave Macmillan.
(2017). The syllogism as defined by Aristotle, Ockham, and Buridan. In J. Pelletier, & M. Roques (Eds.). The language of thought in late medieval philosophy (pp. 217-231). Dordrecht: Springer.
with Reck, E. (2017). Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization. Synthese, 194 (1), 195-215. https://doi.org/10.1007/s11229-015-0816-z.
(2012). Reassessing logical hylomorphism and the demarcation of logical constants. Synthese, 185 (3), 387-410. https://doi.org/10.1007/s11229-010-9825-0.
(2012). Towards a practice-based philosophy of logic: formal languages as a case study. Philosophia Scientiae, 16 (1), 71-102. https://doi.org/10.4000/philosophiascientiae.719.