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

• Main Author: Felipe Oliveira Araújo Lopes
• Format: Article
• Language: English
• Published: Universidade Estadual de Campinas
• Series: Manuscrito
• Subjects: Language; Logical Analysis; Mathematics; Primitive Recursion
• Online Access: http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452016000200059&lng=en&tlng=en

Resumo No Tractatus Logico-Philosophicus (T) Wittgenstein apresenta o esboço de uma ideografia a qual ele pretende perspícua às condições essenciais de uma representação linguística. Seu estilo lacônico e sua notação elíptica, no entanto, deixam subentendidos diversos elementos fundamentais para o estabelecimento de uma sintaxe satisfatória com esse objetivo. O presente artigo faz o levantamento de alguns dos principais pontos obscuros em sua notação, buscando aproximá-la de estruturas similares às observadas em funções recursivas primitivas. A seção 1 discute como a lógica pura no Tractatus permite a obtenção de uma sintaxe lógica, comum a qualquer sistema de sinais em uma representação, e como a partir dela é possível estabelecer a ideografia. As seções 2 de 3 apresentam a derivação dessa ideografia utilizando os procedimentos da lógica pura, resultando na Forma Geral da Proposição, na Forma Geral da Operação, na Forma Geral da Série e na Forma Geral do Número. As seções 4 e 5 associam a notação ideográfica do Tractatus à notação de funções recursivo-primitivas.