Catarina Dutilh Novaes

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Obligationes	2025-10-22	Paper
The Dialogical Roots of Deduction	2023-03-06	Paper
scientific article; zbMATH DE number 7593554 (Why is no real title available?)	2022-09-27	Paper
Axiomatizations of arithmetic and the first-order/second-order divide Synthese	2021-11-29	Paper
The dialogical roots of deduction. Historical, cognitive, and philosophical perspectives on reasoning	2020-11-16	Paper
scientific article; zbMATH DE number 7272552 (Why is no real title available?)	2020-11-10	Paper
Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization Synthese	2018-03-27	Paper
Reassessing logical hylomorphism and the demarcation of logical constants Synthese	2013-10-30	Paper
Mathematical reasoning and external symbolic systems	2013-06-12	Paper
The different ways in which logic is (said to be) formal History and Philosophy of Logic	2013-04-18	Paper
Towards a practice-based philosophy of logic: formal languages as a case study Philosophia Scientae	2013-02-28	Paper
scientific article; zbMATH DE number 6130975 (Why is no real title available?)	2013-01-27	Paper
Formal languages in logic. A philosophical and cognitive analysis	2012-12-14	Paper
Surprises in logic	2012-11-16	Paper
Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic Journal of Philosophical Logic	2012-06-13	Paper
scientific article; zbMATH DE number 5997441 (Why is no real title available?)	2012-01-13	Paper
Judgements, contents and their representations	2011-11-22	Paper
A Comparative Taxonomy of Medieval and Modern Approaches to Liar Sentences History and Philosophy of Logic	2008-10-14	Paper
Formalizing medieval logical theories. Suppositio, consequentiae and obligationes Logic, Epistemology, and the Unity of Science	2007-12-10	Paper
Roger Swyneshed's obligationes: A logical game of inference recognition? Synthese	2006-12-20	Paper
Buridan'sConsequentia: Consequence and Inference Within a Token-Based Semantics History and Philosophy of Logic	2006-01-10	Paper
Medieval \textit{obligationes} as logical games of consistency maintenance Synthese	2005-12-12	Paper
The Buridanian Account of Inferential Relations between Doubly Quantified Propositions: a Proof of Soundness History and Philosophy of Logic	2005-01-06	Paper

Research outcomes over time

This page was built for person: Catarina Dutilh Novaes