Mattia Petrolo \

I am currently an FCT research fellow at the Centre for Philosophy of Science of the University of Lisbon. I obtained my PhD from the University of Paris 7 – Paris Diderot, with a thesis focused on philosophical logic. Following that, I held a CNRS postdoctoral fellowship at the Institute for the History and Philosophy of Science and Technology in Paris, and I also served as a fixed term lecturer at the University of Paris 1 Panthéon-Sorbonne. Subsequently, I accepted a tenured assistant professorship at the Federal University of ABC.
My research encompasses computational logic, including structural proof theory, type theory, and the proofs-as-programs paradigm. I am also engaged in philosophy of logic, particularly inferentialism, criteria of logicality, and paradoxes. Additionally, my work extends to formal epistemology, specifically epistemic logic, relational semantics and its extensions, and ignorance representation.
I am currently undertaking an individual research project titled “Algorithm and Knowledge – Towards an Epistemic Approach to AI,” which is funded by the Portuguese Foundation for Science and Technology (FCT). This project falls within the domain of logic and epistemology of Artificial Intelligence. Its primary objective is to analyze how the algorithms used in AI may affect and change our epistemic attitudes, such as knowledge and belief. The project aims to establish the groundwork for a comprehensive epistemic approach to AI and develop logical models for studying the interaction between epistemic agents and algorithmic systems.

Áreas de Interesse:

Classical and Non-classical Logics, Formal Epistemology, Philosophy of Logic, Philosophy of AI, Philosophy of Computer Science, Foundations of Mathematics,

Situação no CFCUL:

Membro do Conselho Científico,  Membro Integrado Doutorado

Grupo de Investigação:

Linhas de Investigação: