Validação dos enunciados das ciências empíricas

 Apresentação: "Sobre a validação dos enunciados das ciências empíricas". Link:

https://1drv.ms/p/s!Ai8LADHW0t6yzVnCUknHWJGxxqru?e=4HiH8y


Comentários

Postar um comentário

Postagens mais visitadas deste blog

Fundamentos Lógico-epistêmicos da IA - Parte III

Imagem
    Resumo : Na seção inicial desta postagem apresento um ensaio gerado pelo Copilot acerca dos lineamentos gerais da Teoria Algorítmica da Informação , abordando alguns aspectos principais desta teoria da informação, incluindo um adendo sobre complexidade algorítmica e números de Chaitin . Na seção final, acrescento algumas observações sobre os fundamentos dessa área.  ________________   O texto a seguir foi gerado pelo Copilot, em 08/09/25, e trata da Teoria Algorítmica da Informação, i.e., da interface entre a Teoria Clássica de Shannon e a Teoria de Máquinas de Turing .   Teoria Algorítmica da Informação: Composição entre Máquina de Turing e a Teoria Clássica da Informação de Shannon Uma Análise sobre os Fundamentos, as  Intersecções e as Implicações. Introdução A informação ocupa um papel central nas ciências exatas e naturais, estruturando desde processos comunicacionais elementares até sistemas computacionais complexos. Compreender a natu...
Leia mais

Fundamentos Lógico-epistêmicos da IA - Parte II

Imagem
      Resumo: Na seção inicial desta postagem apresento um ensaio que aborda o conceito de teoria científica, definindo-a como um conjunto de sentenças organizadas hierarquicamente em conceitos primitivos, definições, axiomas e teoremas. Faz-se uma contraposição ao conceito de modelo . Destacando-se a importância de uma estrutura lógica e de regras de interpretação empírica para atribuir conteúdo às teorias. Exemplos incluem as leis da mecânica newtoniana e modelos matemáticos aplicados a diferentes áreas, como p. ex. física, estatística e termologia. O ensaio também discute os requisitos para uma teoria científica, como correção sintática, sistematicidade, exatidão linguística, interpretabilidade empírica, coerência externa, poder explanatório, poder de previsão, escrutabilidade, refutabilidade e confirmabilidade. Na seção final, apresento um texto gerado pelo Copilot  sobre modelos matemáticos aplicados à física e à IA.       Sobre o conceito de t...
Leia mais

Sobre a linguagem como meio universal ou como cálculo - II parte.

Imagem
  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...
Leia mais