???global.info.a_carregar???
Mattia Petrolo is currently Assistant Professor of Logic and Philosophy of Logic at the Centre for Natural and Human Sciences of the Federal University of ABC (UFABC) and Associate Researcher at the Institute for History and Philosophy of Science and Technology (IHPST, Paris). After completing his PhD at the University Paris Diderot - Paris 7, Mattia was postdoctoral researcher at the French National Centre for Scientific Research (CNRS) in Paris. His primary areas of research interest lie in logic and philosophy of computing. Additionally, he is interested broadly in formal and social epistemology, and artificial intelligence.
Read full resume ↓
Identification

Personal identification

Full name
Mattia Petrolo

Citation names

  • Petrolo, Mattia

Author identifiers

Ciência ID
D719-C410-04DF

Knowledge fields

  • Humanities - Philosophy, Ethics and Religion - Philosophy

Languages

Language Speaking Reading Writing Listening Peer-review
Italian (Mother tongue)
English Advanced (C1) Proficiency (C2) Advanced (C1) Proficiency (C2) Advanced (C1)
French Advanced (C1) Proficiency (C2) Advanced (C1) Proficiency (C2) Advanced (C1)
Portuguese Upper intermediate (B2) Advanced (C1) Intermediate (B1) Intermediate (B1) Upper intermediate (B2)
Education
Degree Classification
2008 - 2013
Concluded
 Epistemology, History of Science and Techniques (Doctor)
Université de Paris - Campus des Grands Moulins, France
"The Metamorphosis of Constructivity in Logic: An epistemological study of the constuctivization of classical logic" (THESIS/DISSERTATION)
 Très honorable
2004 - 2006
Concluded
 Theories and Techniques of Knowledge (Master)
Università degli Studi di Roma La Sapienza, Italy
 110/110 cum laude
2001 - 2004
Concluded
 Theories and Techniques of Knowledge (Bachelor)
Università degli Studi di Roma La Sapienza, Italy
 110/110 cum laude
Affiliation

Science

Category
Host institution 		Employer
2019 - Current Researcher (Research) Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
2015 - 2018 Postdoc (Research) Centre National de la Recherche Scientifique, France
Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
2013 - 2015 Postdoc (Research) Centre National de la Recherche Scientifique, France
Institut d'Histoire et de Philosophie des Sciences et des Techniques, France

Teaching in Higher Education

Category
Host institution 		Employer
2018 - Current Assistant Professor (University Teacher) Universidade Federal do ABC Centro de Ciências Naturais e Humanas, Brazil
2013 - 2016 Lecturer (University Teacher) Université Paris 1 Panthéon-Sorbonne, France
2011 - 2013 Lecturer (University Teacher) Université de Paris - Campus des Grands Moulins, France
Université de Paris - Campus des Grands Moulins, France
Projects

Grant

Designation Funders
2021 - 2024 The Geometry of Algorithms
ANR-20-CE27-0004
Researcher
Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
Ongoing
2018/03/01 - 2021/12/31 Arbitrariness and genericity. Or on how to speak of the unspeakable
2018/25501-06
Researcher
Universidade Estadual de Campinas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2018 - 2020 A case study for non-normal modal logic
433781/2018-1
Researcher
Universidade Estadual de Campinas, Brazil

The University of British Columbia, Canada
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Concluded
2015 - 2018 BEYOND LOGIC : HYPOTHETICAL REASONING IN PHILOSOPHY OF SCIENCE, INFORMATICS, AND LAW
info:eu-repo/grantAgreement/ANR/ANR-14-FRAL-0002/FR
Researcher
Université Paris 1 Panthéon-Sorbonne, France

Eberhard Karls Universität Tübingen, Germany
Agence nationale de la recherche

Deutsche Forschungsgemeinschaft
Concluded
2014 - 2017 Preuves, Démonstrations et Représentations
Sh813-14
Researcher
Pontifícia Universidade Católica do Rio de Janeiro, Brazil

Université Paris 1 Panthéon-Sorbonne, France
Campus France
Concluded

