Curriculum Vitae
Catarina Dutilh Novaes
Identificação
Identificação pessoal
- Nome completo
- Catarina Dutilh Novaes
Nomes de citação
- Novaes, Catarina
Identificadores de autor
- Ciência ID
- 261A-60E0-0A80
- ORCID iD
- 0000-0002-7347-3795
Moradas
- Department of Philosophy – Vrije Universiteit Amsterdam De Boelelaan 1105, 1081 HV , Amsterdam, Amsterdam, Países Baixos (Profissional)
Websites
- https://www.cdutilhnovaes.com/ (Profissional)
Domínios de atuação
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Humanidades - Filosofia, Ética e Religião - Filosofia
Formação
| Grau | Classificação | |
|---|---|---|
|
2006/01
Concluído
|
Doctorate of Philosophy (Doctor of Philosophy)
Especialização em Philosophy
Universiteit Leiden, Países Baixos
"Formalizations après la lettre – Studies in Medieval Logic and Semantics" (TESE/DISSERTAÇÃO)
|
Cum Laude |
|
2003/04
Concluído
|
Master of Arts (Master)
Especialização em Philosophy
Universidade de São Paulo, Brasil
"William of Ockham’s Theory of Supposition – A Reconstruction" (TESE/DISSERTAÇÃO)
|
Cum Laude |
|
2000/10
Concluído
|
Master of Science (Master)
Especialização em Logic
Universiteit van Amsterdam, Países Baixos
"A Study of William of Ockham’s Logic – From Suppositio to Truth Conditions" (TESE/DISSERTAÇÃO)
|
|
|
1998/12
Concluído
|
Bachelor of Arts (Bachelor)
Especialização em Philosophy
Universidade de São Paulo, Brasil
|
Cum laude |
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2019/08 - Atual | Investigador (Investigação) | University of St Andrews, Reino Unido |
| 2012/09 - Atual | Investigador principal convidado (carreira) (Investigação) | Ludwig-Maximilians-Universitat Munchen, Alemanha |
| 2018/07 - 2018/08 | Investigador visitante (Investigação) | Australian National University, Austrália |
| 2016/09 - 2016/12 | Investigador (Investigação) | Netherlands Institute for Advanced Study in the Humanities and Social Sciences, Países Baixos |
| 2007/01 - 2011/12 | Pós-doutorado (Investigação) | Universiteit van Amsterdam, Países Baixos |
| 2008 - 2008 | Investigador (Investigação) | University of St Andrews, Reino Unido |
| 2006 - 2007 | Investigador visitante (Investigação) | City University of New York, Estados Unidos |
| The Graduate Center, Estados Unidos | ||
| 2006 - 2006 | Investigador visitante (Investigação) | Fordham University, Estados Unidos |
| 2003/10 - 2003/11 | Investigador visitante (Investigação) | New York University, Estados Unidos |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2019/01 - Atual | Professor Catedrático (Docente Universitário) | Vrije Universiteit Amsterdam, Países Baixos |
| Vrije Universiteit Amsterdam, Países Baixos | ||
| 2018/07 - 2018/12 | Professor Associado (Docente Universitário) | Vrije Universiteit Amsterdam, Países Baixos |
| 2015/12 - 2018/07 | Professor Catedrático (Docente Universitário) | Rijksuniversiteit Groningen, Países Baixos |
| 2014/06 - 2015/11 | Professor Associado (Docente Universitário) | Rijksuniversiteit Groningen, Países Baixos |
| 2011/07 - 2014/05 | Professor Auxiliar (Docente Universitário) | Rijksuniversiteit Groningen, Países Baixos |
Outros
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2001 - 2005 | Doctoral Candidate | Universiteit Leiden, Países Baixos |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2018 - 2023 | The Social Epistemology of Argumentation (EUR 1.700.000)
Investigador responsável
Vrije Universiteit Amsterdam, Países Baixos
|
European Research Council Horizon 2020 Em curso
|
| 2011 - 2016 | The roots of deduction (EUR 800.000)
info:eu-repo/grantAgreement/NWO/2300162167/NL
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Concluído
|
| 2010 - 2010 | Grant from the Dutch Royal Academy of Sciences (EUR 2.500)
-
Outra
|
Concluído
|
| 2009 - 2009 | Traveling grant (EUR 2.800)
-
Investigador
|
Concluído
|
| 2009 - 2009 | Grants from the Dutch Royal Academy of Sciences (EUR 2.000) and the Niels Stensen Foundation (EUR 3.500)
-
Outra
|
Concluído
|
| 2008 - 2008 | Grant from the Scots Philosophical Club as a Scots Centennial Fellow (EUR 8.000)
-
Bolseiro de Pós-Doutoramento
|
Concluído
|
| 2006 - 2006 | Post-doctorate fellowship from the Niels Stensen Foundation (EUR 32.000)
-
Bolseiro de Pós-Doutoramento
Fordham University, Estados Unidos
City University of New York, Estados Unidos |
Niels Stensen Foundation
Concluído
|
| 2003/10 - 2003/11 | Grant from NWO (Netherlands Organization for Scientific Research) (EUR 3.000)
-
Investigador
|
Concluído
|
| 1997 - 1998 | One-year undergraduate research grant from FAPESP
-
Bolseiro de Iniciação Científica
Fundação de Amparo à Pesquisa do Estado de São Paulo, Brasil
|
Concluído
|
| 1996 - 1997 | One-year undergraduate research grant
-
Bolseiro de Iniciação Científica
Conselho Nacional de Desenvolvimento Científico e Tecnológico, Brasil
|
Concluído
|
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2007 - 2011 | Philosophical foundations of formal languages in logic: formal languages as language-games (EUR 208.000)
info:eu-repo/grantAgreement/NWO/2300136961/NL
Bolseiro de Pós-Doutoramento
Universiteit van Amsterdam, Países Baixos
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Concluído
|
| 2001 - 2005 | PhD studentship
-
Bolseiro de Doutoramento
Universiteit Leiden, Países Baixos
|
Concluído
|
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Capítulo de livro |
|
| Edição de livro |
|
| Livro |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2020/09 | TBC. Keynote lecture | 8th International Conference on Computational Models of Argument
(Perugia, Itália)
|
| 2020/08 | TBC. Keynote lecture. | WOLLIC
(Lima, Peru)
|
| 2020/07 | TBC. Keynote lecture. | Conference of the Society for the Study of the History of Analytic Philosophy
(Vienna, Áustria)
|
| 2020/06 | The role of trust in argumentation | OSSA Conference
(Windsor, Canadá)
|
| 2020/03 | The role of trust in argumentation | Workshop ‘The wisdom and madness of crowds: argumentation, information exchange and social interaction’
(Amsterdam, Países Baixos)
|
| 2020/03 | The role of trust in argumentation | ArgLab Colloquium
(Lisbon, Portugal)
|
| 2020/02 | Cooperation and adversariality in Socratic Dialectic | Pragmatic Argumentation in the History of Philosophy
(Rome, Itália)
|
| 2020/01 | Comments on J. Clarke-Doane’s Morality and Mathematics | Eastern APA
(Philadelphia, Estados Unidos)
|
| 2019/12 | A dialogical conception of explanation in mathematical proofs. | Workshop ‘Explanation and understanding within mathematics
(Brussels, Bélgica)
|
| 2019/05 | Paradoxes and structural rules from a dialogical perspective | Brazilian Logic Meeting
(João Pessoa, Brasil)
|
| 2019/03 | The social epistemology of argumentation |
Department of Philosophy, TU Delft (Delft, Países Baixos)
|
| 2019/01 | The social epistemology of argumentation. Invited lecture, Bayreuth (Germany) |
(Bayreuth, Alemanha)
|
| 2018/12 | The social epistemology of argumentation |
Arché, University of St. Andrews (UK) (St. Andrews, Reino Unido)
|
| 2018/12 | Carnapian explication and amelioration. |
Arché, University of St. Andrews (St. Andrews, Reino Unido)
|
| 2018/08 | The beauty (?) of mathematical proofs |
University of Sydney (Sydney, Austrália)
|
| 2018/08 | The beauty (?) of mathematical proofs. Invited lecture, Wollongong University (Australia), August 2018. |
Wollongong University (Wollongong, Austrália)
|
| 2018/08 | The social epistemology of argumentation |
Macquarie University (Sydney, Austrália)
|
| 2018/08 | The social epistemology of argumentation |
ANU (Canberra, Austrália)
|
| 2018/08 | The beauty (?) of mathematical proofs |
Monash University (Melbourne, Austrália)
|
| 2018/08 | Metaphors for argumentation |
University of Melbourne (Melbourne, Austrália)
|
| 2018/06 | Conceptual genealogy and longue durée history of philosophy. | Workshop ‘Historiography, methodology, metaphilosophy and the canon’
McMaster University (Hamilton, Canadá)
|
| 2018/02 | A dialogical account of deductive reasoning | Annual meeting of research program ‘New Frameworks of Rationality'
(Etelsen, Alemanha)
|
| 2017/12 | Argumentation as social epistemic exchange in public discourse | Political Epistemology Workshop
(Copenhagen, Dinamarca)
|
| 2017/11 | Metaphors for argumentation | International conference ‘Arrogance and polarization in debate’
(Cardiff, Reino Unido)
|
| 2017/09 | Reasoning biases, non-monotonic logics, and belief revision | Conference ‘The emergence of relativism’
(Vienna, Áustria)
|
| 2017/07 | The beauty (?) of mathematical proofs. | Workshop ‘Aesthetics in Science’
(Leeds, Reino Unido)
|
| 2017/07 | Towards a naturalized social epistemology of argumentation and reasoning | Conference ‘Communication, reasoning, and social epistemology’
(Berlin, Alemanha)
|
| 2017/06 | The social epistemology of scientific argumentation | Reasoning and argumentation in science
(Munich, Alemanha)
|
| 2017/05 | The beauty (?) of mathematical proofs | Conference of the Society for Exact Philosophy,
(Cagliari, Itália)
|
| 2016/11 | Metaphors for argumentation | Workshop of the Society for Women in Philosophy (SWIP)
(Basel, Alemanha)
|
| 2016/11 | Reasoning biases, non-monotonic logics, and belief revision | Workshop ‘The relevance of logic for human reasoning
(Munich, Alemanha)
|
| 2016/11 | Conceptual genealogy and conceptual engineering | Workshop ‘Foundations of conceptual engineering'
(Leeds, Reino Unido)
|
| 2016/10 | A dialogical, multi-agent account of the normativity of logic | The Bounds of Logic
(Moscow, Rússia)
|
| 2016/09 | Argumentation as transfer of epistemic assets: between credulity and conservativeness | Workshop ‘Formal approaches in social epistemology’
(Bristol, Reino Unido)
|
| 2016/06 | Carnapian explication as an ameliorative project: logic and social change | Philosophical methods workshop
(Essen, Alemanha)
|
| 2016/04 | Axiomatizations of arithmetic, the first-order/second-order divide, and logical pluralism |
Department of Philosophy (Geneva, Suiça)
|
| 2016/04 | Carnapian explication as an ameliorative project: logic and social change |
Philosophische Gesellschaft (Bern, Suiça)
|
| 2015/12 | Mathematical proofs: between orality and writing | Enactivism workshop
(Rotterdam, Países Baixos)
|
| 2015/11 | A dialogical, multi-agent account of the normativity of logic | Inferentialism Workshop
(St. Andrews, Reino Unido)
|
| 2015/11 | The phylogeny and ontogeny of deductive reasoning: a cultural story | The cognitive basis of logico-mathematical knowledge
(Bergen, Noruega)
|
| 2015/10 | Carnapian explication as an ameliorative project: logic and social change | Department Day, Tilburg University
(Tilburg, Países Baixos)
|
| 2015/05 | Virtuous adversariality as a model for philosophical inquiry | Workshop on Virtuous Adversariality
(Durham, Reino Unido)
|
| 2015/05 | The definition of the syllogism according to Aristotle, Ockham, and Buridan | Workshop on Ockham and nominalism
Université du Québec à Montréal (Montréal, Canadá)
|
| 2015/04 | Reductio proofs from a dialogical perspective |
McGill University (Montréal, Canadá)
|
| 2015/04 | Reasoning biases and non-monotonic logics: the case of preferential logics | 'Modeling Minds' Workshop
(Nijmegen, Países Baixos)
|
| 2015/03 | Mathematical proofs: between orality and writing | Conference ‘Representation and axiomatization: power and limits
(Paris, França)
|
| 2015/01 | A dialogical analysis of structural rules |
MCMP (Munich, Alemanha)
|
| 2014/12 | Logical pluralism from a dialogical perspective | Workshop on logical pluralism
University of Neuchatel (Neuchatel, Suiça)
|
| 2014/12 | Beauty, explanation, and persuasion in mathematical proofs | Conference ‘Aesthetics in mathematics’
University of East Anglia (Norwich, Reino Unido)
|
| 2014/10 | Reductio proofs from a dialogical perspective |
IHPST (Paris, França)
|
| 2014/05 | Virtuous adversariality as a model for philosophical inquiry | Workshop of the Edinburgh Women in Philosophy Group
(Edinburgh, Reino Unido)
|
| 2014/05 | Form and matter in Buridan’s Quaestiones on the Prior Analytics | Medieval Logic and Metaphysics Workshop
(St. Andrews, Reino Unido)
|
| 2014/04 | Reductio proofs from a dialogical perspective | Deductive mathematical reasoning and philosophy
(Bristol, Reino Unido)
|
| 2014/04 | The dialectical origins of the principle of non-contradiction | Invited symposium on the history and philosophy of the principle of non-contradiction, Pacific APA 2014
(San Diego, Estados Unidos)
|
| 2014/03 | A dialogical analysis of structural rules | DIP Colloquium
ILLC (Amsterdam, Países Baixos)
|
| 2014/01 | Reductio proofs from a dialogical perspective |
MCMP (Munich, Alemanha)
|
| 2013/09 | The phylogeny and ontogeny of deductive reasoning as cultural phenomena | SoPHia (Salzburg Graduate Conference)
(Salzburg, Áustria)
|
| 2013/08 | Proofs as dialogues and logical consequence |
SADAF (Buenos Aires, Argentina)
|
| 2013/08 | Reasoning biases and non-monotonic logics |
Computer Science department, University of São Paulo (São Paulo, Brasil)
|
| 2013/07 | Carnapian explication and formal languages as cognitive artifacts: two conceptions of formalization | Conference ‘Carnap’s Logic’
Munich Center for Mathematical Philosophy (Munich, Alemanha)
|
| 2013/06 | Mathematical reasoning and external symbolic systems | Conference ‘The reach of REC’
(Antwerp, Bélgica)
|
| 2013/06 | Indirect proof in the Prior Analytics from a dialogical perspective | PhilMath Intersem colloquium
(Paris, França)
|
| 2013/05 | Being a woman in (mathematical) philosophy |
Munich Center for Mathematical Philosophy (Munich, Alemanha)
|
| 2013/04 | The phylogeny and ontogeny of deductive reasoning as cultural phenomena | Conference on Games, Interactive Rationality, and Learning (GIRL)
(Lund, Suécia)
|
| 2013/01 | Reasoning biases and non-monotonic logics |
Munich Center for Mathematical Philosophy (Munich, Alemanha)
|
| 2012/11 | Ockham and Buridan on the semantics of divided modal sentences | Medieval Modal Logic Workshop
(St. Andrews, Reino Unido)
|
| 2012/10 | Proofs as dialogues and logical consequence | Philosophy and History of Science Seminar
(Bristol, Reino Unido)
|
| 2012/09 | The formal, the formalized, and the history of logic | Formal Methods in Argument Reconstruction Workshop
(Konstanz, Alemanha)
|
| 2012/09 | The case against logical form: the psychological evidence | International Conference on Logical Form
(Cambridge, Reino Unido)
|
| 2012/06 | Formal languages and formalisms as cognitive artifacts: the debiasing effect | Cognitive Science Colloquium
(Osnabrück, Alemanha)
|
| 2012/05 | A dialogical, multi-agent account of the normativity of logic | Formal Epistemology Workshop
(Munich, Alemanha)
|
| 2012/04 | The ‘built-in opponent’ conception of logic, and proof-theoretical vs. model-theoretical accounts of logical consequence |
University of Konstanz (Konstanz, Alemanha)
|
| 2011/07 | An extended cognition perspective on uses of formalisms | ‘Epistemology, Embodied Cognition and Expertise’ Workshop
University of Hertfordshire (Hatfield, Reino Unido)
|
| 2011/06 | Cognitive motivations for treating formalisms as calculi |
Munich Center for Mathematical Philosophy (Munich, Alemanha)
|
| 2011/06 | The ‘fitting problem’ for logical semantic systems |
Munich Center for Mathematical Philosophy (Munich, Alemanha)
|
| 2011/05 | Ockham on supposition, mental language, and angelic communication | Colloquium on medieval philosophy
(Rio de Janeiro, Brasil)
|
| 2011/04 | The myth of the pre-theoretical notion of logical consequence |
Arché (St. Andrews, Reino Unido)
|
| 2010/07 | Hintikka’s ‘scandal of deduction’ and a response from the psychology of reasoning | Philosophy Colloquium
(Paderborn, Alemanha)
|
| 2010/06 | Towards a practice-based philosophy of logic | conference “From practice to results in logic and mathematics”
(Nancy, França)
|
| 2010/04 | Ockham’s supposition theory as formal semantics | Nijmegen Semantics Colloquium
(Nijmegen, Países Baixos)
|
| 2010/03 | Context and consequence: medieval and modern perspectives | Foundations of Logical Consequence Workshop III: Propositions, Context and Consequence
(St. Andrews, Reino Unido)
|
| 2010/01 | Hintikka’s ‘scandal of deduction’ and a response from the psychology of reasoning | Grolog colloquium
Faculty of Philosophy, Groningen (Groningen, Países Baixos)
|
| 2009/10 | Inference, assertion, denial: do deeds matter for logic? |
Arché (St. Andrews, Reino Unido)
|
| 2009/08 | What does it mean to say that something is formal? | CLE
(Campinas, Brasil)
|
| 2009/01 | Formal methods as a counterbalance to intuitions in philosophy |
Philosophy Department, Leuven (Leuven, Bélgica)
|
| 2008/12 | Formal methods as a counterbalance to intuitions in philosophy |
Arché (St. Andrews, Reino Unido)
|
| 2008/11 | What does it mean to say that something is formal? |
Arché (St. Andrews, Reino Unido)
|
| 2008/10 | What does it mean to say that something is formal? |
Philosophy Department, Free University, Amsterdam (Amsterdam, Países Baixos)
|
| 2008/07 | Form and matter in later medieval logic: beyond (but with) Aristotle | Workshop “Aristotelian Logic: East and West – Aristotle Supplemented”, CRASSH
(Cambridge, Reino Unido)
|
| 2008/03 | Epistemic clauses in obligational rules: normative or descriptive? |
Department of Logic and Metaphysics (St. Andrews, Reino Unido)
|
| 2008/02 | Epistemic clauses in obligational rules: normative or descriptive? | Moody Workshop on Medieval Logic
UCLA (Los Angeles, Estados Unidos)
|
| 2007/06 | Ockham’s supposition theory as a forerunner of formal semantics | 1st GPMR Workshop on Logic & Semantics: Medieval Logic and Modern Applied Logic
(Bonn, Alemanha)
|
| 2006/09 | Tensions in Ockham's theory of mental language: Equivocation | Colloquium ‘What is cognitive science?’
Rutgers Center for Cognitive Science (New Brunswick, NJ, Estados Unidos)
|
| 2004/04 | Buridan’s notion of consequence |
Department of Logic and Metaphysics, St. Andrews University (St. Andrews, Reino Unido)
|
| 2004/03 | Medieval supposition theories as theories of sentential meaning |
Faculty of Philosophy, Groningen (Groningen, Países Baixos)
|
Arbitragem científica em revista
| Nome da revista (ISSN) | Editora | |
|---|---|---|
| 2017/01 - Atual | Synthese (1573-0964) | Springer-Verlag |
| 2016/02 - 2016/12 | Thought (2161-2234) | Wiley |
| 2013 - 2015 | Ergo an Open Access Journal of Philosophy (2330-4014) | University of Michigan Library |
| 2012 - 2015 | The Review of Symbolic Logic (1755-0211) | Cambridge University Press |
Membro de comissão
| Descrição da atividade Tipo de participação |
Instituição / Organização | |
|---|---|---|
| 2019 - Atual | Member of the VICI committee for NWO
Membro
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Países Baixos |
| 2014 - 2021 | Member of the steering committee of the European Society for Analytic Philosophy (ESAP), 2014-2021.
Membro
|
|
| 2013 - 2014 | Member of the VIDI committee for NWO (2013 and 2014).
Membro
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Países Baixos |