Lógica, Epistemologia e Metodologia

O trabalho no âmbito da linha de investigação “Lógica, Epistemologia e Metodologia” (LEM) 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?

LEM inclui dois subgrupos mais específicos: AppEEL (Laboratório de Epistemologia Evolucionária Aplicada) e EF (Epistemologia Formal). AppEEL estuda a síntese alargada em Biologia a partir de uma abordagem inter- e trans-disciplinar. EF debruça-se sobre o modo como a ciência moderna (em particular, a Física) está a ser moldada pelo uso intensivo de programas de computador. Estes, que implementam regras explicativas “top-down”, estão cada vez mais a tomar o lugar das equações diferenciais na representação e previsão da evolução dos sistemas físicos. EF tenta compreender o pano de fundo formal subjacente a este desenvolvimento.