Passed over in silence. On Wittgenstein's `Tractatus' and its system (Q2896316)

This is a first formal logic approach to Wittgenstein's \textit{Tractatus} ``that tries to do justice to the full text.'' To do so, the author needs not only interpret in several places the text to allow for a smooth and purely logical reading of it, but also to abstract from its poetry side, from the highly condensed mode of expression Wittgenstein chose. The result is a pleasant and very profitable walk through the \textit{Tractatus}, with many asides, historical notes, comparisons with the approaches and positions taken by Frege and Russell, and, most important, a formal exegesis, with formal definitions of the tractarian terms, that reveal, among others, that Wittgenstein's treatment of quantification is sound, and that his use of truth-tables and truth-operations anticipates Beth's semantic tableaux method. Several shortcomings are detected with the aid of the formalization proposed, such as the fact that Wittgenstein's goal of perfect notation is unattainable in the finite realm, so stepping out of it to embrace infinitary logic imposes itself and offers a possible solution.