Resumo
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”.
Referências
FREGE, G. (1962). Grundgesetze der Arithmethik (Hildesheim, Georg Olms).
———. (1966). Begriffsschrift und andere Aufätze (Hildesheim, Georg Olms).
———. (1967). Kleine Schriften (Hildesheim, Georg Olms).
RUSSELL, B. (1988). Logic and Knowledge (Londres, Unwin Hyman).
RUSSELL, B. & WHITEHEAD, A.N. (1910). Principia Mathematica, vol. I. (Cambridge, Cambridge University Press).
SMULLYAN, R. (1995). First Order Logic (Nova York, Dover).