Other

Designation Funders
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, Brazil
Concluded
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, Germany
Concluded
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, United States
Concluded
Outputs

Publications

Book chapter
  1. Naibo, Alberto; Petrolo, Mattia; Seiller, Thomas. "On the Computational Meaning of Axioms". In Epistemology, Knowledge and the Impact of Interaction, edited by Pombo, O.; Nepomuceno, A.; Redmond, J., 141-184. Springer International Publishing, 2016.
    Published • 10.1007/978-3-319-26506-3_5
  2. Naibo, Alberto; Petrolo, Mattia; Seiller, Thomas. "Verificationism and Classical Realizability". In Perspectives on Interrogative Models of Inquiry, 163-197. Springer International Publishing, 2016.
    Published • 10.1007/978-3-319-20762-9_9
  3. Petrolo, Mattia. "Negative Translations and Duality: Toward a Unified Approach". In Lecture Notes in Computer Science, edited by Lecomte, A.; Tronçon, S., 188-204. Springer Berlin Heidelberg, 2011.
    Published • 10.1007/978-3-642-19211-1_12
Book review
  1. Naibo, Alberto; Petrolo, Mattia. ""Intuitionsim vs. Classicism: A Mathematical Attack on Classical Logic" by Nick Haverkamp". Review of Intuitionsim vs. Classicism: A Mathematical Attack on Classical Logic 1, 141 (2016): 101-103. https://www.jstor.org/stable/44646631?seq=1.
    Published
Conference paper
  1. Petrolo, Mattia; Pistone, Paolo. "A normal paradox". Paper presented in Logica, 2016.
    Published
Journal article
  1. Kubyshkina, Ekaterina; Petrolo, Mattia (D719-C410-04DF). "An epistemic reading of the Socratic method". (2022):
    Submitted
  2. Kubyshkina, Ekaterina; Petrolo, Mattia. "What is normal?". (2022):
    Submitted
  3. Petrolo, Mattia; Pistone, Paolo; Tranchini, Luca. "The naturality of natural deduction II: On Atomic Polymorphism and Generalized Propositional Connectives". Studia Logica (2021):
    Published
  4. Gilbert, David; Kubyshkina, Ekaterina; Petrolo, Mattia; Venturi, Giogio. "Logics of ignorance and being wrong". Logic Journal of the IGPL (2021): https://academic.oup.com/jigpal/advance-article-abstract/doi/10.1093/jigpal/jzab025/6323820?redirectedFrom=fulltext.
    Published
  5. Kubyshkina, Ekaterina; Petrolo, Mattia. "A logic for factive ignorance". Synthese 198 (2021): 5917-5928. http://dx.doi.org/10.1007/s11229-019-02440-1.
    Published • 10.1007/s11229-019-02440-1
  6. Kubyshkina, Ekaterina; Petrolo, Mattia. "What ignorance could not be". Principia: an international journal of epistemology 24 2 (2020): 247-254. http://dx.doi.org/10.5007/1808-1711.2020v24n2p247.
    Open access • 10.5007/1808-1711.2020v24n2p247
  7. Kubyshkina, Ekaterina; Petrolo, Mattia. "Not ignoring is not knowing". South American Journal of Logic 5 1 (2019): 361-375. http://www.sa-logic.org/sajl-v5-i2/10-Kubyshkina-Petrolo-SAJL.pdf.
    Open access • Published
  8. Petrolo, Mattia; Pistone, Paolo. "On Paradoxes in Normal Form". Topoi 38 3 (2018): 605-617. http://dx.doi.org/10.1007/s11245-018-9543-7.
    Published • 10.1007/s11245-018-9543-7
  9. Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia. "The Naturality of Natural Deduction". Studia Logica 107 1 (2017): 195-231. http://dx.doi.org/10.1007/s11225-017-9772-6.
    Published • 10.1007/s11225-017-9772-6
  10. Naibo, Alberto; Petrolo, Mattia. "Are Uniqueness and Deducibility of Identicals the Same?". Theoria 81 2 (2014): 143-181. http://dx.doi.org/10.1111/theo.12051.
    Published • 10.1111/theo.12051
