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...
Resumo Comentários elaborados pelo Gemini do Google acerca da postagem anterior. Aqui está uma análise detalhada, desenvolvimento e expansão bibliográfica do ensaio e dos tópicos apresentados. O foco é a integração entre a Epistemologia de Keith Lehrer e a Teoria Algorítmica da Informação (TAI) como fundamento para sistemas de IA. Análise e Desenvolvimento: Epistemologia Informacional e Reducionismo Algorítmico 1. Análise Crítica do Texto Base O texto apresentado estrutura-se em três camadas lógicas: A síntese (via Copilot) da teoria de Lehrer, focada na noção de "Aceitabilidade" e resposta a objeções. A correção técnica (seus comentários) , que refina os conceitos de Lehrer, distinguindo "crença psicológica" de "aceitação funcional" e tipificando o conhecimento (saber como, saber de, saber que). A tese inovadora (Sua proposta/Sarmento) , que propõe um reducionismo epistêmico, traduzindo as condições de Lehrer para a linguagem da Teoria Algorítmica...