Catarina Dutilh Novaes
11 Publications
1 - 10 >Carnapian explication and ameliorative analysis
a systematic comparison
2020
Synthese 197 (3)
Axiomatizations 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, Berlin,
Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
2017
Synthese 194 (1)
The dissonant origins of analytic philosophy
common sense in philosophical methodology
2017
in: Innovations in the history of analytical philosophy, Basingstoke,
The syllogism as defined by Aristotle, Ockham, and Buridan
2017
in: The language of thought in late medieval philosophy, Berlin,
Ockham on supposition theory, mental language, and Angelic communication
2012
American Catholic Philosophical Quarterly 86 (3)
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)
Roger Swyneshed's obligationes
a logical game of inference recognition?
2006
Synthese 151 (1)
11 Publications
1 - 10 >