> Sabe-se que Wittgenstein não recebeu bem os resultados de Goedel. Mas, sua > crítica foi depois muito rebatida. Francesco Berto, todavia, no artigo cujo > resumo está a seguir, argumenta que Wittgenstein propositalmente recusava a > distinção entre o nível objeto e o meta-nível e ao mesmo tempo tinha > intuições que hoje conferem com propostas de uma aritmética dita > paraconsistente. > > Quem tiver comentários a fazer, contra ou a favor da ideia, sinta-se à > vontade.
Na seção 6.1 deste artigo (escrito em 1997) https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p135 você poderá encontrar, caso tenha interesse em conferir, uma discussão sobre a bem conhecida rejeição wittgensteiniana das meta-disciplinas, e o argumento segundo o qual "este ponto de vista culmina num grande engano na interpretação wittgensteiniana das demonstrações de consistência relativa, e na completa incapacidade de entender o funcionamento do Segundo Teorema de Gödel." JM > “The Gödel Paradox and Wittgenstein's Reasons - Philosophia Mathematica > > By Francesco Berto > > > “An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First > Incompleteness Theorem is provided in the light of paraconsistent arithmetic: > in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing > the consequences of his deliberate rejection of the standard distinction > between theory and metatheory. The reasoning behind the proof of the truth of > the Gödel sentence is then performed within the formal system itself, which > turns out to be inconsistent. It is shown that the features of paraconsistent > arithmetics match with some intuitions underlying Wittgenstein’s philosophy > of mathematics, such as its strict finitism and the insistence on the > decidability of any mathematical question. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh6A-ToS%3DnQTONwDjst3CyFPvGn_GYHrdcKaqtZBj13Zg%40mail.gmail.com.