O Grupo de Investigação “Filosofia das Ciências Formais, Metodologia e Epistemologia” cobre três áreas de pesquisa: 1) Filosofia das Ciências Formais (FCF); 2) Lógica, Epistemologia, Metodologia (LEM); 3) Epistemologia Aberta (EA).

O trabalho no âmbito de FCF centra-se em dois tópicos nucleares: i) Ontologia nas ciências formais; ii) Pluralismo lógico e aplicações de lógicas não clássicas.

O trabalho no âmbito deLEM incide sobre teorias da inferência, raciocínio e método, assim como sobre questões epistemológicas e metodológicas de âmbito mais lato. Exemplos das primeiras: a Lógica strictu sensu (i.e., teorias da inferência dedutiva), a Lógica indutiva (i.e., teorias da inferência ampliativa), teorias da decisão e dos jogos (i.e., teorias da inferência prática) e teorias psicológicas do raciocínio humano. Exemplos das segundas: Que explicações contam como científicas e porquê? O que é a causação?

O trabalho em EA adopta uma abordagem pluralista ao método científico e estuda tanto o trabalho epistemológico de Mach, Bachelard e Feyerabend como as tradições epistémicas não-europeias.

Projectos
Notícias
Livros
Artigos e capítulos de livros
Two Dogmas of Trustworthy AI

Mattia Petrolo, Giacomo Zanotti, Daniele Chiffi, Viola Schiaffonati,

2024

Finitary Upper Logicism

Bruno Jacinto,

2024

A Logical Approach to Algorithmic Opacity

Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero,

2024

Comunicações
Organização de Reuniões Científicas
Divulgação