| title | 认知表征 P1 案例选择：从符号系统到可执行问题变换 |
|---|---|
| status | active |
| type | discussion |
| created | 2026-07-26 |
| updated | 2026-07-26 |
前四个跨领域 P1 主要处理制造、基础设施和大型项目。它们反复显示，量规、掩模、规范和测试数据不仅保存信息，也改变行动者能够稳定执行的操作。下一案例转向认知工具，直接检验核心假说 H6：
新表征是否会通过压缩描述、暴露关系或提供组合规则，改变问题之间的有效距离，而不只是换一种写法？
本文件只做 P0 候选扫描，不证明某种符号“让人类更聪明”，也不把数学史写成从落后记号到现代记号的单线进步。
表征案例至少要区分：
C_record：记录已经得到的结果；C_encode：把对象、约束或关系编码到一个符号系统；C_transform：按显式规则变换表征，同时保持目标相关关系；C_solve：利用表征完成一类推理、设计或计算任务；C_reproduce：使其他行动者能够学习、检查并重复该方法。
只出现新符号最多证明 C_record 或 C_encode；只有符号与变换规则、评价标准和实践结合时，才可能支持“认知工具改变有效拓扑”的主张。
候选应满足大部分条件：
- 能定义表征前后的具体任务，而不是笼统讨论“思想进步”；
- 有原始文本、工作例题、图式或设计记录；
- 能区分提出符号、本人反复使用、他人学习和制度化采用；
- 存在替代表征或既有方法，可检验是否只是等价改写；
- 表征的收益至少可能表现为步骤减少、错误暴露、问题分解、等价变换或方案搜索；
- 一轮 P1 可以在 3—6 页内停止，不需要完成整个学科史；
- 不依赖不可观察的“古人能否想象”心理判断。
| 候选 | 目标能力 | 最适合检验 | 优势 | 主要限制 | 决定 |
|---|---|---|---|---|---|
| Shannon 的布尔开关代数，1937—1938 | 把继电器／开关行为编码为布尔表达式，并据此分析等价性、综合和简化电路 | 抽象符号如何成为物理设计的操作接口 | 原论文直接给出问题、规则和电路例；输入输出清楚；可与手工接线经验区分 | 后续产业采用和独立再生产需另找材料；容易被写成“数字计算机由一篇论文发明” | 主案例 |
| Descartes《几何学》及 van Schooten 版本，1637—1661 | 把几何关系转为代数方程，并在两种表征间往返解决问题 | 表征是否把原本分离的问题族连接起来 | 原著、拉丁译注和例题可得；直接对应 H6 | 现代直角坐标系不能回投给 Descartes；Viète 代数、曲线理论和教学传播边界较大 | 备用案例 |
| Pacioli《算术、几何、比例与比例性大全》中的复式簿记，1494 | 用成对账户、日记账和分类账维持可核对的商业记录 | 表征如何同时支持记忆、检查和组织协调 | 原版数字化可得；与“知识载体—协调基础设施”问题相连 | Pacioli 记录的是既有实践而非单点发明；商业制度和识字能力难拆分 | 后续组织表征案例 |
| Feynman 图，1948—1950 | 用图与规则组织微扰量子电动力学计算 | 图式是否压缩组合搜索并支持共同推理 | 原始论文明确；表征与计算规则结合紧密 | 物理门槛高，容易把正确性证明、重整化和传播史扩成专题 | 本轮排除 |
| Fibonacci《计算之书》，1202／1228 | 用十进位记数和书面算法处理商业算术问题 | 记数系统如何改变计算成本与可教性 | 原文数字版本和大量例题可得；社会意义大 | 传播跨越数世纪；算盘、书面算法和商业网络难在有限 P1 中隔离 | 保留为长期扩散案例 |
下一 P1 暂定题目：
Shannon 的布尔开关代数如何把继电器电路从接线对象转成可变换的设计表征，约 1937—1940。
主系统限定为：
S_shannon = Shannon 可调用的布尔代数、继电器与开关工程知识、
符号推导和电路图实践，以及论文／教学使方法可被检查和重复的传播环境
目标能力定义为：
C_switch_synthesis = 给定开关网络的行为要求，
把要求编码为符号关系，利用等价变换得到可实现电路，
并比较或减少继电器触点与开关元件
必须区分：
C_build_relay：按已有图样制造继电器网络；C_trace：逐状态追踪某个既有网络；C_boolean：执行抽象布尔运算；C_map：在开关状态和布尔关系之间建立稳定对应；C_switch_synthesis：从行为要求生成、变换和比较电路设计；C_digital_system：设计完整数字计算或通信系统。
Shannon 论文即使支持 C_switch_synthesis，也不能自动证明 C_digital_system 已形成，更不能从一篇论文直接跳到数字文明 L4。
二值开关行为
+ 布尔代数的运算和恒等式
+ 开关／继电器的串并联映射
+ 行为要求的符号编码
+ 等价变换与元件计数
+ 电路图和工程实现约束
→ 可分析、可综合和可比较的开关网络
这里真正要检验的是 C_map：如果没有稳定的跨表征映射，布尔代数和继电器制造能力可以同时存在，却仍不自动生成电路综合能力。
- Shannon 原文直接证明的是电路描述、等价性分析、简化，还是从规格到电路的综合？
- 论文中的多个例题足以支持哪一级 L0—L4 主张？
- 新表征减少的是书写长度、搜索空间、验证成本，还是实际元件数量？
- 布尔代数、二值继电器和电话交换需求中，哪些是必要条件，哪些只是历史机会？
- 论文、符号约定、电路图和训练分别是知识、工具还是共享接口？
- 需要什么证据才能从 Shannon 本人的 L2 升级到工程共同体的 L3？
- 独立路线或既有继电器设计方法是否说明该映射并非唯一桥梁？
布尔表达式使开关网络获得可组合、可替换和可优化的形式结构，显著降低从行为要求到电路方案的路径成本。这是当前首选解释。
开关天然只有开／关，因此只要继电器足够成熟，符号理论迟早会自然出现，表征本身没有独立作用。若工程师不用布尔形式也能以相近成本完成同类综合，H2 得到支持。
复杂电话交换、控制和保护电路提供了必须简化网络的实际需求；布尔代数只是当时可用的一个表达方案。若没有复杂网络需求，映射可能长期没有操作价值。
后来的数字计算机史放大了 Shannon 论文的即时影响。若原文主要是个人演示，且早期采用、训练和设计实践证据薄弱，则结论必须停在 L1／L2，不能写成行业能力体制。
以下结果会显著削弱“表征改变有效拓扑”：
- 符号方法只能重写已经完成的电路，不能生成或排除方案；
- 简化只发生在纸面表达，不能减少验证步骤、设计错误或物理元件；
- 同期非布尔方法能以相近成本稳定完成同类综合；
- 成功完全依赖 Shannon 的个人直觉，规则无法由其他工程师再生产；
- 所谓新问题族其实早已由既有继电器代数或表格方法常规解决。
即使出现这些结果，也不等于符号“无用”；它只会把结论从改变有效拓扑降为记录、交流或局部压缩工具。
P1 不做以下工作：
- 写完整布尔代数史、电话交换史或计算机史；
- 裁决 Shannon、Nakashima 或 Shestakov 的唯一优先权；
- 从 1938 年直接延伸到晶体管、集成电路和软件；
- 把现代逻辑门图符号回投为当时已有的统一标准；
- 用后来“信息时代奠基论文”的声誉代替当时的使用证据。
若原论文、MIT 学位材料和少量同期工程资料足以判断 C_map、C_switch_synthesis 与 L1—L3，案例停在 P1。
- Shannon, Claude E. “A Symbolic Analysis of Relay and Switching Circuits”. Electrical Engineering 57, no. 12 (1938): 713–723。
- Massachusetts Institute of Technology. Shannon 学位论文馆藏记录。
- Shannon 原论文的 MIT 课程镜像 PDF，用于页码定位。
- Descartes, René. Discours de la méthode … et La géométrie. Leiden, 1637，Library of Congress 数字馆藏。
- Descartes, René, and Frans van Schooten. Geometria. 1659 拉丁文扩充版。
- Viète, François. In Artem Analyticem Isagoge. 1591。
- Pacioli, Luca. Summa de arithmetica geometria proportioni et proportionalita. Venice, 1494，Smithsonian Libraries 数字馆藏。
- Feynman, Richard P. “Space-Time Approach to Quantum Electrodynamics”. Physical Review 76 (1949): 769–789。
- Fibonacci, Leonardo. Liber Abbaci 数字校勘版. Museo Galileo。
主案例选择 Shannon 在 1937—1938 年把布尔代数映射到继电器／开关网络的分析与综合；Descartes—van Schooten 的解析几何作为备用纯数学表征案例，Pacioli 复式簿记保留为组织表征案例。
下一步只完成一次有限 P1，目标是判断 C_map 是否构成桥接能力，以及论文证据最多支持个人 L2 还是已经出现跨主体 L3；不预设它“发明了数字计算机”。