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...
O escopo desta postagem é apresentar uma proposta de Teoria do Conhecimento , compatível com os sistemas de IA, fundamentada na Teoria Algorítmica da Informação e na concepção de conhecimento elaborada por Lehrer (1990). Para este fim, considere, inicialmente, um ensaio conciso sobre a concepção de conhecimento introduzida por Lehrer, gerado pelo Copilot, acrescido de alguns comentários. E, posteriormente, uma análise da composição dessa teoria com o conceito algorítmico de informação . Trata-se de uma abordagem de caráter reducionista, mais precisamente, de uma forma de reducionismo epistêmico. Uma concepção da Teoria do Conhecimento de acordo com Lehrer Referência bibliográfica : Lehrer (1990), “Theory of Knowledge”, Westview Press, Inc. __________________ O seguinte texto foi gerado, em 11 de novembro de 2025, pelo Copilot . A Teoria do Conhecimento Fundamentada no Conceito de ...