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

Ricardo Sousa Silvestre

Resumo


Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno.

Palavras-chave: Anomalia científica; lógica não monotônica; lógica paraconsistente; lógica modal; descoberta de Netuno. 


Texto completo:

PDF

Apontamentos

  • Não há apontamentos.


ARGUMENTOS - Revista de Filosofia

© 2015 Programa de Pós-Graduação em Filosofia-UFC/ICA
ISSN (online):1984-4255 | ISSN (Impresso):1984-4247