Acessibilidade / Reportar erro

A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas 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.

Keywords:
Language; Logical Analysis; Mathematics; Primitive Recursion

UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência Rua Sérgio Buarque de Holanda, 251, 13083-859 Campinas-SP, Tel: (55 19) 3521 6523, Fax: (55 19) 3289 3269 - Campinas - SP - Brazil
E-mail: publicacoes@cle.unicamp.br