ROUTE TIMELINE · 6 NODES
语义、理解与心灵哲学路线
形式操作、意义与理解之间有什么关系？
问题何时发生转折？
点按图中的节点，进入问题、方法与原文定位。手机可横向滑动查看大图。
沿节点阅读问题、方法与证据
筛选作用于下方节点清单；上方图始终显示完整路线。点击图中的节点会恢复完整清单并跳转。
功能状态：从材料同一到组织关系
- 问题
- 疼痛是否必须等同于跨物种相同的物理化学状态？
- 方法与核心变化
- 以输入、内部状态、输出的概率转移关系描述功能组织。
- 限制
- 原文没有实验验证所有心理状态的多重实现；“功能”不能只用一次行为输出替代。
- 接下来的问题
- 什么转移、反事实与干预证据足以确定同一种功能组织？
前提、原文定位与阅读范围
前提：这是有待具体化和验证的假说图式；不同描述可适用同一物理系统。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
Putnam提出疼痛是整个有机体的功能状态，并用概率自动机说明功能组织的关系定义。
定位：PDF 4，印刷54 · putnam-1967
跨物种同一物理状态的要求被视为强且不太可信的假说；相似功能组织不必要求相同物理细节。
定位：PDF 6，印刷56 · putnam-1967
The Nature of Mental States（原题Psychological Predicates） ↗
Hilary Putnam
版本：实读重印本Chapter 10，8页（印刷51–58）；重印年未确证。1967原题由另一本扫描末页的出处说明核对，未逐字对照两版。
已读：PDF 4、6（印刷54、56）：概率自动机、功能状态假说、多重实现论证。 (指定片段)
未读／未核验：原版正文、完整行为主义讨论及后期修正未系统核对。
仅按所列实际阅读片段审校主张；未独立重验原文实验、全部证明或版本异文。
当期反驳：层次与复杂度改变直觉
- 问题
- 低层执行者不理解，能否推出整体不理解？
- 方法与核心变化
- 质疑中文房间的复杂度跳跃及跨层直觉。
- 限制
- 这是反驳论证，不是对某个AI有意识或理解的实证确认。
- 接下来的问题
- 两方究竟在哪个系统层次与充分条件上分歧？
前提、原文定位与阅读范围
前提：承认物理过程由规则约束，并把系统级组织作为候选解释。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
评论指出有限故事问答与完整图灵测试之间的复杂度差别。
定位：433，PDF 17，Hofstadter评论部分 · hofstadter-1980
放慢时间尺度、只观察低层执行者，可能误导对整体系统性质的判断。
定位：434，PDF 18，评论前半 · hofstadter-1980
Reductionism and religion（对Searle的评论） ↗
Douglas R. Hofstadter
版本：同一期BBS开放评论，印刷433–434；与目标文章共用PDF载体。
已读：E批重新选读433–434（PDF 17–18）Hofstadter评论；其前后其他评论不计入该记录。 (指定片段)
未读／未核验：未把评论中的数量级估计当实测运行成本；未审读全部往返答复。
只核对所列原文范围；作者实验未计为本站复现。
中文房间：程序是否足够产生理解？
- 问题
- 合适的形式程序是否本身就足以产生意向性？
- 方法与核心变化
- 用理想规则执行者区分形式操作与理解，并回应系统和机器人答复。
- 限制
- 思想实验不是机器不可能理解的经验证明；本批没有重读全部作者答复。
- 接下来的问题
- 整体与执行部件的理解归属应怎样检验？
前提、原文定位与阅读范围
前提：理想行为能力是设定；理解归属层次和“足够”条件有争议。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
Searle针对强AI的充分性主张，区分作为工具的程序与真正理解。
定位：417–418，PDF 1–2；延续B批选读 · searle-1980
他并不否认人工机器原则上思考，而是否认形式程序本身已经充分。
定位：422–424，PDF 6–8；延续B批选读 · searle-1980
Minds, brains, and programs ↗
John R. Searle
版本：BBS 3:417–457合刊扫描，42页；目标文章417–424，后含评论与答复。
已读：目标文章417–424（PDF 1–8），含六类答复、结论和注释。 (指定片段)
未读／未核验：其余评论与作者答复未系统通读；Hofstadter评论另设阅读记录。
只核对所列原文范围；作者实验未计为本站复现。
意向立场：从信念归因到预测策略
- 问题
- 何种情况下把信念和欲望归给一个系统有解释力？
- 方法与核心变化
- 作为理性行动者预测其行为，并与物理和设计立场比较。
- 限制
- 预测成功尚不自动回答接地或主观体验问题；本批未读其全部防御论证。
- 接下来的问题
- 不同层次的模型如何在新情境与干预下比较预测力？
前提、原文定位与阅读范围
前提：预测需依赖主体情境和历史；信念论点带有现实主义主张。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
Dennett主张信念归因涉及可由特定预测策略识别的模式，而不只是假装相信的便利说法。
定位：印刷557，PDF 2 · dennett-1981
意向策略与物理、设计策略区分，利用信念、欲望和理性假设预测行动。
定位：印刷558，PDF 3 · dennett-1981
True Believers: The Intentional Strategy and Why It Works ↗
Daniel C. Dennett
版本：13页重印扫描；首页脚注标1981 Scientific Explanations原出处。不能以此替代1987全书阅读。
已读：目视PDF 1–3（印刷556–558），含立场说明和物理／设计／意向策略。 (指定片段)
未读／未核验：其余正文及1987整书未通读；扫描未以空白OCR当作已读。
仅按所列实际阅读片段审校主张；未独立重验原文实验、全部证明或版本异文。
符号接地：名称如何关联非符号能力？
- 问题
- 符号意义如何不只依赖解释者头脑中的其他符号？
- 方法与核心变化
- 以图像、类别表征与感知分类接地基本名称，再建立组合表达。
- 限制
- 方案与检验条件不是已完成的全规模认知系统；行为接地和体验仍有解释距离。
- 接下来的问题
- 新指称、行动失败与社会纠错能否区分接地和形式匹配？
前提、原文定位与阅读范围
前提：需能区分、识别和描述对象；组合性与接地同时要求。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
作者提出结合感知类别与符号组合的混合方案，而非让纯符号层自行获得指称。
定位：PDF 7–8，§3.3–4 · harnad-1990
结论提出形式与行为检验，同时明说仍不保证捕捉主观意义。
定位：PDF 8，§5结论 · harnad-1990
The Symbol Grounding Problem ↗
Stevan Harnad
版本：1990论文作者HTML的2004-04-20打印PDF，15页。
已读：摘要；PDF 7–8 §3.3、4与5结论。 (指定片段)
未读／未核验：完整前文、注释和后续版本未系统核对；没有机器人复现。
仅按所列实际阅读片段审校主张；未独立重验原文实验、全部证明或版本异文。
形式与意义：训练信号限制能学到的关系
- 问题
- 仅凭语言形式能否学到形式与交际意图的关系？
- 方法与核心变化
- 用明确定义及章鱼思想实验辨析形式规律与语言外关系。
- 限制
- 这是带定义与输入条件的论证；不直接裁决之后模型的能力，更不是实验性“不可能定理”。
- 接下来的问题
- 控制形式训练量后，哪些接地与交互信号改变迁移及纠错能力？
前提、原文定位与阅读范围
前提：论证前提是训练信息只有形式；意义被定义为连接形式与语言外对象或意图。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
§3区分形式、常规意义和交际意图，并据此提出仅形式输入不足以学得所定义的意义关系。
定位：PDF 3，5187 · bender-koller-2020
§9明确容许加入接地信息后在该信息承载意图的范围内学习意义；不能将结论扩为所有多模态或行动系统不可能理解。
定位：PDF 8，5192，But meaning could be learned from… · bender-koller-2020
Climbing towards NLU: On Meaning, Form, and Understanding in the Age of Data ↗
Emily M. Bender · Alexander Koller
版本：ACL 2020:5185–5198，原刊14页PDF。
已读：PDF 2–4 §2–4；6的范围讨论；8 §8.2与§9开头。 (指定片段)
未读／未核验：全部附录与现代模型表现未独立检查；没有开展行为实验。
仅按所列实际阅读片段审校主张；未独立重验原文实验、全部证明或版本异文。
已登记的关系
以下关系来自既有批次，仅列两端都在本路线中的记录。编辑性比较不表示已经证实历史影响。
概念比较 · e-putnam-1967 → e-dennett-1981
功能组织说明与意向预测立场的对象不同，不能用术语相近代替思想继承证据。
类型：conceptual-comparison · 状态：editorial-inference · 定位：Putnam PDF 4、6；Dennett印刷557–558 · 来源：putnam-1967、dennett-1981 · round-three-e
直接批评 · e-searle-1980 → e-hofstadter-1980
同时期评论直接批评中文房间的尺度、复杂度与系统层次直觉；箭头表示被批评对象到评论。
类型：direct-critique · 状态：source-supported · 定位：433–434，PDF 17–18 · 来源：hofstadter-1980 · round-three-e
概念比较 · e-searle-1980 → e-harnad-1990
接地要求增加行为与世界约束，但Harnad明说仍不保证主观意义；不是宣布中文房间已被解决。
类型：conceptual-comparison · 状态：editorial-inference · 定位：Searle 419、422–424；Harnad §5 · 来源：searle-1980、harnad-1990 · round-three-e
概念比较 · e-harnad-1990 → e-bender-koller-2020
比较感知类别接地与交际意图关系；外部关系的含义并不完全相同。
类型：conceptual-comparison · 状态：editorial-inference · 定位：Harnad §4–5；Bender-Koller §3与§9 · 来源：harnad-1990、bender-koller-2020 · round-three-e
未覆盖与下一步
- Dennett 1987书未整本读；本批改以已核对的1981论文为时间节点。
- Searle作者答复本轮已补指定段落；Putnam后期功能主义修正、完整评论回应及其他语义理论仍待系统比较。
- 现代多模态、行动和社会互动系统须另行实测；这里不裁决任何在用模型是否理解。
- 第四轮第三阶段补读Searle回应、Harnad限制、Bender–Koller定义与Piantadosi–Hill反方，新增Block 1995。1997修正版、完整评论与理解归属的经验检验仍待补。
第一轮未映射候选与各来源的未读部分仍需继续审校；本页不代表这条路线的全部历史。