语言即一切 × 原典与手册
把 Language is all/ 的 13 篇文档逐篇拆开，看原典库里到底有哪些对应物、缺在哪里、先补什么。
一句话结论：有对应，但只对应"零件"，不对应"主张"。13 篇文档的支撑散落在 8 个书架 + papers 论文库（语言学、逻辑学、数学、计算理论、认知科学、系统与复杂系统、软件工程、人工智能）；"一切皆语言"这个总命题仍没有一本书直接对应。2026-10-20 已补进索绪尔、乔姆斯基、Anderson、Goodfellow；维特根斯坦只到了《哲学研究》，《逻辑哲学论》与 Fowler UML 仍是硬缺口。
一、怎么判定"有对应"
"某篇文档有没有原典"不能只看关键词像不像。这里用三层拆解，避免把"借用了数学工具"误判成"属于数学"：
- 对象层：这篇文档研究的对象是什么？（语言、数学、感官、物理系统、软件系统……）
- 论断层：它提出了什么可检验/可反驳的主张？（如"味觉无法语言化"、"数学是发明的"）
- 工具层：它用了什么方法？（UML、乔姆斯基谱系、公式、统计）
原典只对对象层和论断层负责。工具层再形式化，也不决定学科归属。
图 1（活动图 Activity Diagram）：一篇文档的"原典对应"判定流程
覆盖度的四个档位
| 档位 | 含义 | 判定标准 |
|---|---|---|
| 直接 | 书架里有同一对象、同一论断的原典 | 能直接引用某本书的章节支撑该文档的核心结论 |
| 较完整 | 核心论断有直接原典，边缘论断缺 | 主结论可引，但外围概念仍需二手资料 |
| 部分 | 只有背景书、工具书或相邻学科的书 | 能解释概念，但不能支撑该文档的具体论断 |
| 缺 | 书架里没有对应物 | 核心结论只能靠二手叙述或网络资料 |
原典 Original
论断 Claim
学科归属 Discipline
二、全景映射
把 13 篇文档和原典库的 8 个书架 + papers 论文库画在一张图上，立刻能看出"跨书架"的结构：没有任何一个书架能独立承接整包内容。
图 2（组件图 Component Diagram）：Language is all 的文档 → 原典与手册的书架供给分布
读图要点：
- 语言学书架接住"语言的本质"和"语言与逻辑"的语言侧；2026-10-20 补入索绪尔、乔姆斯基后共 14 本，普通语言学有了地基。
- 数学书架只接住 1 篇（
数学.html），这是"整包不属于数学"的最直接证据。 - 计算理论书架（19 本）意外地是"语言与逻辑"最扎实的支撑：乔姆斯基谱系、自动机、可计算性都在这里。
- 认知科学 + 神经科学（12 本）接住"感官的语言化"，但缺心智哲学与脑机接口。
- 科技关键论文（6 篇）是"论文级"供给，不是书架，但补上了 Anderson 与 Transformer 两个关键点。
三、对照关系的元模型
一张类图说明本文的数据结构：文档、原典、书架、对照、缺口五类对象如何关联。后续补书时按这个模型登记，就不会出现"只记书名、不记它支撑哪条论断"的问题。
图 3（类图 Class Diagram）：对照关系的元模型
覆盖度 Coverage
缺口 Gap
元模型 Metamodel
四、逐篇对照表
下表按文档逐条列出：原典库里能对上的书、所在书架、覆盖度、以及缺的那一块。书名后括号内为作者，便于检索。
| 文档 | 能对上的原典 / 手册 | 书架 | 覆盖 | 缺什么 |
|---|---|---|---|---|
语言的本质.html |
索绪尔《普通语言学教程》；乔姆斯基《句法结构》；陈嘉映《语言哲学》；亚里士多德《范畴篇 解释篇》；王力《中国语言学史》 | 文学与语言学/语言学（14）；哲学宗教/西方哲学 | 较完整 | 布龙菲尔德《语言论》；语义学/语用学 |
语言与逻辑的分类与本质.html |
柯匹《逻辑学导论》13 版；赫尔利《简明逻辑学导论》；The Logic Book；A New Introduction to Modal Logic；Hopcroft《自动机理论、语言和计算导论》；林兹《形式语言与自动机导论》；Sudkamp《语言与机器》；Sipser《计算理论导引》；GEB | 哲学宗教/逻辑学与知识论（8）；数学/离散与逻辑（9）；软件工程/计算理论（19） | 较完整 | 皮尔士/巴特的符号学源头 |
数学.html |
Shapiro《The Oxford Handbook of Philosophy of Mathematics and Logic》；Mazur《Enlightening Symbols》；Boyer / Katz / Burton / Stillwell 四种数学史 | 数学/数学史与哲学（6） | 直接 | 数学哲学原典选集（Benacerraf & Putnam）可选 |
感官的语言化.html |
加洛蒂《认知心理学》；加扎尼加《认知神经科学》；郭秀艳《实验心理学》；彭聃龄《普通心理学》；Kandel《神经科学原理》；Bear《Neuroscience》；《神经计算导论》；Cover《信息论基础》 | 生命科学与医学/神经科学（8）；社会科学/心理学（4）；软件工程/计算理论 | 较完整 | 心理物理学；脑机接口专著；嗅觉/味觉生理学 |
More is Different.html |
Anderson《More Is Different》（1972，原文在 papers/）；系统之美；规模；黄昆《固体物理学》；金观涛《控制论与科学方法论》 |
papers；工程与应用科学/系统与复杂系统（3）；物理/固体物理 | 直接 | 网络科学、系统动力学、复杂系统导论 |
llm-code-architecture.html |
《Attention Is All You Need》《The Annotated Transformer》（papers/）；周志华《机器学习》；Goodfellow《Deep Learning》 |
papers；软件工程/人工智能（14）；软件工程/机器学习.pdf | 较完整 | DeepSeek 技术报告；D2L；分布式训练专著 |
LLM测评标准.html |
无直接原典；信息论/统计类书只能提供指标背景 | — | 缺 | 评测基准以论文/榜单为主，原典库刻意不收录；需在线资料 |
markdown.html |
无直接原典；CommonMark 规范未入库 | 写作与修辞（0）；工具书（5，仅英语） | 缺 | CommonMark / GFM 规范；技术写作规范 |
UML-14种图详解.html |
《软件工程 面向对象和传统的方法》；《系统分析与设计 敏捷迭代方法》；《架构驱动的软件开发》 | 软件工程/软件工程方法论（5） | 部分 | Fowler《UML Distilled》；OMG UML 规范；GoF《设计模式》 |
UML-梳理系统使用说明.html |
同上；另有《代码大全》《人件》提供工程语境 | 软件工程/软件工程方法论（5） | 部分 | UML 元模型（MOF）与 OCL 约束资料 |
UML软件开发实战-作图时间线.html |
同上；《软件工程 架构驱动的软件开发》最接近"先行为后结构"的交付顺序 | 软件工程/软件工程方法论（5） | 部分 | UML 工具链与建模规范 |
语言即一切.md |
陈嘉映《语言哲学》；公孙龙子研究（名实）；《荀子集解》（正名）；GEB（自指与递归） | 语言学；中国哲学·先秦诸子；计算理论 | 部分 | 《逻辑哲学论》（《哲学研究》已入） |
语言是一切的关键.md |
同上；亚里士多德《范畴篇》可支撑"语言分层"的古典版本 | 语言学；中国哲学·先秦诸子；西方哲学 | 部分 | 符号学通论（皮尔士、巴特）；《逻辑哲学论》 |
一个必须区分的事实：书目级 ≠ 文件级
科技关键论文.md 的 6 条清单里，5 条原文已于 2026-10-20 入 papers/（Turing、Anderson、Attention、Annotated Transformer、ReAct），只剩第 2 条 Flow diagrams 的中译 HTML。书目级与文件级仍要分开记：本节的"本数"按文件计，清单按条目计。
五、书架供给盘点
| 书架 | 存量 | 能支撑什么 | 明显缺什么 |
|---|---|---|---|
| 文学与语言学/语言学 | 14 本 | 汉语音韵、方言、文字改革、语言哲学、普通语言学/生成语法 | 布龙菲尔德、语义学/语用学 |
| 哲学宗教/逻辑学与知识论 | 8 本 | 逻辑教材、知识论、心灵哲学、科学方法论 | 《逻辑哲学论》、弗雷格/罗素 |
| 数学/离散与逻辑 | 9 本 | 离散数学、一阶逻辑、模态逻辑 | 模型论、证明论（非本包必需） |
| 数学/数学史与哲学 | 6 本 | 数学史、符号史、数学哲学手册 | 数学哲学原典选集（可选） |
| 软件工程/计算理论 | 19 本 | 形式语言、自动机、可计算性、信息论、密码学 | —（本包最扎实的一支） |
| 社会科学/心理学 | 4 本 | 普通/认知/实验心理学 | 心理学史、原典、统计与测量、社会/发展 |
| 生命科学与医学/神经科学 | 8 本 | 神经科学通论、认知神经科学、神经计算 | 神经解剖图谱、临床神经科学、方法学 |
| 工程与应用科学/系统与复杂系统 | 3 本 | 系统思考、反馈回路、标度律 | 网络科学、系统动力学、导论 |
| 软件工程/软件工程方法论 | 5 本 | 软件工程通论、架构、敏捷、代码实践 | UML 专著、建模规范、设计模式 |
| 软件工程/人工智能 | 14 本 + 1 | 经典 AI、CV、遗传算法、PDP、深度学习 | D2L、DeepSeek 报告、Transformer 之后 |
| 科技关键论文 / papers | 5 篇 | 可计算性、涌现、Transformer、ReAct | Flow diagrams 中译 HTML |
乔姆斯基谱系 Chomsky Hierarchy
符号学 Semiotics
涌现 Emergence
系统与复杂系统 Systems & Complexity
六、缺口与优先级
优先级只按一个标准：缺了它，文档的核心论断是否失去原典支撑。不是按"书有多经典"排序。
| 级别 | 缺的书 / 资料 | 落位 | 为什么是它 |
|---|---|---|---|
| 已完成 | 索绪尔、乔姆斯基、Anderson、哲学研究、Goodfellow、系统之美、规模 | — | 2026-10-20 已入库，见 §8 |
| P0 | 维特根斯坦《逻辑哲学论》 | 哲学宗教/西方哲学 | 《哲学研究》已入；缺前半，无法对照"语言与世界同构" |
| P0 | Fowler《UML Distilled》 | 软件工程/软件工程方法论 | 3 篇 UML 文档没有一本 UML 专著 |
| P1 | OMG UML 2.5 规范；GoF《设计模式》 | 软件工程/软件工程方法论 | 元模型（MOF/OCL）与可复用结构 |
| P1 | D2L | 软件工程/人工智能 | Goodfellow 已入，缺可执行代码层 |
| P2 | 皮尔士符号学文选；巴特《符号学原理》 | 哲学宗教/西方哲学 或 语言学 | "一切皆符号系统"的总框架 |
| P2 | DeepSeek-V3 / R1 技术报告 | 软件工程/人工智能 | llm-code-architecture 的直接对象 |
| P2 | CommonMark / GFM 规范 | 写作与修辞 | markdown.html 的规范原件 |
七、结论：为什么这包内容不是数学
把书架分布当成判据，答案很清楚：
- 13 个文件里只有 1 篇以数学为对象（
数学.html），而且视角是"数学作为语言"，属于数学哲学，不是数学研究。 - 数学书架只能接住这 1 篇；其余 12 篇的对应物分别在语言学、逻辑学、认知科学、计算理论、软件工程。
- 整包的方法论是 UML + 分类表，属于形式化表达，不等于数学内容。用形式方法研究语言，学科仍是语言学/哲学。
真正的问题不是"属不属于数学"，而是核心论断缺少原典锚点：
- 总命题没有出处："一切皆语言"是哲学命题，但维特根斯坦、索绪尔、乔姆斯基都不在架，导致它只能靠自述。
- 立场被写成事实：如"数学是发明的"，这是形式主义/直觉主义立场，Shapiro 手册里有对立面，应标明争议。
- 术语跨域滑动："语言"在自然语言、形式语言、编码系统三种含义间切换；一旦"语言"=任何编码，命题就接近同义反复。
- 个别技术断言过强：如"UML 属于 2 型上下文无关文法"，实际 UML 是半形式化规范，含 OCL 一阶约束，不能直接落进乔姆斯基某一级。
建议的用法：把本包定位为"跨书架的评论层"，而不是学科条目。每篇文档在引用时注明它借用的是哪个书架的原典；没有原典的论断，标为"待补"。
八、本次改动清单
与本文配套完成的补书目动作（只改清单，未下载任何书）：
| 文件 | 改动 |
|---|---|
文学与语言学书籍导读.md | 索绪尔、乔姆斯基由待入库转为已入库；语言学 12→14，全目录 17→19，待入库 9→7 |
哲学宗教书籍导读.md | 《哲学研究》《逻辑与哲学》入库；哲学宗教 119→121（西方 18、逻辑 8）；《逻辑哲学论》仍 P0 |
交叉学科书籍导读.md | 《系统之美》《规模》入库；系统与复杂系统 0→2，全目录 6→8；Anderson 原文入 papers |
软件工程书籍导读.md | Goodfellow 入库；人工智能 13→14，全目录 194→195；待入库 6→5 |
经济金融书籍导读.md | 《以利为利》入库；78→79 本，文件 80→81，中国经济与三农问题 13→14 |
科技关键论文.md | 新建 papers/ 并归位 5 篇原文；仅 Flow diagrams 中译 HTML 仍缺 |
原典与手册.md / 学科目录对照.md | 总书目 1158→1166；哲学 121、经济 81、文学 19、工学 521、交叉 8；空抽屉 74→73 |
葵花宝典.html | Language is all 分组下的本文链接（此前已加） |
统计口径：2026-10-20 本地文件系统；书架本数按目录内文件数计（含 PDF/EPUB/DJVU）。
本文只做对照与缺口登记，不改变任何书籍的物理位置。