Classical Logic without Bivalance

Este artigo aplica a semântica de Sandqvist para a lógica clássica sem bivalência às questões fundamentais da metamatemática, oferecendo uma prova de consistência elementar para a Aritmética de Peano que torna a indução constitutiva do significado e evita o uso de ordinais transfinitos ou verdades transcendentes.

O essencial

Imagine que a matemática é como um jogo de tabuleiro muito antigo e complexo, chamado "Aritmética" (o estudo dos números). Durante séculos, os filósofos e matemáticos discutiram: o que realmente significa que uma regra desse jogo é verdadeira?

Existiam duas grandes escolas de pensamento:

1. Os "Realistas" (Denotacionalistas): Diziam que os números são como objetos reais, flutuando em um universo mágico fora da nossa cabeça. A verdade depende se a frase combina com esses objetos invisíveis.
2. Os "Formalistas": Diziam que a matemática é apenas um jogo de manipular símbolos (como peças de xadrez) seguindo regras, sem que as peças signifiquem nada além do que as regras dizem.

O problema é que ambas as visões têm falhas. Os realistas precisam acreditar em coisas que não podemos provar que existem. Os formalistas têm dificuldade em explicar por que o jogo funciona tão bem no mundo real e enfrentam problemas estranhos quando tentam provar que o jogo nunca vai "quebrar" (ser inconsistente).

A Nova Ideia: O Significado está na Conversa

O autor deste artigo, Alexander Gheorghiu, propõe uma terceira via, baseada no trabalho de um filósofo chamado Sandqvist. A ideia central é o Inferencialismo.

Pense na matemática não como um mapa de um território invisível, nem como um jogo de tabuleiro cego, mas como uma conversa.

• O significado de um número (como "5") não vem de um objeto mágico lá fora.
• O significado vem de como usamos o número na conversa.
• Se eu digo "5", você sabe que posso somar com 3 para fazer 8. Se eu digo "5", você sabe que é maior que 4. O significado é definido pelas regras de como podemos "empurrar" e "puxar" essas ideias na nossa lógica.

O Grande Problema: "O Infinito que Escapa"

Na matemática tradicional, existe um problema chato chamado $\omega$-incompletude.
Imagine que você prova que o número 1 é legal, o número 2 é legal, o número 3 é legal... e assim por diante, para todos os números que você consegue escrever. Mas, estranhamente, você não consegue provar que "todos os números são legais" de uma vez só. É como se você tivesse provado para cada pessoa na fila, mas não conseguisse provar que a fila inteira é legal.

Isso acontece porque, na visão tradicional, a fila pode ter "fantasmas" (números que não têm nome) que você não consegue alcançar com seus nomes.

A Solução do Artigo:
Gheorghiu diz: "Esqueça os fantasmas". Se o significado dos números vem das regras da nossa conversa (nossa teoria), então só existem os números que conseguimos nomear e manipular com nossas regras.

• Se a nossa teoria diz que todo número é um "nome" (um numeral), então não há espaço para fantasmas.
• Isso resolve o problema da fila inteira: se você provou para cada nome, provou para a fila toda, porque a fila é feita apenas de nomes.

A Prova de que o Jogo Não Quebra (Consistência)

O maior desafio da matemática é provar que o sistema de regras não é contraditório (ou seja, que não podemos provar que "1 = 0" ao mesmo tempo que "1 ≠ 0").

O autor mostra que, usando essa nova visão de "conversa", podemos provar que a Aritmética de Peano (o sistema padrão de matemática) é segura.

• Como? Ele cria um "base" (um conjunto de regras de conversa) que simula a matemática.
• Ele usa uma "balança" (uma função de peso) para pesar os termos. Se você tentar provar algo falso (como 1=0), a balança mostra que os pesos não batem.
• O Pulo do Gato: Essa prova usa apenas a lógica simples que já usamos no dia a dia (indução nos números naturais). Ela não precisa de "ordinais transfinidos" (números infinitos gigantes que só existem na cabeça de matemáticos avançados) nem de acreditar em universos mágicos de objetos.

Analogia Final: O Jogo de "Diz que é"

Imagine que a matemática é um jogo de "Diz que é" (como o jogo de adivinhar quem é a pessoa).

• Visão Antiga: Você precisa acreditar que a pessoa "real" existe em outro mundo para o jogo fazer sentido.
• Visão do Artigo: O jogo faz sentido porque todos concordam nas regras de como descrever a pessoa. Se eu digo "ela tem olhos azuis" e você diz "ela tem cabelo castanho", e as regras do jogo permitem essa combinação, então ela existe dentro do jogo.

O autor nos diz: "Não precisamos sair do jogo para provar que o jogo é seguro. As próprias regras do jogo, bem entendidas, garantem que ele não vai entrar em colapso."

Resumo em uma frase

Este artigo mostra que podemos ter uma matemática clássica sólida e segura, sem precisar acreditar em "números mágicos" invisíveis nem usar lógica complicada demais, bastando entender que o significado dos números vem de como nós os usamos e conversamos sobre eles.

Resumo técnico

Resumo Técnico: Aritmética Clássica sem Bivalência

1. Problema e Contexto

O artigo aborda uma questão fundamental na filosofia da lógica e na metamatemática: como fornecer uma conta anti-realista (inferencialista) da lógica clássica e da aritmética que seja capaz de lidar com problemas metamatemáticos centrais, como a consistência e a completude, sem recorrer a pressupostos realistas (estruturas independentes da mente) ou formalistas estritos (manipulação de símbolos sem interpretação).

O problema específico tratado é a $\omega$-incompletude e a justificativa da indução em sistemas como a Aritmética de Peano (PA). Tradicionalmente:

• O Formalismo (Hilbert) trata a matemática como regras de manipulação de símbolos, mas enfrenta dificuldades em explicar por que uma teoria prova $\phi(n)$ para todo numeral $n$, mas falha em provar $\forall x \phi(x)$ ($\omega$-incompletude), tratando isso como uma característica bruta do cálculo.
• O Denotacionalismo (Tarski) explica isso via modelos com entidades não nomeadas, mas pressupõe uma metafísica realista e uma teoria de significado baseada em condições de verdade, o que contradiz o projeto anti-realista de Dummett.

O objetivo do artigo é aplicar a semântica de Sandqvist (2009) para a lógica clássica sem bivalência ao domínio da metamatemática, demonstrando que é possível provar a consistência da Aritmética de Peano (PA) de forma elementar, sem ordinais transfinitos ou ontologia realista.

2. Metodologia: Semântica de Suporte Inferencialista

O autor utiliza a semântica de Sandqvist, que é uma forma de semântica de prova (proof-theoretic semantics). A metodologia baseia-se nos seguintes pilares:

• Base (Base): Um conjunto de regras atômicas que representa os compromissos inferenciais materiais de um agente.
• Relação de Suporte ($\Vdash_B$): Uma relação definida indutivamente entre uma base $B$ e uma fórmula $\phi$. Diferente da semântica de modelos, a verdade não é definida por estruturas externas, mas pela derivabilidade baseada nas regras da base.
  • A definição de suporte para quantificadores universais ($\forall x \phi$) é restrita aos termos fechados da linguagem: $\Vdash_B \forall x \phi$ se e somente se $\Vdash_B \phi[x \mapsto t]$ para todos os termos fechados $t$.
• Definição de Teorias Aritméticas:
  • Uma teoria $\Gamma$ é numericamente definida se, para todo termo fechado $t$, existe um numeral $\bar{n}$ tal que $\Gamma \Vdash (t = \bar{n})$.
  • Isso implica que a ontologia da teoria é totalmente capturada pelos numerais, eliminando a distinção entre "termos" e "numerais" que gera a $\omega$-incompletude em outras abordagens.

3. Contribuições Chave e Resultados

A. Resolução da $\omega$-Incompletude
O artigo demonstra que, sob esta semântica, a $\omega$-incompletude desaparece se a teoria for numericamente definida.

