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 uma reflexão sobre alguns aspectos principais dos comentários anteriores do Gemini e do Copilot sobre a postagem relativa aos fundamentos lógico-epistêmicos da IA. As abordagens elaboradas pelas ferramentas de IA generativas Gemini e Copilot permitem caracterizar de modo geral o 'marco teórico de referência' da intersecção das seguintes áreas: Epistemologia Informacional e Teoria Algorítmica da Informação (T.A.I.). Essa caracterização fundacional ocorre em um âmbito metateórico , haja vista que se propõe uma abordagem de natureza reducionista , de uma Teoria do Conhecimento via Teoria da Informação. De uma perspectiva filosófica, isto significa que uma teoria da informação deve preceder e fundamentar uma teoria do conhecimento. No artigo publicado por este autor [Sarmento (2024), veja link disponível na Postagem de 28 de agosto de 2024, neste Blog], apresentei uma proposta de fundamentação da Teoria do Conhecimento desenvolvid...