Mattia Petrolo

	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)
• 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)

Prêmios e títulos

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

Participação em eventos

• Total de participação em eventos (12)

Organização de eventos

• Total de organização de eventos (0)

Lista de colaborações

• Colaborações endôgenas (0)

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