UFABC-professores

Mattia Petrolo

Possui graduação e mestrado em Filosofia pela Universidade de Roma "La Sapienza" (Itália), doutorado em Filosofia e História da Ciência pela Universidade Paris Diderot - Paris 7 (França) e pós-doutorado em Lógica pela Universidade Paris 1 Panthéon-Sorbonne (França). Atualmente é professor adjunto de Lógica e Filosofia da Lógica do Centro de Ciências Naturais e Humanas da Universidade Federal do ABC. Tem experiência na área de Lógica com ênfase em lógica filosófica, epistemologia formal e fundamentos da matemática. (Texto informado pelo autor)

http://lattes.cnpq.br/7355676304371120 (20/01/2024)

Rótulo/Grupo: CCNH

Bolsa CNPq:

Período de análise: 2018-HOJE

Endereço:

Grande área: Ciências Humanas

Área: Filosofia

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (9)
1. KUBYSHKINA, EKATERINA ; PETROLO, MATTIA. Revising the Elenchus via Belief Revision. Logica Universalis (Print). v. 17, p. 231-258, issn: 1661-8297, 2023.
2. ZANOTTI, GIACOMO ; PETROLO, MATTIA ; CHIFFI, DANIELE ; SCHIAFFONATI, VIOLA. Keep trusting! A plea for the notion of Trustworthy AI. AI & SOCIETY. v. 1, p. 1, issn: 1435-5655, 2023.
3. PISTONE, PAOLO ; TRANCHINI, LUCA ; PETROLO, MATTIA. The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. Studia Logica. v. 110, p. 545-592, issn: 0039-3215, 2022.
4. GILBERT, DAVID ; KUBYSHKINA, EKATERINA ; PETROLO, MATTIA ; VENTURI, GIORGIO. Logics of Ignorance and Being Wrong. LOGIC JOURNAL OF THE IGPL (ONLINE). v. 30, p. 870-885, issn: 1368-9894, 2022.
5. KUBYSHKINA, EKATERINA ; PETROLO, MATTIA. What is Normal?. LOGIQUE ET ANALYSE. v. 257, p. 25-37, issn: 0024-5836, 2022.
6. KUBYSHKINA, E. ; PETROLO, M.. What ignorance could not be. PRINCIPIA (FLORIANÓPOLIS. ONLINE). v. 24, p. 247-254, issn: 1808-1711, 2020.
7. KUBYSHKINA, E. ; PETROLO, M.. Not Ignoring is not Knowing. SOUTH AMERICAN JOURNAL OF LOGIC. v. 5, p. 361-375, issn: 2446-6719, 2019.
8. KUBYSHKINA, EKATERINA ; PETROLO, MATTIA. A logic for factive ignorance. SYNTHESE. v. 198, p. 5917, issn: 0039-7857, 2019.
9. PETROLO, MATTIA; PISTONE, PAOLO. On Paradoxes in Normal Form. Topoi (Dordrecht). v. 38, p. 605-617, issn: 1572-8749, 2018.
Livros publicados/organizados ou edições (0)
Capítulos de livros publicados (0)
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (0)
Resumos expandidos publicados em anais de congressos (0)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (2)
1. 2019-2021. Um caso de estudo para lógica modal não-normal
  Descrição: Este projeto tem como objetivo o esclarecimento da noção de não-normalidade na lógica modal. Este tema é abordado de uma perspectiva ambos semântica e sintática. Por um lado será indagado sobre a possibilidade de oferecer uma definição de não-normalidade que permita um tratamento uniforme de resultados de completude e correção. Por outro lado será indagado sobre as peculiaridades que os sistemas de provas tipo cálculos de sequentes ou tableaux oferecem no caso de sistema modais não-normais.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Mattia Petrolo - Integrante / Giorgio Venturi - Coordenador / David Gilbert - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
  Membro: Mattia Petrolo.
2. 2018-2021. Arbitrariness and genericity. Or on how to speak of the unspeakable
  Descrição: The project investigates the notion of arbitrary object using historical, philosophical and logical methodologies. The privileged perspective from which the analysis will be conducted is that of set theory. The project is divided in three complementary axes. First we propose a general reconstruction of the theorization about arbitrary objects, stressing the role that concepts and their extensions played in shaping axiomatic set theory. Moreover, we plan to reconstruct the origin, and to understand the meaning, of the use of generic objects in the more abstract fields of contemporary mathematical practice. Later, from a more philosophical perspective, we plan to to confront the concept of arbitrary set with the notions of sets based either on Goedel's iterative conception or on Cantor's principle of limitation of size. From a more intensional perspective on the theory of sets, we plan to study whether arbitrary objects or arbitrary reference may clarify the ontological or semantical problems of a process of abstraction à la Frege. To this aim we propose a philosophy of mathematical language inspired by Searle's theory of speech acts. Finally we plan to analyze more formally the notion of arbitrariness by means of that of genericity, on which the technique of forcing rests. We propose to axiomatize genericity in an abstract setting. Moreover we intent to apply modal logic (RI-logics) in order to capture what is invariant under forcing (Omega-logic), in the attempt to obtain insights in the solution of the Omega-conjecture. Finally we propose to use forcing itself in order to study the relative or absolute character of the notion of genericity.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Mattia Petrolo - Integrante / Giorgio Venturi - Coordenador / Hugo Luiz Mariano - Integrante / Marco Antonio Caron Ruffino - Integrante / Rodrigo de Alvarenga Freire - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
  Membro: Mattia Petrolo.

Prêmios e títulos

Total de prêmios e títulos (0)

Participação em eventos

Total de participação em eventos (12)

Advances in Modal Logic 2022. A labelled proof system for ignorance. 2022. (Congresso).
BEWARE ? 1st Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming,.Reasoning about algorithmic opacity. 2022. (Simpósio).
MOSAIC - Modalities in Substructural Logics Kick Off Meeting,. A proof-theoretic approach to ignorance. 2022. (Congresso).
Trends in Logic XXII. A logic for excusable ignorance. 2022. (Congresso).
12th International Scientific Conference "Intelligent Systems and Computer Science?,". Epistemic logics for ignorance representation. 2021. (Congresso).
12th French Workshop in Philosophy of Mathematics. A constructivist reading of the Epsilon calculus. 2020. (Congresso).
PhilMath Seminar (IHPST).Towards a logic for arbitrary mathematical objects. 2020. (Seminário).
Seminar of the Munich Center for Mathematical Philosophy (MCMP).The dark side of knowledge. 2020. (Seminário).
11th Principia International Symposium.The dark side of knowledge. 2019. (Simpósio).
Infinite Regress Arguments and Non-Contradiction in Plato and Aristotle.Revising the Elenchos via belief revision. 2019. (Simpósio).
Third Tübingen Conference on Proof-Theoretic Semantics. Proof-theoretic semantics and paradoxical languages. 2019. (Congresso).
Logic Seminar.A proof-theoretic analysis of paradoxes. 2018. (Seminário).

Organização de eventos

Total de organização de eventos (0)

Lista de colaborações

Colaborações endôgenas (0)

Data de processamento: 16/11/2024 16:24:34

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: jesus.mena@ufabc.edu.br