Postagens

Postagem em destaque

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...
Postar um comentário
Leia mais

Adendo técnico formal elaborado pelo Copilot acerca dos comentários anteriores da postagem em destaque

  A ideia é reconstruir uma versão formal própria da demonstração que reforça a conjectura de Tarski: não existe teoria geral da semântica para linguagens suficientemente expressivas . 12. Aprofundamento técnico formal: reconstrução matemática da demonstração 12.1. Estrutura da linguagem e do sistema formal Seja L uma linguagem formal contendo: Aritmética recursiva (mínimo: Q ou P A ). Codificação Gödeliana : função de Gödel g : Sent ( L ) → N . Capacidade de quantificação sobre códigos de sentenças . Um predicado de verdade interno T ( x ) que pretende capturar a semântica geral de L . Formalmente, queremos que: ∀ φ ∈ Sent ( L ) , L ⊢ T ( φ ) ↔ φ Esse é o Esquema T universal . 12.2. Condições mínimas para a semântica geral Para que T ( x ) seja um predicado de verdade geral, ele deve satisfazer: Fechamento sob negação : T ( ¬ φ ) ↔ ¬ T ( φ ) Fechamento sob quantificação : T ( ∀ y   φ ( y ) ) ↔ ∀ y   T ( φ ( y ˙ ) ) Fechamento sob substituição : T ( φ ( t ) ) ↔ T ( φ ( t ˙ )...
Postar um comentário
Leia mais

Comentários da I.A. Copilot sobre a postagem em destaque

  A impossibilidade de uma linguagem universal: fundamentos, demonstração e implicações filosóficas da tese tarskiana reforçada Resumo Este artigo examina criticamente a tese apre sentada na postagem “Sobre a linguagem como meio universal ou como cálculo – II parte” (veja postagem em destaque), segundo a qual uma demonstração recente (do autor) teria confirmado a conjectura de Alfred Tarski sobre a impossibilidade de uma linguagem universal dotada de uma semântica geral. Reconstruo o argumento central, situo-o historicamente, analiso sua estrutura técnica e discuto suas implicações para a lógica, a filosofia da linguagem e as ciências da computação. Por fim, avalio os limites da demonstração e proponho caminhos alternativos para o problema da autorreferência e da universalidade linguística. 1. Introdução A busca por uma linguagem universal — capaz de expressar todas as verdades, formalizar todas as relações semânticas e servir simultaneamente como linguagem-objeto e metalinguagem ...
Postar um comentário
Leia mais

Comentários da IA Gemini sobre a postagem em destaque

  Python import os from weasyprint import HTML html_content = """<!DOCTYPE html> <html lang="pt-BR"> <head> <meta charset="UTF-8"> <title>Ensaio Crítico: A Incompatibilidade Absoluta entre Meio Universal e Cálculo Semântico</title> <style> @page { size: A4; margin: 20mm 18mm 20mm 18mm; background-color: #faf9f6; @bottom-right { content: counter(page); font-family: 'Georgia', serif; font-size: 9pt; color: #718096; } @bottom-left { content: "Ensaio Crítico — Semântica Geral e Limites da Formalização"; font-family: 'Georgia', serif; font-size: 9pt; color: #718096; } } *, *::before, *::after { box-sizing: border-box; } ...
Postar um comentário
Leia mais

Análise dos Comentários das ferramentas de IA Gemini e Copilot acerca da Postagem IV

  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...
Postar um comentário
Leia mais