Catarina Dutilh Novaes

Available identifiers

zbMath Open dutilh-novaes.catarinaMaRDI QIDQ375341

List of research outcomes

Publication	Date of Publication	Type
The Dialogical Roots of Deduction	2023-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q5869225	2022-09-27	Paper
Axiomatizations of arithmetic and the first-order/second-order divide	2021-11-29	Paper
The Dialogical Roots of Deduction	2020-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q5133702	2020-11-10	Paper
Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization	2018-03-27	Paper
Reassessing logical hylomorphism and the demarcation of logical constants	2013-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4925876	2013-06-12	Paper
The Different Ways in which Logic is (said to be) Formal	2013-04-18	Paper
Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study*	2013-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4903796	2013-01-27	Paper
Formal Languages in Logic	2012-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4648941	2012-11-16	Paper
Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic	2012-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q3112300	2012-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3101105	2011-11-22	Paper
A Comparative Taxonomy of Medieval and Modern Approaches to Liar Sentences	2008-10-14	Paper
Formalizing medieval logical theories. Suppositio, consequentiae and obligationes	2007-12-10	Paper
Roger Swyneshed's obligationes: A logical game of inference recognition?	2006-12-20	Paper
Buridan'sConsequentia: Consequence and Inference Within a Token-Based Semantics	2006-01-10	Paper
Medieval \textit{obligationes} as logical games of consistency maintenance	2005-12-12	Paper
The Buridanian Account of Inferential Relations between Doubly Quantified Propositions: a Proof of Soundness	2005-01-06	Paper

Research outcomes over time

This page was built for person: Catarina Dutilh Novaes