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: Apresento a seguir os comentários elaborados pelo Copilot acerca da IV postagem sobre os fundamentos lógico-epistêmicos da IA. O ensaio está estruturado da seguinte forma: uma análise crítica aprofundada da proposta epistemológica inspirada em Lehrer ; uma articulação conceitual rigorosa com a Teoria Algorítmica da Informação (TAI) ; uma proposta explícita de formalização da definição de conhecimento baseada no conceito de informação, em chave reducionista‑epistêmica. Conhecimento, Informação e Justificação: Uma Proposta de Formalização Epistêmica à Luz da Teoria Algorítmica da Informação Introdução O texto em análise propõe uma reinterpretação da teoria do conhecimento de Keith Lehrer a partir do conceito de informação , integrando-a à Teoria Algorítmica da Informação e defendendo um reducionismo epistêmico com relevância metateórica para sistemas de inteligência artificial . Trata-se de um projeto ambicioso, cujo objetivo não é apenas reinterpretar uma teoria ...