Portal de Periódicos da CAPES

Sobre a formalização lógica de mudança de teorias e anomalias científicas

2017; Volume: 2017; Issue: 17 Linguagem: Português

1984-4255

Ricardo Sousa Silvestre,

Logic, Reasoning, and Knowledge

Neste trabalho, e apresentada uma investigacao do que poderia ser chamado de formalizacao logica do processo de mudanca de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatorio de uma teoria, mas que vai de encontro a previsao da mesma. Uma abordagem classica para restaurar o poder explicativo de uma teoria ameacada por uma anomalia e a postulacao de hipoteses novas e provisorias que, em conjunto com as demais hipoteses auxiliares originais, sejam capazes de resolver a anomalia. Apos chegar a algumas conclusoes sobre a estrutura de tal processo, propomos um framework logico multimodal e nao-monotonico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias cientificas. Devido a necessidade de acomodar hipoteses provisorias incompativeis, esse framework incorpora uma forma fraca de paraconsistencia. Como um estudo de caso, analisamos o comportamento anomalo do planeta Urano que ameacou a mecânica celeste Newtoniana por mais de meio seculo e ensejou a descoberta do planeta Netuno. Palavras-chave: Anomalia cientifica; logica nao monotonica; logica paraconsistente; logica modal; descoberta de Netuno.