A Interpretação de Wittgenstein sobre o Teorema da Incompletude de Godel

• Processo: 22/00703-0
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2023
• Data de Término da vigência: 29 de fevereiro de 2024
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Rafael dos Santos Ongaratto
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica paraconsistente Ludwig Wittgenstein
• Palavra(s)-Chave do Pesquisador: Deflacionismo | Godel | Lógica paraconsistente | teorema da incompletude | Wittgenstein | Teorema da Incompletude

Resumo

No Apêndice I às Observações sobre os fundamentos da matemática, Wittgenstein elabora um caso contra o teorema da incompletude de Gödel: o filósofo pretende reavaliar a conclusão gödeliana segundo a qual há fórmulas verdadeiras, mas que não são demonstráveis em sistemas formais capazes de representar uma quantidade suficiente da teoria aritmética. O presente projeto pretende avaliar as diferentes interpretações sobre a resposta de Wittgenstein nesse apêndice, enfatizando suas relações com o funcionamento matemático da prova de Gödel e interpretações não-standard da aritmética.