Tractatus Digito-Philosophicus

Tractatus Digito-Philosophicus, part of the project Wittgenstein for programmers by Harrison Ainsworth (whose blog is very much recommended to LtUers).

This is a somewhat odd venture: a translation of Wittgenstein's Tractatus into the domain of software development.

The software intellect – its basic conceptual forms – is rooted in the early 20th century, the 1910s, 1920s, 1930s. That is where the work of Church and Turing, lambda calculus and computability, comes from. And it is also the time of the Vienna Circle, logical positivism, and Wittgenstein's early work, the ‘Tractatus Logico-Philosophicus’.

One might notice one day that software seems pointedly related to its original philosophical contemporaries. It is fundamentally a logical construction. It is like a Wittgensteinian logical proposition, but instead of describing the world, software constructs the imagination. There is a clear isomorphism. All terms related to describing map to terms related to constructing, and similarly for world and imagination. It seems a simple transformation will take Wittgenstein to software.

So an interesting project emerges: translate the Tractatus into software terms! The result is sometimes obscure, but sometimes clearer than the original, and most is (still) quite odd and intriguing (which is perhaps the main virtue anyway) . . .

(So far it is only partial and unfinished.)

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Very cute

I was about to complain that he has mixed up his effects and intents, but on a second reading it does seem correct. It seems particularly fitting to retarget the Tractatus to such a constructivist domain, but what a shame that it is written in such informal language and cannot be mechanically checked :-)

Turing versus Wittgenstein

Turing versus Wittgenstein

Ooh, very interesting. Thanks.

very nice

As a philosopher who's taught the Tractatus (although not a real expert expert), I was expecting this translation into software terms to be silly ... but on reading it I think it's rather good.

Language Games

Gödel versus Wittgenstein