Abstract

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. In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune.