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
A Logical Approach to Algorithmic Opacity

Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero,

2024

Quineanism, Noneism and Metaphysical Equivalence

Bruno Jacinto, Javier Belastegui,

2023

Comunicações
Peano’s structuralism

Joan Bertran San-Millán,

2023

Peano and the Birth of Formal Languages

Joan Bertran San-Millán,

2023

Peano’s structuralism

Joan Bertran San-Millán,

2023

Frege’s early notion of function

Joan Bertran San-Millán,

2023

O Ente do Mar na Linha do Tempo e do Devir

José Carlos Ribeiro de Calazans Duarte,

2023

Sets as properties

Bruno Jacinto,

2023

Two Dogmas of Trustworthy AI

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

2023

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