[spyijwuh] Putting philosophers out of work

Replace a human philosopher by a computer program.

While there is endless variety of human thought about everything, philosophers limit themselves to thinking about thought itself, which is smaller.  There's the "meta" problem of thinking about thinking about thought which is even more limited.  Repeat until fixed point.

Internally it would be implemented as a formal methods system, with rules for "understanding" and classifying new thoughts presented to it by a regular human "chatting up a philosopher", as well as generating new thoughts previously unknown.  This philosopher will not make logical mistakes, and will catch your mistakes if you make one.  It's very much a just a tool, like a calculator.

The user interface will be the hardest part, as parsing and generating natural language input and output is often awkward, with both the human and the computer hitting limitations of the language.