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. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)