UPDF AI

A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas Primitivas

Felipe Oliveira Araújo Lopes

2016 · DOI: 10.1590/0100-6045.2016.V39N2.FL
1 Citations

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.