I've actually always wanted something like this for Spinoza's Ethics. The whole book is a directed graph, and is hard to read without constantly leafing around (propositions supported by other propositions and their corollaries, etc.). Similar in structure to this book (the "geometric method") as both are inspired by Euclid's Geometry (and I'm sure Wittgenstein had read Spinoza as well).<p>Spinoza's Ethics is probably more deeply nested than this, and it would be handy to be able to see the original Latin forms of propositions alongside the English translation(s). The highly structured and granular form of the book means that you could see the translations on a proposition by proposition basis, so it would really lend itself to that kind of thing.<p>I went so far as to work the whole of the book into XML back in 1999 or 2000, but I've long since lost that. These days I'd probably put it into a relational database.<p>Every few years I attempt it, but UI dev isn't my forte.
This is cool in general, but I feel like it disrupts the flow of the writing/presentation. There is something fundamentally poetic about the structure and rhythm of the Tractatus. Perhaps that is why it has held so much appeal. In any case I feel like indentation or some other nesting convention found in software formatting would do a better job of visually representing the logical structure of the book without disrupting the flow.
You can download a free ebook edition of Tractatus with nice MathML formulas at Standard Ebooks: <a href="https://standardebooks.org/ebooks/ludwig-wittgenstein/tractatus-logico-philosophicus/c-k-ogden" rel="nofollow">https://standardebooks.org/ebooks/ludwig-wittgenstein/tracta...</a>
A perhaps useful quick reference point-by-point summary of the Tractatus but it would be even better if one could see the whole tree and branches in full or expandable/collapsible branch by branch. As is, it requires the text to be open in front of one (this may not always be convenient in the internet age).
There was also this some years ago<p><a href="https://wittgenstein-network.gitlab.io" rel="nofollow">https://wittgenstein-network.gitlab.io</a><p><a href="https://arxiv.org/abs/1703.04336" rel="nofollow">https://arxiv.org/abs/1703.04336</a>
Is this just some hyped up collection of interconnected assertions (for lack of a better description) or does it actually reveal something non-trivial if you take the effort to dive into it?
Looking at Tractatus logico-philosophicus, I'm reminded of Ayn Rand's Objectivism - another attempt to derive a philosophy from axiomatic principles.<p>However, it's probably impossible to deductively derive something that lines up with reality, given how language itself is an imperfect medium for that.<p>It looks like Wittgenstein eventually points out the problems with the Tractatus in his later works like "The Philosophical Investigations"