A lógica do Tractarus

• Autor(a) principal: Cuter, João Vergílio Gallerani
• Data de Publicação: 2016
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Manuscrito (Online)
• Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8644708
• topic: Wittgenstein; Tractatus Lógico-Philosophicus; lógica; Frege; Russell; teoria dos tipos; logicismo

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”.