Looks really interesting, but seems limited (maybe wisely) to analytic philosophy.<p>There is a whole strain of work from the 80s that was partly inspired by Heidegger and phenomenology AND the realization that some classical AI problems were computationally intractable. This work was controversial, to say the least, but influential in its way. I'd suggest that any course on this topic ought to at least touch on this work.<p><a href="http://mit.dspace.org/bitstream/handle/1721.1/6947/AITR-802.pdf" rel="nofollow">http://mit.dspace.org/bitstream/handle/1721.1/6947/AITR-802....</a><p><a href="http://leidlmair.at/doc/WhyHeideggerianAIFailed.pdf" rel="nofollow">http://leidlmair.at/doc/WhyHeideggerianAIFailed.pdf</a>