Lógica e aritmética no Tractatus de Wittgenstein: a importância da recursividade matemática para o método de tabelas de verdade
Palavras-chave:
operações de verdade, cálculo proposicional, recursividade, Lógica, Matemática, Tractatus, WittgensteinResumo
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.
Referências
BRANQUINHO, J.; MURCHO, D.; GOMES, N. G. Enciclopédia de termos lógico-filosóficos. São Paulo: Martins Fontes, 2006.
COPI, Irving M. Introduction to Logic. New York: Macmillan Publishing Company, 1953.
LANDIM FILHO, Raul F. Sentido e Verdade no Tractatus de L. Wittgenstein. Trabalho apresentado no Encontro de Filosofia das Ciências, 1, nov. Campinas, 1979. 10 p. (datil.).
MORTARI, Cezar A. Introdução à Lógica. São Paulo: Editora Unesp, 2001.
PILCH, Martin. The Structure of Wittgenstein’s Logical Space. Wittgenstein-Studien, v. 8, n. 1, p. 15-60. ISSN (Online): 1868-7458, ISSN (Print): 1868-7431, 2017.
SANTOS, José Plínio O.; MELLO, Margarida P.; MURARI, Idani T. C. Introdução à análise combinatória. 4. ed. Rio de Janeiro: Editora Ciência Moderna, 2007.
SIMÕES, E.; CORRÊA, V. M.; SANTOS, W. R. “Sobre a importância e abrangência da análise das proposições condicionais na história da lógica”. Investigação Filosófica, v. 11, n. 3, p. 95-114, 2020.
WRIGHT, G. H. von (org.). Letters to Russell, Keynes and Moore. Trad. ingl. B. F. McGuinness. Oxford: Blackwell, 1974.
WITTGENSTEIN, L. Notas sobre lógica. In: Cadernos: 1914-1916. Trad. João Tiago Proença. Lisboa: Edições 70, 1998.
_____. Tractatus Logico-Philosophicus. 3. ed. Trad. apresentação e estudo introdutório Luiz Henrique Lopes dos Santos. [Introdução Bertrand Russell]. São Paulo: EDUSP, 2001.
Downloads
Publicado
Edição
Seção
Licença
Copyright (c) 2022 Eduardo Simões, Aline Aquino Alves, Leandro de Oliveira Pires

Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
- Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Creative Commons Attribution License que permite o compartilhamento do trabalho com reconhecimento da autoria do trabalho e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).