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

Abstract

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.Palavras Chave: Linguagem, Análise Lógica, Matemática, Recursão Primitiva. Abstract:In the Tractatus Logico-Philosophicus (T) Wittgenstein presents a sketch of an ideography which he intends to be perspicuous to the essential conditions of a linguistic representation. His laconic style and concise notation, nevertheless, leaves implicit many elements that are fundamental for the establishment of a satisfactory syntax with that goal. The present article investigates some of the main obscure points in his