• Proposição 5: Se $\Gamma$ é numericamente definido e prova $\phi(\bar{n})$ para todo numeral $\bar{n}$, então $\Gamma \Vdash \forall x \phi(x)$.
• Justificativa: Como a teoria determina que todo termo fechado é igual a algum numeral, o quantificador universal não "flutua" sobre entidades não nomeadas; ele restringe-se estritamente aos termos da linguagem.

B. A Indução como Constitutiva do Significado
O autor argumenta que a indução não é uma hipótese substantiva sobre um domínio pré-existente, mas sim constitutiva do significado dos termos aritméticos.

• Proposição 6: Em teorias numericamente definidas, a indução é uma consequência lógica da definição de suporte e da substituição de iguais por iguais. Se a teoria prova o caso base e o passo indutivo, ela prova o caso universal para todos os termos fechados.

C. Prova de Consistência Elementar da Aritmética de Peano (PA)
Este é o resultado central do artigo. O autor fornece uma prova de consistência para a PA ($\text{PA} \nVdash \bot$) que:

1. Não utiliza ordinais transfinitos: Diferente das provas de consistência de Gentzen (que usam indução transfinita até $\epsilon_0$), esta prova usa apenas indução ordinária sobre os números naturais.
2. Não assume realismo: A prova não depende de modelos de conjuntos reais, mas da construção de uma Base Aritmética ($A$).
3. Mecanismo da Prova:
   • Define-se uma função de peso $w(t)$ sobre termos fechados recursivamente (onde $w(0)=0$, $w(S(t)) = w(t)+1$, etc.).
   • Demonstra-se por indução estrutural que, se uma equação $t_1 = t_2$ é derivável na base $A$, então $w(t_1) = w(t_2)$.
   • Como $w(1) \neq w(0)$ (pois $1 \neq 0$), a base$A$não pode derivar$1=0$, e consequentemente não pode derivar$\bot$ (falso).
   • Como a base $A$ suporta todos os axiomas da PA, conclui-se que a PA é consistente.

D. Resposta a Objeções

• Contra o Formalismo: O autor rejeita a ideia de que a definição da relação de suporte (que envolve quantificadores e negações complexas) torna a metateoria tão complexa quanto a teoria de modelos. Sob o inferencialismo, a relação de suporte é uma explicação meta-teórica do uso da linguagem, não uma fórmula a ser aritmetizada.
• Contra o Realismo Model-Teórico: A objeção de que a prova "apenas desloca o problema" para os números naturais é refutada. No inferencialismo, a indução não é uma verdade sobre uma estrutura externa, mas a própria condição para a compreensão do conceito de número natural.

4. Significado e Implicações

• Fundamentação Anti-Realista da Lógica Clássica: O artigo mostra que é possível justificar o raciocínio clássico (incluindo a lei do terceiro excluído e a consistência da PA) sem recorrer a uma metafísica realista de estruturas independentes da mente.
• Reconciliação de Q e PA: Sob esta semântica, a distinção entre a Aritmética de Robinson (Q) e a de Peano (PA) torna-se sintática, não semântica. Se a teoria fixa a ontologia nos numerais, a indução torna-se uma consequência natural, eliminando o "gap" semântico que existe em abordagens modelares.
• Circulação Pragmática: O autor defende que o uso de indução na metateoria para provar a consistência da PA não é um círculo vicioso, mas uma "circulação pragmática" aceitável (no sentido de Dummett), pois a indução é constitutiva do significado dos números que estamos tentando analisar.
• Infinidade Potencial: A abordagem lida com a infinidade da linguagem (sequência infinita de constantes) não como uma totalidade completada (conjunto infinito real), mas como uma "infinidade potencial", alinhando-se com práticas matemáticas ordinárias onde novos símbolos podem ser introduzidos conforme necessário.

Em suma, o artigo oferece uma solução elegante para o problema da fundamentação da aritmética clássica, demonstrando que a consistência e a completude podem ser estabelecidas dentro de uma estrutura inferencialista estrita, utilizando apenas recursos elementares e rejeitando a necessidade de ontologias transcendentais.