Thesis / Dissertation
  1. Petrolo, Mattia. "The Metamorphosis of Constructivity in Logic: An epistemological study of the constructivization of classical logic". PhD, Université de Paris - Campus des Grands Moulins, 2013.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2022/01/21 Ignorance as an excuse, formally
École Normale Supérieure (Paris, France)
2021/12/01 Epistemic logics for ignorance representation 12th International Scientific Conference “Intelligent Systems and Computer Science"
Moscow State University M. V. Lomonossov (Moscow, Russia)
2020/11/12 A constructivist reading of the Epsilon calculus 12th French Workshop in Philosophy of Mathematics
(Nancy, France)
2020/01/23 The dark side of knowledge Seminar of the Munich Center for Mathematical Philosophy (MCMP)
Ludwig Maximilian University (Munich, Germany)
2020/01/20 Towards a logic for arbitrary mathematical objects PhilMath Seminar
Institute for the History and Philosophy of Science and Technology (Paris, France)
2019/08/21 The dark side of knowledge 11th Principia International Symposium
(Florianópolis, Brazil)
2019/03/29 Proof-theoretic semantics and paradoxical languages Third Tu¨bingen Conference on Proof-Theoretic Semantics
Universität Tu¨bingen (Tu¨bingen, Germany)
2019/03/02 Revising the Elenchos via belief revision Infinite Regress Arguments and Non-Contradiction in Plato and Aristotle
University of Nottingham (Nottingham, United Kingdom)
2018/04/25 A proof-theoretic analysis of paradoxes Logic Seminar
Universidade Estadual de Campinas (Campinas, Brazil)
2017/05/25 Normality beyond logic Conference Beyond Logic
Institute for the History and Philosophy of Science and Technology (Cerisy-la-Salle, France)
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, France)
2015/09/26 Harmonizing involutive and constructive negations Non-Classical Logic. Theory and Applications 7th edition
(Torun, Poland)
2015/08/05 Untyped validity: from interaction to rules 15th Congress on Logic, Methodology, and Philosophy of Science
University of Helsinki (Helsinki, Finland)
2015/06/26 Harmonizing involutive and constructive negations 5th World Congress on Universal Logic
Istanbul University (Istanbul, Turkey)
2015/02/24 Logicality from an inferentialist perspective Ontological Commitment in Mathematics
University of California - Davis (United States)
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, Brazil)
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, Brazil)
2014/07/17 Natural deduction for intuitionistic differential linear logic Logic Colloquium 2014
Technische Universität Wien (Vienna, Austria)
2014/06/06 On the computational meaning of axioms Logic, Computation and Reasoning Seminar
Laboratoire d'informatique de Paris Nord, Université Paris 13 (Paris, France)
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, Germany)
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, Slovenia)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2021 - Current Existência e objetos abstratos: um debate contemporâneo.
Supervisor
 Philosophy (Master) (Master)
Universidade Federal do ABC, Brazil
2019 - Current O problema da determinação dos significados de expressões linguísticas: internalismo semântico e externalismo semântico entre Carnap e Kripke.
Co-supervisor
 Philosophy (Master) (Master)
Universidade Federal do ABC, Brazil

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2019/12/09 - 2019/12/10 Speaking the Unspeakable. Paradoxes between Truth and Proof (2019/12/09 - 2019/12/10)
Conference (Co-organisor)
 Universidade Estadual de Campinas, Brazil
2016/06/10 - 2016/06/11 Intuitionism, Computation, and Proof: Selected themes from the research of G. Kreisel (2016/06/10 - 2016/06/11)
Conference (Co-organisor)
 Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
2016/04/01 - 2016/04/01 Representing Knowledge: Logical and Philosophical Approaches (2016/04/01 - 2016/04/01)
Conference (Co-organisor)
 Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
