Pular para o conteúdo principal

Sobre o Intuicionismo (parte III)

 A crítica de Brouwer é dirigida ao conceito de infinito atual na matemática. Com efeito, afirma Brouwer, o infinito não deve ser definido como 'totalidade dada' (i.e., infinito atual); deve ser entendido, exclusivamente, como possibilidade em uma sucessão ilimitada, ou seja, como infinito potencial. Como consequência imediata dessa posição temos a rejeição da legitimidade geral do princípio do terceiro excluído. Este princípio estabelece o seguinte: dada uma sentença 'φ' vale a asserção ' φ v ~φ ' (em outros termos, ou a sentença φ é verdadeira ou a sua negação é verdadeira de modo exclusivo) . De acordo com a doutrina intuicionista Brouweriana, este princípio não pode ser considerado como irrestritamente válido com relação a domínios infinitos de objetos.

    Considere-se, p. ex., uma sentença da forma: 'Existe um número natural n com a propriedade F '. (*)

    A análise intuicionista requer que a sentença (*) acima seja interpretada como se afirmasse que é efetivamente possível apresentar um número natural n com a propriedade F, i.e., Fn. Por outro lado, a negação de (*) não deve ser interpretada como a afirmação de inexistência de um número natural n com a propriedade F no conjunto N de todos os números naturais. Isto significa que, a negação de (*) deve ser entendida em um sentido mais estrito, viz., se fosse possível exibir um número natural n tal que Fn, teríamos como consequência lógica uma contradição.

    Nesta acepção, ou é possível exibir um número natural satisfazendo a propriedade F ou é possível inferir uma contradição da hipótese de que há um tal número natural. Entretanto, é concebível, em conformidade com os pressupostos intuicionistas, que não seja possível calcular um número natural n tal que Fn, nem obtermos uma contradição com base na hipótese de sua existência. Tomando-se por base este caso e outros análogos, o enfoque intuicionista admite que existem problemas indecidíveis na matemática.

    Assim, via de regra, o intuicionismo rejeita a disjunção: 'A ou não-A' , onde A expressa que: 'Existe n, tal que Fn'. Além da rejeição do princípio do terceiro excluído, não vige, p.ex., a lei da dupla negação, i.e., 'não(não-p) implica (logicamente) p'; também não vige o método de inferência indireta de existência, i.e., a inferência da existência de um objeto matemático com base no fato de que a hipótese contrária conduz a uma contradição. Outro princípio inadmissível para o intuicionismo é o método das definições impredicativas. Entende-se por tal método a definição de um conjunto por meio de um procedimento (não-construtivo) que se refere a uma totalidade a que pertence o próprio conjunto em pauta. Embora este método não seja inconsistente, há uma espécie de 'círculo vicioso' no procedimento pois, um novo conjunto é definido de tal forma que se torne necessário pressupor a existência de uma classe de conjuntos à qual pertence o próprio conjunto a ser definido. O intuicionismo admite apenas conjuntos resultantes de uma construção finitária (ou definidos mediante procedimentos recursivos).

    Na próxima postagem (parte IV), será apresentada uma comparação entre a posição do intuicionismo com a posição do programa formalista de Hilbert [a ser discutido em postagens posteriores].


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