Abstract
Neste artigo, complemento uma intuição de Ian Proops para o qual a sintaxe lógica no Tractatus Logico-Philosophicus é teoria do simbolismo. A teoria do simbolismo é a teoria da figuração. Esta é um conjunto de sete condições que uma proposição elementar deve satisfazer. Desse modo, se a teoria do simbolismo é a teoria da figuração, e se a teoria da figuração é um conjunto de condições, então a sintaxe lógica é um conjunto de condições. Estas condições mais a noção de operação formal fornecem o que é necessário para obter-se proposições complexas a partir de proposições elementares. Com isso, também esclareço alguns aspectos da discussão entre Cora Diamond e Peter Hacker sobre a sintaxe lógica no Tractatus.