"Whereof one cannot speak, thereof one must be silent." ~ Ludwig Wittgenstein It has been a while since I read it, but I had always imagined the "Tractatus Log

"Whereof one cannot speak, thereof one must be silent." ~ Ludwig Wittgenstein It has been a while since I read it, but I had always imagined the "Tractatus Logico-Philosophicus" as a large function in which you input syntactically-correct sentences and it returns the truth-value, which can then be used to determine the clarity of the "picture" (http://en.wikipedia.org/wiki/Tractatus_Logico-Philosophicus#The_Picture_Theory http://en.wikipedia.org/wiki/Tractatus_Logico-Philosophicus#...). Truly fascinating. I should re-read it sometime. I feel like it has some parallels with the work I am doing in my "Design of Programming Languages" course. If you have a background in analytic philosophy, you may find this of interest: http://www.hxa.name/notes/note-hxa7241-20110219T1113Z.html http://www.hxa.name/notes/note-hxa7241-20110219T1113Z.html [Wittgenstein for Programmers] edit: well I'll be, hxa7241 himself just posted the link. Great minds think alike perhaps? ;)