Pular para o conteúdo principal

Sobre o método de indução e a teoria do falseamento de Popper

O método de indução, nas ciências empíricas, tem como propósito estabelecer a verdade de sentenças universais que, por sua vez, expressam 'leis naturais'. Carnap foi o principal advogado de um método geral de caráter indutivista para a fundamentação das ciências em conformidade com o princípio fundamental do empirismo. Carnap propôs como uma alternativa, em face das críticas à indução, um requisito da 'suscetibilidade de confirmação de hipóteses', i.e., "todos os enunciados sintéticos devem ser suscetíveis de confirmação". 

Adendo: segue um link com observações sobre a generalização indutiva de acordo com Carnap


    De acordo com Popper as 'leis naturais' não são confirmáveis, pois essas leis são expressas sob a forma de sentenças universais ilimitadas (e, por conseguinte, admitem um número potencialmente infinito de aplicações possíveis). Por outro lado, o número de observações para testar essas leis é sempre finito.
    Como assinala Stegmüller (1977), Popper rejeita a inferência indutiva porque seria necessário que houvesse um princípio de indução para justificá-la, i.e., um princípio expresso por uma sentença universal de caráter analítico, pois tal inferência seria, de fato, dedutiva. Não obstante, Popper acrescenta que, em se tratando de uma sentença sintética, essa sentença seria fundamentada na experiência; e, mais ainda, sendo um enunciado universal ilimitado não admitiria confirmação empírica. 
    Em oposição à concepção indutivista da ciência, Popper propõe uma abordagem dedutivista. Popper adota o princípio de falseamento (ou refutabilidade) de hipóteses como um critério de demarcação para as diversas teorias científicas.

Adendo: segue um link com obervações sobre a estratégia de falseamento proposta por Popper




Comentários

Postagens mais visitadas deste blog

Informes: Sobre os Fundamentos Lógico-epistêmicos da Inteligência Artificial

   Na postagem intitulada: " An Analysis of the Epistemological Foundations of Machine Learning ", publicado no blog SciELO em Perspectiva em 15 de agosto/24 [veja o link abaixo], apresento uma análise crítica dos fundamentos lógico-epistêmicos do aprendizado de máquina, com foco na limitação da autonomia dos sistemas de IA na geração de conhecimento. Contrastando essa possibilidade com as restrições teóricas impostas pelo teorema da incompletude de Chaitin , que estabelece um limite para a capacidade cognitiva da IA, de tal modo que a IA não pode superar a capacidade cognitiva humana. https://humanas.blog.scielo.org/en/2024/08/15/epistemological-foundations-of-machine-learning/       Esta postagem faz referência ao artigo publicado na Revista Transformação , intitulado: " Comentário a “Por trás da inteligência artificial: uma análise das bases epistemológicas do aprendizado de máquina” ", publicado em 05/07/202. O referido artigo pode ser acessado por...

Sobre a linguagem como meio universal ou como cálculo - II parte.

  A oposição calculus ratiocinator versus characteristica universalis  como apresentada na postagem anterior tem um caráter absoluto , com base em um resultado estabelecido recentemente por mim (veja postagem, neste blog, sobre a publicação dos Proceedings of the 19th Brazilian Logic Conference - XIX EBL , no Journal of Applied Logics - IFCoLog Journal of Logics and their Applications , Vol. 9 N. 1, 2022, do paper intitulado: "A note on Tarski´s remarks about the non-admissibility of a general theory of semantics", pp. 573-582), pois a partir do seguinte pressuposto: 'toda metalinguagem consiste em uma linguagem que admite, como objeto, outra linguagem (denominada de linguagem-objeto)'; nesta acepção, poderíamos indagar sobre a possibilidade de uma metalinguagem última , que desempenharia o papel de uma linguagem universal . Como o resultado estabelecido é bastante técnico, estou me restringindo apenas a algumas consequências filosófico-conceituais da demonstração d...

Sobre a Filosofia Formalista da Matemática - Parte II

 Nesta postagem, estou dando continuidade à discussão anterior sobre o Programa Formalista da Matemática a partir da versão original de Hilbert e cogitando a possibilidade de uma reformulação do referido programa a partir de certos aspectos lógico-formais com base em um resultado obtido em Sarmento (2022). Considere-se, inicialmente, o seguinte texto:  entrada   da  Stanford Encyclopedia of Philosoph y  sobre Hilbert’s Program   [ First published Thu Jul 31, 2003; substantive revision Fri May 24, 2019 ]  o autor Prof.  Richard Zach   observa que: "According to Hilbert, there is a privileged part of mathematics, contentual elementary number theory , which relies only on a 'purely intuitive basis of concrete signs'. Whereas the operating with abstract concepts was considered 'inadequate and uncertain', there is a realm of extra-logical discrete objects , which exist intuitively as immediate experience before all thought. If logical inference ...