主题：【原创】【讨论】征集图灵测试题目 -- 任爱杰

逻辑是一个给予方式中自我封闭的关系系统。它只能证明自己能证明的，可证明的一定为真，但是真不一定能证明。前者是它所定义的真，后者是外部对象的真。也就是必须引入外部标准才有结论。

也就是说，逻辑的真实性是人决定的，等价说法就是机器人的智能是人决定的，没有人就没有智能。因为机器人只是复制了人的逻辑结构。

你能把逻辑等于你自己吗？显然不能。同样的，若机器人决定图灵测试，他觉得你是机器人，你就能把自己当机器人吗？

以上说法等价转换一下：形式系统认为你是形式化对象，你就能把自己当一个形式来生活吗？也即著名的，如何证明你妹是你妹、如何证明你是你自己？

这其实就是国家机器的问题，你只是一个对象或数字，而不是真实的生存着。越是强调形式化、强调理性的地方越是如此。比如这个说法的起点，形式化的法律。

这也就是有名无名和不完备定理。简单讲，概念（逻辑、形式化的语言系统）只是把握现实的工具，它无法等于现实。而人工智能正是用这些东西组织起来的。想让它等于现实只能是你觉得他是。

注：这也是经院哲学的误区，因为神和语言、逻辑捆绑到一起，混淆神的言语和经验实在的结果就是　语言＝现实。即太初有道。这也是机械唯物主义的起源，认为精确的科学概念可以等于现实。如物理主义。所以这里的一个问题，其实是一堆问题。比如物化等于光有形式没有你了，权力源于对形式系统（名教）的掌控。这也是哲学系自以为是、古人是万物同构的根源。