Blog sobre Filosofia Contemporânea das Ciências

  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 ˙ )...

  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 ...