A lógica do Tractarus

Resumen

A lógica do Tractatus está baseada na negação do conceito fregiano de função e da teoria dos tipos de Russell. A proposição elementar é vista como uma concatenação de nomes e o nome é visto como um símbolo essencialmente insaturado. A teoria dos tipos, por sua vez, é tomada como um contra-senso: ela diz o que não pode ser dito e tenta antecipar dogmaticamente aquilo que apenas a análise lógica da linguagem poderia revelar. Em seu lugar, Wittgenstein insere o conceito de figuração lógica e a distinção entre mostrar e dizer. Sem a hierarquia dos tipos, Wittgenstein não tinha como conservar a análise fregiana das atribuições numéricas. Tudo que se conseguia com o auxílio das chamadas “propriedades hereditárias”, no entanto, pode ser conseguido no Tractatus com as “séries de formas”.