Identification
Personal identification
- Full name
- Catarina Dutilh Novaes
Citation names
- Novaes, Catarina
Author identifiers
- Ciência ID
- 261A-60E0-0A80
- ORCID iD
- 0000-0002-7347-3795
Addresses
- Department of Philosophy – Vrije Universiteit Amsterdam De Boelelaan 1105, 1081 HV , Amsterdam, Amsterdam, Netherlands (Professional)
Websites
- https://www.cdutilhnovaes.com/ (Professional)
Knowledge fields
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
- Humanities - Philosophy, Ethics and Religion - Philosophy
Education
Degree | Classification | |
---|---|---|
2006/01
Concluded
|
Doctorate of Philosophy (Doctor of Philosophy)
Major in Philosophy
Universiteit Leiden, Netherlands
"Formalizations après la lettre – Studies in Medieval Logic and Semantics" (THESIS/DISSERTATION)
|
Cum Laude |
2003/04
Concluded
|
Master of Arts (Master)
Major in Philosophy
Universidade de São Paulo, Brazil
"William of Ockham’s Theory of Supposition – A Reconstruction" (THESIS/DISSERTATION)
|
Cum Laude |
2000/10
Concluded
|
Master of Science (Master)
Major in Logic
Universiteit van Amsterdam, Netherlands
"A Study of William of Ockham’s Logic – From Suppositio to Truth Conditions" (THESIS/DISSERTATION)
|
|
1998/12
Concluded
|
Bachelor of Arts (Bachelor)
Major in Philosophy
Universidade de São Paulo, Brazil
|
Cum laude |
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
2019/08 - Current | Researcher (Research) | University of St Andrews, United Kingdom |
2012/09 - Current | Invited Principal Investigator (Research) | Ludwig-Maximilians-Universitat Munchen, Germany |
2018/07 - 2018/08 | Visiting Researcher (Research) | Australian National University, Australia |
2016/09 - 2016/12 | Researcher (Research) | Netherlands Institute for Advanced Study in the Humanities and Social Sciences, Netherlands |
2007/01 - 2011/12 | Postdoc (Research) | Universiteit van Amsterdam, Netherlands |
2008 - 2008 | Researcher (Research) | University of St Andrews, United Kingdom |
2006 - 2007 | Visiting Researcher (Research) | City University of New York, United States |
The Graduate Center, United States | ||
2006 - 2006 | Visiting Researcher (Research) | Fordham University, United States |
2003/10 - 2003/11 | Visiting Researcher (Research) | New York University, United States |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2019/01 - Current | Full Professor (University Teacher) | Vrije Universiteit Amsterdam, Netherlands |
Vrije Universiteit Amsterdam, Netherlands | ||
2018/07 - 2018/12 | Associate Professor (University Teacher) | Vrije Universiteit Amsterdam, Netherlands |
2015/12 - 2018/07 | Full Professor (University Teacher) | Rijksuniversiteit Groningen, Netherlands |
2014/06 - 2015/11 | Associate Professor (University Teacher) | Rijksuniversiteit Groningen, Netherlands |
2011/07 - 2014/05 | Assistant Professor (University Teacher) | Rijksuniversiteit Groningen, Netherlands |
Others
Category Host institution |
Employer | |
---|---|---|
2001 - 2005 | Doctoral Candidate | Universiteit Leiden, Netherlands |
Projects
Grant
Designation | Funders | |
---|---|---|
2018 - 2023 | The Social Epistemology of Argumentation (EUR 1.700.000)
Principal investigator
Vrije Universiteit Amsterdam, Netherlands
|
European Research Council Horizon 2020 Ongoing
|
2011 - 2016 | The roots of deduction (EUR 800.000)
info:eu-repo/grantAgreement/NWO/2300162167/NL
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Concluded
|
2010 - 2010 | Grant from the Dutch Royal Academy of Sciences (EUR 2.500)
-
Other
|
Concluded
|
2009 - 2009 | Traveling grant (EUR 2.800)
-
Researcher
|
Concluded
|
2009 - 2009 | Grants from the Dutch Royal Academy of Sciences (EUR 2.000) and the Niels Stensen Foundation (EUR 3.500)
-
Other
|
Concluded
|
2008 - 2008 | Grant from the Scots Philosophical Club as a Scots Centennial Fellow (EUR 8.000)
-
Post-doc Fellow
|
Concluded
|
2006 - 2006 | Post-doctorate fellowship from the Niels Stensen Foundation (EUR 32.000)
-
Post-doc Fellow
Fordham University, United States
City University of New York, United States |
Niels Stensen Foundation
Concluded
|
2003/10 - 2003/11 | Grant from NWO (Netherlands Organization for Scientific Research) (EUR 3.000)
-
Researcher
|
Concluded
|
1997 - 1998 | One-year undergraduate research grant from FAPESP
-
Scientific Initiation Fellow
Fundação de Amparo à Pesquisa do Estado de São Paulo, Brazil
|
Concluded
|
1996 - 1997 | One-year undergraduate research grant
-
Scientific Initiation Fellow
Conselho Nacional de Desenvolvimento Científico e Tecnológico, Brazil
|
Concluded
|
Contract
Designation | Funders | |
---|---|---|
2007 - 2011 | Philosophical foundations of formal languages in logic: formal languages as language-games (EUR 208.000)
info:eu-repo/grantAgreement/NWO/2300136961/NL
Post-doc Fellow
Universiteit van Amsterdam, Netherlands
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Concluded
|
2001 - 2005 | PhD studentship
-
PhD Student Fellow
Universiteit Leiden, Netherlands
|
Concluded
|
Outputs
Publications
Book |
|
Book chapter |
|
Conference paper |
|
Edited book |
|
Journal article |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
2020/09 | TBC. Keynote lecture | 8th International Conference on Computational Models of Argument
(Perugia, Italy)
|
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, Austria)
|
2020/06 | The role of trust in argumentation | OSSA Conference
(Windsor, Canada)
|
2020/03 | The role of trust in argumentation | Workshop ‘The wisdom and madness of crowds: argumentation, information exchange and social interaction’
(Amsterdam, Netherlands)
|
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, Italy)
|
2020/01 | Comments on J. Clarke-Doane’s Morality and Mathematics | Eastern APA
(Philadelphia, United States)
|
2019/12 | A dialogical conception of explanation in mathematical proofs. | Workshop ‘Explanation and understanding within mathematics
(Brussels, Belgium)
|
2019/05 | Paradoxes and structural rules from a dialogical perspective | Brazilian Logic Meeting
(João Pessoa, Brazil)
|
2019/03 | The social epistemology of argumentation |
Department of Philosophy, TU Delft (Delft, Netherlands)
|
2019/01 | The social epistemology of argumentation. Invited lecture, Bayreuth (Germany) |
(Bayreuth, Germany)
|
2018/12 | The social epistemology of argumentation |
Arché, University of St. Andrews (UK) (St. Andrews, United Kingdom)
|
2018/12 | Carnapian explication and amelioration. |
Arché, University of St. Andrews (St. Andrews, United Kingdom)
|
2018/08 | The beauty (?) of mathematical proofs |
University of Sydney (Sydney, Australia)
|
2018/08 | The beauty (?) of mathematical proofs. Invited lecture, Wollongong University (Australia), August 2018. |
Wollongong University (Wollongong, Australia)
|
2018/08 | The social epistemology of argumentation |
Macquarie University (Sydney, Australia)
|
2018/08 | The social epistemology of argumentation |
ANU (Canberra, Australia)
|
2018/08 | The beauty (?) of mathematical proofs |
Monash University (Melbourne, Australia)
|
2018/08 | Metaphors for argumentation |
University of Melbourne (Melbourne, Australia)
|
2018/06 | Conceptual genealogy and longue durée history of philosophy. | Workshop ‘Historiography, methodology, metaphilosophy and the canon’
McMaster University (Hamilton, Canada)
|
2018/02 | A dialogical account of deductive reasoning | Annual meeting of research program ‘New Frameworks of Rationality'
(Etelsen, Germany)
|
2017/12 | Argumentation as social epistemic exchange in public discourse | Political Epistemology Workshop
(Copenhagen, Denmark)
|
2017/11 | Metaphors for argumentation | International conference ‘Arrogance and polarization in debate’
(Cardiff, United Kingdom)
|
2017/09 | Reasoning biases, non-monotonic logics, and belief revision | Conference ‘The emergence of relativism’
(Vienna, Austria)
|
2017/07 | The beauty (?) of mathematical proofs. | Workshop ‘Aesthetics in Science’
(Leeds, United Kingdom)
|
2017/07 | Towards a naturalized social epistemology of argumentation and reasoning | Conference ‘Communication, reasoning, and social epistemology’
(Berlin, Germany)
|
2017/06 | The social epistemology of scientific argumentation | Reasoning and argumentation in science
(Munich, Germany)
|
2017/05 | The beauty (?) of mathematical proofs | Conference of the Society for Exact Philosophy,
(Cagliari, Italy)
|
2016/11 | Metaphors for argumentation | Workshop of the Society for Women in Philosophy (SWIP)
(Basel, Germany)
|
2016/11 | Reasoning biases, non-monotonic logics, and belief revision | Workshop ‘The relevance of logic for human reasoning
(Munich, Germany)
|
2016/11 | Conceptual genealogy and conceptual engineering | Workshop ‘Foundations of conceptual engineering'
(Leeds, United Kingdom)
|
2016/10 | A dialogical, multi-agent account of the normativity of logic | The Bounds of Logic
(Moscow, Russia)
|
2016/09 | Argumentation as transfer of epistemic assets: between credulity and conservativeness | Workshop ‘Formal approaches in social epistemology’
(Bristol, United Kingdom)
|
2016/06 | Carnapian explication as an ameliorative project: logic and social change | Philosophical methods workshop
(Essen, Germany)
|
2016/04 | Axiomatizations of arithmetic, the first-order/second-order divide, and logical pluralism |
Department of Philosophy (Geneva, Switzerland)
|
2016/04 | Carnapian explication as an ameliorative project: logic and social change |
Philosophische Gesellschaft (Bern, Switzerland)
|
2015/12 | Mathematical proofs: between orality and writing | Enactivism workshop
(Rotterdam, Netherlands)
|
2015/11 | A dialogical, multi-agent account of the normativity of logic | Inferentialism Workshop
(St. Andrews, United Kingdom)
|
2015/11 | The phylogeny and ontogeny of deductive reasoning: a cultural story | The cognitive basis of logico-mathematical knowledge
(Bergen, Norway)
|
2015/10 | Carnapian explication as an ameliorative project: logic and social change | Department Day, Tilburg University
(Tilburg, Netherlands)
|
2015/05 | Virtuous adversariality as a model for philosophical inquiry | Workshop on Virtuous Adversariality
(Durham, United Kingdom)
|
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, Canada)
|
2015/04 | Reductio proofs from a dialogical perspective |
McGill University (Montréal, Canada)
|
2015/04 | Reasoning biases and non-monotonic logics: the case of preferential logics | 'Modeling Minds' Workshop
(Nijmegen, Netherlands)
|
2015/03 | Mathematical proofs: between orality and writing | Conference ‘Representation and axiomatization: power and limits
(Paris, France)
|
2015/01 | A dialogical analysis of structural rules |
MCMP (Munich, Germany)
|
2014/12 | Logical pluralism from a dialogical perspective | Workshop on logical pluralism
University of Neuchatel (Neuchatel, Switzerland)
|
2014/12 | Beauty, explanation, and persuasion in mathematical proofs | Conference ‘Aesthetics in mathematics’
University of East Anglia (Norwich, United Kingdom)
|
2014/10 | Reductio proofs from a dialogical perspective |
IHPST (Paris, France)
|
2014/05 | Virtuous adversariality as a model for philosophical inquiry | Workshop of the Edinburgh Women in Philosophy Group
(Edinburgh, United Kingdom)
|
2014/05 | Form and matter in Buridan’s Quaestiones on the Prior Analytics | Medieval Logic and Metaphysics Workshop
(St. Andrews, United Kingdom)
|
2014/04 | Reductio proofs from a dialogical perspective | Deductive mathematical reasoning and philosophy
(Bristol, United Kingdom)
|
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, United States)
|
2014/03 | A dialogical analysis of structural rules | DIP Colloquium
ILLC (Amsterdam, Netherlands)
|
2014/01 | Reductio proofs from a dialogical perspective |
MCMP (Munich, Germany)
|
2013/09 | The phylogeny and ontogeny of deductive reasoning as cultural phenomena | SoPHia (Salzburg Graduate Conference)
(Salzburg, Austria)
|
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, Brazil)
|
2013/07 | Carnapian explication and formal languages as cognitive artifacts: two conceptions of formalization | Conference ‘Carnap’s Logic’
Munich Center for Mathematical Philosophy (Munich, Germany)
|
2013/06 | Mathematical reasoning and external symbolic systems | Conference ‘The reach of REC’
(Antwerp, Belgium)
|
2013/06 | Indirect proof in the Prior Analytics from a dialogical perspective | PhilMath Intersem colloquium
(Paris, France)
|
2013/05 | Being a woman in (mathematical) philosophy |
Munich Center for Mathematical Philosophy (Munich, Germany)
|
2013/04 | The phylogeny and ontogeny of deductive reasoning as cultural phenomena | Conference on Games, Interactive Rationality, and Learning (GIRL)
(Lund, Sweden)
|
2013/01 | Reasoning biases and non-monotonic logics |
Munich Center for Mathematical Philosophy (Munich, Germany)
|
2012/11 | Ockham and Buridan on the semantics of divided modal sentences | Medieval Modal Logic Workshop
(St. Andrews, United Kingdom)
|
2012/10 | Proofs as dialogues and logical consequence | Philosophy and History of Science Seminar
(Bristol, United Kingdom)
|
2012/09 | The formal, the formalized, and the history of logic | Formal Methods in Argument Reconstruction Workshop
(Konstanz, Germany)
|
2012/09 | The case against logical form: the psychological evidence | International Conference on Logical Form
(Cambridge, United Kingdom)
|
2012/06 | Formal languages and formalisms as cognitive artifacts: the debiasing effect | Cognitive Science Colloquium
(Osnabrück, Germany)
|
2012/05 | A dialogical, multi-agent account of the normativity of logic | Formal Epistemology Workshop
(Munich, Germany)
|
2012/04 | The ‘built-in opponent’ conception of logic, and proof-theoretical vs. model-theoretical accounts of logical consequence |
University of Konstanz (Konstanz, Germany)
|
2011/07 | An extended cognition perspective on uses of formalisms | ‘Epistemology, Embodied Cognition and Expertise’ Workshop
University of Hertfordshire (Hatfield, United Kingdom)
|
2011/06 | Cognitive motivations for treating formalisms as calculi |
Munich Center for Mathematical Philosophy (Munich, Germany)
|
2011/06 | The ‘fitting problem’ for logical semantic systems |
Munich Center for Mathematical Philosophy (Munich, Germany)
|
2011/05 | Ockham on supposition, mental language, and angelic communication | Colloquium on medieval philosophy
(Rio de Janeiro, Brazil)
|
2011/04 | The myth of the pre-theoretical notion of logical consequence |
Arché (St. Andrews, United Kingdom)
|
2010/07 | Hintikka’s ‘scandal of deduction’ and a response from the psychology of reasoning | Philosophy Colloquium
(Paderborn, Germany)
|
2010/06 | Towards a practice-based philosophy of logic | conference “From practice to results in logic and mathematics”
(Nancy, France)
|
2010/04 | Ockham’s supposition theory as formal semantics | Nijmegen Semantics Colloquium
(Nijmegen, Netherlands)
|
2010/03 | Context and consequence: medieval and modern perspectives | Foundations of Logical Consequence Workshop III: Propositions, Context and Consequence
(St. Andrews, United Kingdom)
|
2010/01 | Hintikka’s ‘scandal of deduction’ and a response from the psychology of reasoning | Grolog colloquium
Faculty of Philosophy, Groningen (Groningen, Netherlands)
|
2009/10 | Inference, assertion, denial: do deeds matter for logic? |
Arché (St. Andrews, United Kingdom)
|
2009/08 | What does it mean to say that something is formal? | CLE
(Campinas, Brazil)
|
2009/01 | Formal methods as a counterbalance to intuitions in philosophy |
Philosophy Department, Leuven (Leuven, Belgium)
|
2008/12 | Formal methods as a counterbalance to intuitions in philosophy |
Arché (St. Andrews, United Kingdom)
|
2008/11 | What does it mean to say that something is formal? |
Arché (St. Andrews, United Kingdom)
|
2008/10 | What does it mean to say that something is formal? |
Philosophy Department, Free University, Amsterdam (Amsterdam, Netherlands)
|
2008/07 | Form and matter in later medieval logic: beyond (but with) Aristotle | Workshop “Aristotelian Logic: East and West – Aristotle Supplemented”, CRASSH
(Cambridge, United Kingdom)
|
2008/03 | Epistemic clauses in obligational rules: normative or descriptive? |
Department of Logic and Metaphysics (St. Andrews, United Kingdom)
|
2008/02 | Epistemic clauses in obligational rules: normative or descriptive? | Moody Workshop on Medieval Logic
UCLA (Los Angeles, United States)
|
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, Germany)
|
2006/09 | Tensions in Ockham's theory of mental language: Equivocation | Colloquium ‘What is cognitive science?’
Rutgers Center for Cognitive Science (New Brunswick, NJ, United States)
|
2004/04 | Buridan’s notion of consequence |
Department of Logic and Metaphysics, St. Andrews University (St. Andrews, United Kingdom)
|
2004/03 | Medieval supposition theories as theories of sentential meaning |
Faculty of Philosophy, Groningen (Groningen, Netherlands)
|
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
2019 - Current | Member of the VICI committee for NWO
Member
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Netherlands |
2014 - 2021 | Member of the steering committee of the European Society for Analytic Philosophy (ESAP), 2014-2021.
Member
|
|
2013 - 2014 | Member of the VIDI committee for NWO (2013 and 2014).
Member
|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Netherlands |
Journal scientific committee
Journal title (ISSN) | Publisher | |
---|---|---|
2017/01 - Current | 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 |