五千年(敝帚自珍)

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

共:💬76 🌺268 🌵3
全看分页树展 · 主题 跟帖
家园 缩减一下,就是逻辑问题。

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

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

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

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

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

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

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

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河