A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas Primitivas
A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas Primitivas
Felipe Oliveira Araújo Lopes
Abstract
No Tractatus Logico-Philosophicus (T) Wittgenstein apresenta o esboco de uma ideografia a qual ele pretende perspicua as condicoes essenciais de uma representacao linguistica. Seu estilo laconico e sua notacao eliptica, no entanto, deixam subentendidos diversos elementos fundamentais para o estabelecimento de uma sintaxe satisfatoria com esse objetivo. O presente artigo faz o levantamento de alguns dos principais pontos obscuros em sua notacao, buscando aproxima-la de estruturas similares as observadas em funcoes recursivas primitivas. A secao 1 discute como a logica pura no Tractatus permite a obtencao de uma sintaxe logica, comum a qualquer sistema de sinais em uma representacao, e como a partir dela e possivel estabelecer a ideografia. As secoes 2 de 3 apresentam a derivacao dessa ideografia utilizando os procedimentos da logica pura, resultando na Forma Geral da Proposicao, na Forma Geral da Operacao, na Forma Geral da Serie e na Forma Geral do Numero. As secoes 4 e 5 associam a notacao ideografica do Tractatus a notacao de funcoes recursivo-primitivas.
