Autor: 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.

Abstract:

An investigation of what might be called the logical formalization of the process of theory change due to anomalies is presented. By anomaly we mean an observed fact falling into the explanatory scope of a theory that does not agree with the  theory prevision. A classical approach to restore the explicative power of a theory faced with an anomaly is to propose new, tentative auxiliary hypotheses which, along with part of the old set of auxiliary hypotheses, are able to solve the anomaly. After laying down some conclusions about the structure of such process, we propose a multi-modal and nonmonotonic logical framework able to represent some key aspects of this important facet of the dynamics of scientific theories. Due to the necessity of accommodating incompatible tentative hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus which threatened the Newtonian celestial mechanics for more than half a century and gave rise to the discovery of Neptune.

ISSN: 19844255

Texto Completo: http://periodicos.ufc.br/argumentos/article/view/19961

Palavras-Chave: Anomalia científica. Lógica não monotônica. Lógica paraconsistente. Lógica modal. Descoberta de Netuno.