Curriculum Vitae
Mattia Petrolo
Identificação
Identificação pessoal
- Nome completo
- Mattia Petrolo
Nomes de citação
- Petrolo, Mattia
Identificadores de autor
- Ciência ID
- D719-C410-04DF
Domínios de atuação
- Humanidades - Filosofia, Ética e Religião - Filosofia
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Italiano (Idioma materno) | |||||
| Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C1) |
| Francês | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C1) |
| Português | Utilizador independente (B2) | Utilizador proficiente (C1) | Utilizador independente (B1) | Utilizador independente (B1) | Utilizador independente (B2) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2008 - 2013
Concluído
|
Epistemology, History of Science and Techniques (Doctor)
Université de Paris - Campus des Grands Moulins, França
"The Metamorphosis of Constructivity in Logic: An epistemological study of the constuctivization of classical logic" (TESE/DISSERTAÇÃO)
|
Très honorable |
|
2004 - 2006
Concluído
|
Theories and Techniques of Knowledge (Master)
Università degli Studi di Roma La Sapienza, Itália
|
110/110 cum laude |
|
2001 - 2004
Concluído
|
Theories and Techniques of Knowledge (Bachelor)
Università degli Studi di Roma La Sapienza, Itália
|
110/110 cum laude |
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2019 - Atual | Investigador (Investigação) | Institut d'Histoire et de Philosophie des Sciences et des Techniques, França |
| Institut d'Histoire et de Philosophie des Sciences et des Techniques, França | ||
| 2015 - 2018 | Pós-doutorado (Investigação) | Centre National de la Recherche Scientifique, França |
| Institut d'Histoire et de Philosophie des Sciences et des Techniques, França | ||
| 2013 - 2015 | Pós-doutorado (Investigação) | Centre National de la Recherche Scientifique, França |
| Institut d'Histoire et de Philosophie des Sciences et des Techniques, França |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2018 - Atual | Professor Auxiliar (Docente Universitário) | Universidade Federal do ABC Centro de Ciências Naturais e Humanas, Brasil |
| 2013 - 2016 | Leitor (Docente Universitário) | Université Paris 1 Panthéon-Sorbonne, França |
| 2011 - 2013 | Leitor (Docente Universitário) | Université de Paris - Campus des Grands Moulins, França |
| Université de Paris - Campus des Grands Moulins, França |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2021 - 2024 | The Geometry of Algorithms
Investigador
Institut d'Histoire et de Philosophie des Sciences et des Techniques, França
|
Em curso
|
| 2018/03/01 - 2021/12/31 | Arbitrariness and genericity. Or on how to speak of the unspeakable
2018/25501-06
Investigador
Universidade Estadual de Campinas, Brasil
|
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
|
| 2018 - 2020 | A case study for non-normal modal logic
433781/2018-1
Investigador
Universidade Estadual de Campinas, Brasil
The University of British Columbia, Canadá |
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Concluído
|
| 2015 - 2018 | BEYOND LOGIC : HYPOTHETICAL REASONING IN PHILOSOPHY OF SCIENCE, INFORMATICS, AND LAW
info:eu-repo/grantAgreement/ANR/ANR-14-FRAL-0002/FR
Investigador
Université Paris 1 Panthéon-Sorbonne, França
Eberhard Karls Universität Tübingen, Alemanha |
Agence nationale de la recherche Deutsche Forschungsgemeinschaft Concluído
|
| 2014 - 2017 | Preuves, Démonstrations et Représentations
Sh813-14
Investigador
Pontifícia Universidade Católica do Rio de Janeiro, Brasil
Université Paris 1 Panthéon-Sorbonne, França |
Campus France
Concluído
|
Outro
| Designação | Financiadores | |
|---|---|---|
| 2014/10 - 2014/10 | Research visit at the Department of Philosophy, Pontifícia Universidade Católica do Rio de Janeiro
Not applicable
Visiting researcher at the Department of Philosophy, Pontifícia Universidade Católica do Rio de Janeiro
Pontifícia Universidade Católica do Rio de Janeiro, Brasil
|
Concluído
|
| 2012/04 - 2012/04 | Research visit at the Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
Not applicable
Visiting researcher at the Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
Eberhard Karls Universität Tübingen, Alemanha
|
Concluído
|
| 2011/11 - 2011/11 | Research visit at the University of Notre Dame
Not applicable
Visiting researcher at the University of Notre Dame
University of Notre Dame, Estados Unidos
|
Concluído
|
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Capítulo de livro |
|
| Revisão de livro |
|
| Tese / Dissertação |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2022/01/21 | Ignorance as an excuse, formally |
École Normale Supérieure (Paris, França)
|
| 2021/12/01 | Epistemic logics for ignorance representation | 12th International Scientific Conference “Intelligent Systems and Computer Science"
Moscow State University M. V. Lomonossov (Moscow, Rússia)
|
| 2020/11/12 | A constructivist reading of the Epsilon calculus | 12th French Workshop in Philosophy of Mathematics
(Nancy, França)
|
| 2020/01/23 | The dark side of knowledge | Seminar of the Munich Center for Mathematical Philosophy (MCMP)
Ludwig Maximilian University (Munich, Alemanha)
|
| 2020/01/20 | Towards a logic for arbitrary mathematical objects | PhilMath Seminar
Institute for the History and Philosophy of Science and Technology (Paris, França)
|
| 2019/08/21 | The dark side of knowledge | 11th Principia International Symposium
(Florianópolis, Brasil)
|
| 2019/03/29 | Proof-theoretic semantics and paradoxical languages | Third Tu¨bingen Conference on Proof-Theoretic Semantics
Universität Tu¨bingen (Tu¨bingen, Alemanha)
|
| 2019/03/02 | Revising the Elenchos via belief revision | Infinite Regress Arguments and Non-Contradiction in Plato and Aristotle
University of Nottingham (Nottingham, Reino Unido)
|
| 2018/04/25 | A proof-theoretic analysis of paradoxes | Logic Seminar
Universidade Estadual de Campinas (Campinas, Brasil)
|
| 2017/05/25 | Normality beyond logic | Conference Beyond Logic
Institute for the History and Philosophy of Science and Technology (Cerisy-la-Salle, França)
|
| 2016/06/22 | A normal paradox | LOGICA 2016
(Hejnice monastery)
|
| 2015/11/12 | The naturality of natural deduction | Computing, Logic, and Types
Université Jean Moulin Lyon 3 (Lyon, França)
|
| 2015/09/26 | Harmonizing involutive and constructive negations | Non-Classical Logic. Theory and Applications 7th edition
(Torun, Polónia)
|
| 2015/08/05 | Untyped validity: from interaction to rules | 15th Congress on Logic, Methodology, and Philosophy of Science
University of Helsinki (Helsinki, Finlândia)
|
| 2015/06/26 | Harmonizing involutive and constructive negations | 5th World Congress on Universal Logic
Istanbul University (Istanbul, Turquia)
|
| 2015/02/24 | Logicality from an inferentialist perspective | Ontological Commitment in Mathematics
University of California - Davis (Estados Unidos)
|
| 2014/11/11 | Logicality: from inference to computation | XVIII Colóquio Conesul de Filosofia das Ciências Formais
Universidade Federal de Santa Maria (Santa Maria, Brasil)
|
| 2014/10/29 | Actual vs. potential truth, negative hypothesis, and classical logic | Seminar
Departamento de Filosofia, Pontifíca Universidade Católica do Rio de Janeiro (Rio de Janeiro, Brasil)
|
| 2014/07/17 | Natural deduction for intuitionistic differential linear logic | Logic Colloquium 2014
Technische Universität Wien (Vienna, Áustria)
|
| 2014/06/06 | On the computational meaning of axioms | Logic, Computation and Reasoning Seminar
Laboratoire d'informatique de Paris Nord, Université Paris 13 (Paris, França)
|
| 2012/04/16 | Towards a verificationist account of classical logic | Workshop on Hypothetical Reasoning
Wilhelm-Schickard-Institut fu¨r Informatik, Universität Tu¨bingen (Tu¨bingen, Alemanha)
|
| 2011/08/09 | A computational analysis of logical constants: From inferentialism to an untyped perspective | Workshop on Logical Constants, European Summer School in Logic Language and Information 2011
(Ljubljana, Eslovénia)
|
Orientação
| Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
|---|---|---|
| 2021 - Atual | Existência e objetos abstratos: um debate contemporâneo.
Orientador
|
Philosophy (Master) (Mestrado)
Universidade Federal do ABC, Brasil
|
| 2019 - Atual | O problema da determinação dos significados de expressões linguísticas: internalismo semântico e externalismo semântico entre
Carnap e Kripke.
Coorientador
|
Philosophy (Master) (Mestrado)
Universidade Federal do ABC, Brasil
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2019/12/09 - 2019/12/10 | Speaking the Unspeakable. Paradoxes between Truth and Proof (2019/12/09 - 2019/12/10)
Conferência (Coorganizador)
|
Universidade Estadual de Campinas, Brasil |
| 2016/06/10 - 2016/06/11 | Intuitionism, Computation, and Proof: Selected themes from the research of G. Kreisel (2016/06/10 - 2016/06/11)
Conferência (Coorganizador)
|
Institut d'Histoire et de Philosophie des Sciences et des Techniques, França |
| 2016/04/01 - 2016/04/01 | Representing Knowledge: Logical and Philosophical Approaches (2016/04/01 - 2016/04/01)
Conferência (Coorganizador)
|
Institut d'Histoire et de Philosophie des Sciences et des Techniques, França |
| 2015/02/15 - 2015/02/20 | Modeling Hypothetical Reasoning: Validity, Inference, and Paradoxes (2015/02/19 - 2015/02/20)
Conferência (Coorganizador)
|
Institut d'Histoire et de Philosophie des Sciences et des Techniques, França |
| 2014/05/29 - 2014/05/30 | Hypotheses Conference (2014/05/29 - 2014/05/30)
Conferência (Coorganizador)
|
Institut d'Histoire et de Philosophie des Sciences et des Techniques, França Université Paris 1 Panthéon-Sorbonne, França |
| 2012/07/19 - 2012/07/26 | The Meaning of Axioms: From Mathematics to Logic, symposium accepted at the 14th Congress of Logic, Methodology and Philosophy
of Science, Nancy (2012/07/19 - 2012/07/26)
Conferência (Coorganizador)
|
|
| 2012/05/03 - 2012/05/03 | Cross Perspectives on Proof Systems and Their Significance (2012/03/05 - 2012/03/05)
Conferência (Coorganizador)
|
École Normale Supérieure, França |
| 2011/05/03 - 2011/05/03 | Proof-theoretic Semantics and the Justification of Logical Laws (2011/05/03 - 2011/05/03)
Conferência (Coorganizador)
|
Université de Paris - Campus des Grands Moulins, França |
| 2010/03/22 - 2010/03/22 | Meaning and Proofs - Logical and Philosophical Perspectives (2010/03/22 - 2010/03/22)
Conferência (Coorganizador)
|
Fondation Maison des Sciences de l'Homme, França |
| 2009/06/16 - 2009/06/16 | New Perspectives on Classical Logic and Axiomatics (2009/06/16 - 2009/06/16)
Conferência (Coorganizador)
|
Université Paris 1 Panthéon-Sorbonne, França |
Júri de grau académico
| Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
|---|---|---|
| 2021/12/17 | Participation to the PhD defense "A modal approachto logical consistency"
Vogal
|
Edson Bezerra (Doutoramento)
Universidade Estadual de Campinas, Brasil
|
Comissão de avaliação
| Descrição da atividade Tipo de assessoria |
Instituição / Organização | Entidade financiadora | |
|---|---|---|---|
| 2020 - 2020 | Participation to the qualification committee of the master thesis "Essence and arbitrariness" of Pedro Yago.
Avaliador
|
Universidade Estadual de Campinas, Brasil | |
| 2019 - 2019 | Participation to the qualification committee of the PhD thesis "A modal approach to logical consistency", of Edson Bezerra.
Avaliador
|
Universidade Estadual de Campinas, Brasil |
Consultoria / Parecer
| Descrição da atividade | Instituição / Organização | |
|---|---|---|
| 2014 - Atual | Referee for Studia Logica, Theoria: A Swedish Journal for Philosophy, Synthese Library, Journal of Logic and Computation, Logic Journal of the IGPL, Advances in Modal Logic, Outstanding Contributions to Logic, Non-Classical Logics - Theory and Applications, Alexander von Humboldts Foundation, Czech Science Foundation. |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 2021/09/13 - 2021/12/04 | Introduction to Logic (held virtually, due to the spread of COVID-19) | Philosophy (Bachelor (1.º ciclo de estudos)) | Universidade Federal do ABC, Brasil |
| 2021/05/24 - 2021/08/14 | Critical Thinking (held virtually, due to the spread of COVID-19) | Philosophy (Bachelor (1.º ciclo de estudos)) | Universidade Federal do ABC, Brasil |
| 2021/02/01 - 2021/04/24 | Philosophy of Logic (held virtually, due to the spread of COVID-19) | Philosophy (Bachelor (1.º ciclo de estudos)) | Universidade Federal do ABC, Brasil |
| 2020 - 2020 | Philosophy of Logic | (Bachelor) | Universidade Federal do ABC, Brasil |
| 2020 - 2020 | Introduction to Logic | (Bachelor) | Universidade Federal do ABC, Brasil |
| 2019 - 2019 | Philosophy of Language | (Bachelor) | Universidade Federal do ABC, Brasil |
| 2019 - 2019 | Critical Thinking | (Bachelor) | Universidade Federal do ABC, Brasil |
| 2019 - 2019 | Introduction to Logic | (Bachelor) | |
| 2018 - 2018 | Philosophy of Language | (Bachelor) | |
| 2018 - 2018 | Introduction to Logic | (Bachelor) | Universidade Federal do ABC, Brasil |
| 2015 - 2016 | Logic: advanced topics | (Licence) | Université Paris 1 Panthéon-Sorbonne, França |
| 2014 - 2015 | Philosophy of informatics | (Licence) | Université Paris 1 Panthéon-Sorbonne, França |
| 2013 - 2014 | Introduction to Logic | (Licence) | Université Paris 1 Panthéon-Sorbonne, França |
| 2012 - 2013 | Introduction to Philosophy of Mathematics: Formalism, Naturalism, Fictionalism | (Master) | Université de Paris - Campus des Grands Moulins, França |
| 2011 - 2012 | Introduction to History and Philosophy of Science: theories of knowledge | (Master) | Université de Paris - Campus des Grands Moulins, França |
| 2010 - 2011 | Introduction to Logic | (Licence) | Université Paris 1 Panthéon-Sorbonne, França |
Distinções
Outra distinção
| 2011 | Scholarship to attend the 14th Congress of Logic, Methodology and Philosophy of Sciences |
| 2010 | Scholarship to study abroad from the University of Rome "La Sapienza", held at University Paris Diderot - Paris 7
Université de Paris - Campus des Grands Moulins, França
|
| 2010 | Scholarship to study abroad from the Université Paris Diderot - Paris 7, held at University of Rome 3
Université de Paris - Campus des Grands Moulins, França
|
| 2008 | Doctoral Fellow "Ideals of Proofs", Prof. Michael Detlefsen's ANR Senior Chaire d'excellence 2007-2011, Department Histoire
et Philosophie des Sciences, Université Paris Diderot - Paris 7
Université de Paris - Campus des Grands Moulins, França
|