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:

1. Aritmética recursiva (mínimo: $Q$ ou $PA$).

2. Codificação Gödeliana:

   • função de Gödel $g:\text{Sent}(L)\to \mathbb{N}$.

3. Capacidade de quantificação sobre códigos de sentenças.

4. Um predicado de verdade interno $T(x)$ que pretende capturar a semântica geral de $L$.

Formalmente, queremos que:

$$\mathrm{\forall }\phi \in \text{Sent}(L),L⊢T(\phi )\leftrightarrow \phi$$

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:

1. Fechamento sob negação:

$$T(\mathrm{\neg }\phi )\leftrightarrow \mathrm{\neg }T(\phi )$$

2. Fechamento sob quantificação:

$$T(\mathrm{\forall }y\phi (y))\leftrightarrow \mathrm{\forall }yT(\phi (\dot{y}))$$

3. Fechamento sob substituição:

$$T(\phi (t))\leftrightarrow T(\phi (\dot{t}))$$

4. Totalidade:

$$\mathrm{\forall }n\in \mathbb{N},T(n)\acute{\text{e}}\text{ definido}$$

Essas condições são necessárias para que $T$ capture a semântica geral de $L$.

12.3. Construção diagonal formal

Definimos a função diagonal $\mathrm{\Delta }$ como:

$$\mathrm{\Delta }(f)=\text{senten}\stackrel{¸}{\text{ç}}\text{a }\sigma \text{ tal que }\sigma \leftrightarrow f(\sigma )$$

Escolhemos:

$$f(x)=\mathrm{\neg }T(x)$$

Então:

$$\sigma =\mathrm{\Delta }(\mathrm{\neg }T(x))$$

E, por definição:

$$L⊢\sigma \leftrightarrow \mathrm{\neg }T(\sigma )$$

Essa é a sentença diagonal de Tarski-Gödel.

12.4. Derivação da contradição

Assuma que $T$ é total e satisfaz o Esquema T universal.

Caso 1: $T(\sigma )$ é verdadeiro

Então:

$$\sigma \leftrightarrow \mathrm{\neg }T(\sigma )$$

Substituindo:

$$\sigma \leftrightarrow \mathrm{\neg }\text{verdadeiro}$$

Logo:

$$\sigma \leftrightarrow \text{falso}$$

Mas se $\sigma$ é falsa, então:

$$T(\sigma )\acute{\text{e}}\text{ falso}$$

Contradição.

Caso 2: $T(\sigma )$ é falso

Então:

$$\sigma \leftrightarrow \mathrm{\neg }\text{falso}$$

Logo:

$$\sigma \leftrightarrow \text{verdadeiro}$$

Mas se $\sigma$ é verdadeira, então:

$$T(\sigma )\acute{\text{e}}\text{ verdadeiro}$$

Contradição.

12.5. Conclusão formal

Nenhuma linguagem $L$ que contenha:

• aritmética recursiva,

• codificação Gödeliana,

• predicado de verdade interno total,

• fechamento semântico geral,

pode ser consistente.

Formalmente:

$$\text{Se }L\acute{\text{e}}\text{ consistente, ent}\tilde{\text{a}}\text{o n}\tilde{\text{a}}\text{o existe }T\text{ tal que }L⊢T(\phi )\leftrightarrow \phi \mathrm{.}$$

Ou:

Não existe teoria geral da semântica para linguagens suficientemente expressivas.

Essa é a forma técnica da conjectura de Tarski.

13. Aprofundamento: hierarquias transfinitas e o colapso da universalidade

O artigo do IFCoLog discute (sem eu reproduzir) que mesmo hierarquias transfinitas não resolvem o problema.

Aqui está a reconstrução formal:

13.1. Definição de hierarquia de predicados de verdade

Para cada ordinal $\alpha$, definimos:

$$T_{\alpha }(x)$$

com:

$$T_{\alpha }(\phi )\leftrightarrow \phi$$

mas apenas para sentenças cujo nível semântico é < $\alpha$.

13.2. Proposição formal

Proposição: Para qualquer ordinal $\alpha$, não existe $T_{\alpha }$ que capture a semântica geral de todos os níveis $<\alpha$ sem gerar uma nova sentença diagonal que exige um nível $\alpha +1$.

Esboço da prova:

1. Construa a diagonal:

$${\sigma }_{\alpha }\leftrightarrow \mathrm{\neg }{T}_{\alpha }({\sigma }_{\alpha })$$

2. ${\sigma }_{\alpha }$ não pode ser avaliada por $T_{\alpha }$.

3. Portanto, é necessário definir $T_{\alpha +1}$.

4. O processo nunca termina.

13.3. Conclusão transfinitamente formal

$$\mathrm{\forall }\alpha ,T_{\alpha }\text{ n}\tilde{\text{a}}\text{o }\acute{\text{e}}\text{ universal}$$

Logo:

Não existe ordinal que suporte uma linguagem universal.

Isso reforça a tese:

A universalidade semântica é impossível mesmo em hierarquias transfinitas.

14. Relação com Gödel, Tarski e Feferman

14.1. Gödel

Gödel mostra:

$$\text{N}\tilde{\text{a}}\text{o existe sistema formal completo.}$$

14.2. Tarski

Tarski mostra:

$$\text{N}\tilde{\text{a}}\text{o existe predicado de verdade interno universal.}$$

14.3. Feferman

Feferman mostra:

$$\text{N}\tilde{\text{a}}\text{o existe metateoria }\acute{\text{u}}\text{ltima.}$$

A demonstração reconstruída aqui combina os três resultados em uma forma mais forte:

Não existe linguagem universal, nem finita, nem infinita, nem transfinita.

15. Conclusão técnica

A demonstração formal reconstruída aqui mostra que:

• a autorreferência é inevitável em linguagens expressivas;

• a diagonalização destrói qualquer predicado de verdade total;

• hierarquias transfinitas não resolvem o problema;

• a conjectura de Tarski é reforçada em sua forma mais forte.