Lógica e aritmética no Tractatus de Wittgenstein: a importância da recursividade matemática para o método de tabelas de verdade

• Autor(a) principal: Simões, Eduardo
• Data de Publicação: 2022
• Outros Autores: Alves, Aline Aquino, Pires, Leandro de Oliveira
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Journal of Lean Systems
• Texto Completo: https://ojs.sites.ufsc.br/index.php/peri/article/view/5071
• topic: operações de verdade; cálculo proposicional; recursividade; Lógica; Matemática; Tractatus; Wittgenstein

O objetivo do artigo é apresentar o método de tabelas de verdade do cálculo proposicional do Tractatus Logico-Philosophicus como decorrente dos procedimentos de cálculo que envolvem operações recursivas no âmbito da matemática. A proposta é demonstrar o cálculo de base das operações de verdade como consequência da aplicação de recursos matemáticos que envolvem a noção de recursividade em séries formais, inspirada tanto no conjunto dos números naturais, quanto no cálculo fatorial, bem como nos procedimentos preconizados pela análise combinatória e pelo cálculo de probabilidade. Como diz Wittgenstein, “as funções de verdade podem ser ordenadas em série. Esse é o fundamento da teoria da probabilidade” (TLP 5.1). Espera-se, com isso, apresentar as operações de verdade do cálculo proposicional como provenientes da aplicação da aritmética aos recursos da lógica.