文章基本信息

标题：A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas Primitivas
本地全文：下载
作者：Lopes, Felipe Oliveira Araújo ; Lopes, Felipe Oliveira Araújo
期刊名称：Manuscrito
印刷版ISSN：0100-6045
出版年度：2016
卷号：39
期号：2
页码：59-88
DOI：10.1590/0100-6045.2016.V39N2.FL
出版社：UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
摘要：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.
其他摘要：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 notation, searching for similarities with the structures usually seen in primitive recursive functions. Section 1 discusses how pure logic in the Tractatus allows the achievement of a logical syntax, essential to any system of signs in a representation, and how it is possible to establish an ideography from it. The sections 2 and 3 present the obtainment of his ideography by using procedures of pure logic, resulting in the General Form of the Proposition, the General Form of the Operation, the General Form of the Series and the General Form of the Number. Sections 4 and 5 associate the ideographic notation of the Tractatus with the notation of primitive recursive functions.
关键词：Linguagem;Análise Lógica;Matemática;Recursão Primitiva
其他关键词：Language;Logical Analysis;Mathematics;Primitive Recursion