Carnapian explication and ameliorative analysis

a systematic comparison

2020

Catarina Dutilh Novaes

Synthese 197 (3)

Axiomatizations of arithmetic and the first-order/second-order divide

2019

Catarina Dutilh Novaes

Synthese 196 (7)

A dialogical conception of explanation in mathematical proofs

2018

Catarina Dutilh Novaes

in: The philosophy of mathematics education today, Berlin,

Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization

2017

Catarina Dutilh Novaes, Erich Reck

Synthese 194 (1)

The dissonant origins of analytic philosophy

common sense in philosophical methodology

2017

Catarina Dutilh Novaes

in: Innovations in the history of analytical philosophy, Basingstoke,

The syllogism as defined by Aristotle, Ockham, and Buridan

2017

Catarina Dutilh Novaes

in: The language of thought in late medieval philosophy, Berlin,

Ockham on supposition theory, mental language, and Angelic communication

2012

Catarina Dutilh Novaes

American Catholic Philosophical Quarterly 86 (3)

Reassessing logical hylomorphism and the demarcation of logical constants

2012

Catarina Dutilh Novaes

Synthese 185 (3)

Towards a practice-based philosophy of logic

formal languages as a case study

2012

Catarina Dutilh Novaes

Philosophia Scientiae 16 (1)

Roger Swyneshed's obligationes

a logical game of inference recognition?

2006

Catarina Dutilh Novaes

Synthese 151 (1)