Reading all these other examples, feels like Tractatus would be a useful example tool for teaching graphs and RDF. This person's example on github was my favorite of the ones I found, as I was going to implement it like this myself, then had the sense to look it up and see if anyone else had.
Some time ago I posted about using these trees for expressing complex ontologies in a way that you can absorb them quickly, Tractatus is a great example of something impenetrable but consistent that could be used as a test for the quality and usability of a teaching ontology scheme.
His hierarchical format preceded modern software, but I wonder what his opinion might have been on tabs v. spaces. :)
Given it's a treegraph of axioms and rules, I'd wonder if there is an isomorphic or homomorphic graph that could form a syntax tree for a domain specific language or the basis of a reasoner or even a classifier. It's as if the Ted Chiang story writes itself.
Great idea, but it would work much better as an educational tool if the text was also presented, with text highlighted to show the conceptual connections.
Michele Pasin's PhiloSurfical web app did a visualization of the Tractatus in the early 2000s, using Common Lisp and Javascript. The app is revived here [1]. There is also code [2] and a writeup [3].
I recall the original version could show the text in the original German or a choice of English translations, but I can't find that in this revived version.
Some time ago I posted about using these trees for expressing complex ontologies in a way that you can absorb them quickly, Tractatus is a great example of something impenetrable but consistent that could be used as a test for the quality and usability of a teaching ontology scheme.
His hierarchical format preceded modern software, but I wonder what his opinion might have been on tabs v. spaces. :)
Given it's a treegraph of axioms and rules, I'd wonder if there is an isomorphic or homomorphic graph that could form a syntax tree for a domain specific language or the basis of a reasoner or even a classifier. It's as if the Ted Chiang story writes itself.