2015/02/15 - 2015/02/20 Modeling Hypothetical Reasoning: Validity, Inference, and Paradoxes (2015/02/19 - 2015/02/20)
Conference (Co-organisor)
 Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
2014/05/29 - 2014/05/30 Hypotheses Conference (2014/05/29 - 2014/05/30)
Conference (Co-organisor)
 Institut d'Histoire et de Philosophie des Sciences et des Techniques, France

Université Paris 1 Panthéon-Sorbonne, France
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)
Conference (Co-organisor)
2012/05/03 - 2012/05/03 Cross Perspectives on Proof Systems and Their Significance (2012/03/05 - 2012/03/05)
Conference (Co-organisor)
 École Normale Supérieure, France
2011/05/03 - 2011/05/03 Proof-theoretic Semantics and the Justification of Logical Laws (2011/05/03 - 2011/05/03)
Conference (Co-organisor)
 Université de Paris - Campus des Grands Moulins, France
2010/03/22 - 2010/03/22 Meaning and Proofs - Logical and Philosophical Perspectives (2010/03/22 - 2010/03/22)
Conference (Co-organisor)
 Fondation Maison des Sciences de l'Homme, France
2009/06/16 - 2009/06/16 New Perspectives on Classical Logic and Axiomatics (2009/06/16 - 2009/06/16)
Conference (Co-organisor)
 Université Paris 1 Panthéon-Sorbonne, France

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2021/12/17 Participation to the PhD defense "A modal approachto logical consistency"
Thesis Member
 Edson Bezerra (PhD)
Universidade Estadual de Campinas, Brazil

Consulting

Activity description Institution / Organization
2014 - Current 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.

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2021/09/13 - 2021/12/04 Introduction to Logic (held virtually, due to the spread of COVID-19) Philosophy (Bachelor (1st cycle)) Universidade Federal do ABC, Brazil
2021/05/24 - 2021/08/14 Critical Thinking (held virtually, due to the spread of COVID-19) Philosophy (Bachelor (1st cycle)) Universidade Federal do ABC, Brazil
2021/02/01 - 2021/04/24 Philosophy of Logic (held virtually, due to the spread of COVID-19) Philosophy (Bachelor (1st cycle)) Universidade Federal do ABC, Brazil
2020 - 2020 Philosophy of Logic (Bachelor) Universidade Federal do ABC, Brazil
2020 - 2020 Introduction to Logic (Bachelor) Universidade Federal do ABC, Brazil
2019 - 2019 Philosophy of Language (Bachelor) Universidade Federal do ABC, Brazil
2019 - 2019 Critical Thinking (Bachelor) Universidade Federal do ABC, Brazil
2019 - 2019 Introduction to Logic (Bachelor)
2018 - 2018 Philosophy of Language (Bachelor)
2018 - 2018 Introduction to Logic (Bachelor) Universidade Federal do ABC, Brazil
2015 - 2016 Logic: advanced topics (Licence) Université Paris 1 Panthéon-Sorbonne, France
2014 - 2015 Philosophy of informatics (Licence) Université Paris 1 Panthéon-Sorbonne, France
2013 - 2014 Introduction to Logic (Licence) Université Paris 1 Panthéon-Sorbonne, France
2012 - 2013 Introduction to Philosophy of Mathematics: Formalism, Naturalism, Fictionalism (Master) Université de Paris - Campus des Grands Moulins, France
2011 - 2012 Introduction to History and Philosophy of Science: theories of knowledge (Master) Université de Paris - Campus des Grands Moulins, France
2010 - 2011 Introduction to Logic (Licence) Université Paris 1 Panthéon-Sorbonne, France

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2020 - 2020 Participation to the qualification committee of the master thesis "Essence and arbitrariness" of Pedro Yago.
Evaluator
 Universidade Estadual de Campinas, Brazil
2019 - 2019 Participation to the qualification committee of the PhD thesis "A modal approach to logical consistency", of Edson Bezerra.
Evaluator
 Universidade Estadual de Campinas, Brazil
Distinctions

Other distinction

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, France
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, France
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, France