《逻辑哲学论》大概是最有名的”看不懂”的书：正文只有 80 页左右，七个主命题，却几乎没人敢说一遍读懂。它难读不是因为它长，恰恰是因为它太短——每句话都被压缩到极限，论证全部省略，而且预设了你熟悉弗雷格和罗素的逻辑背景。维特根斯坦自己在前言里说：这本书的问题也许只有那些”自己已经想到过书中表达的思想”的人才懂。
这篇文章是我的通读笔记 + 导读，目标是让你先拿到一张全图，然后带着这张图把原著当工具书：读到哪一段卡住，就回到文章对应的小节找地图。所有命题都标了编号，可以直接对照原文。
一、先会用它的编号系统
这本书的编号本身就是一套导航系统。维特根斯坦在初版里加过一条编号说明，大意是：
- 命题 n.1、n.2、n.3……是对命题 n 的评论；
- 命题 n.m1、n.m2……是对命题 n.m 的评论，层层嵌套，没有限制；
- 编号本身还标记命题在阐述中的逻辑分量与侧重（编号说明的原话：小数指出各命题的”逻辑分量”与”阐述中受到的强调”）。
由编号直接派生出两条读法建议：
- 第一遍只读七个整数命题（1, 2, 3, 4, 5, 6, 7），拿到全书骨架；
- 精读时按”段”推进而不是按”条”死磕，每一段的主命题就是这一段的论题句。
另外注意译名：贺绍甲译本（北京大学出版社）把 Substanz 译作”实体”，韩林合译本（商务印书馆《维特根斯坦文集》第 2 卷）译作”基体”。本文随韩林合用”基体”。卡在译名上时，去查德文原词（下文速查表里有）。
二、全书骨架：七个主命题
- 世界是一切成立的情形——即事实。
- 事实，即事态的存在。
- 事实的逻辑图像是思想。
- 思想是有意义的命题。
- 命题是基本命题的真值函项。
- 真值函项的一般形式是：〔p̄, ξ̄, N(ξ̄)〕。这就是命题的一般形式。
- 对于不可说的东西我们必须保持沉默。
用一句话串起来：世界由事实构成（1–2），事实被描画为思想（3），思想被表达为命题（4），命题归根到底是对基本命题的逻辑运算（5–6），而在这一切运算之外，有些东西根本不可说（6.4–7）。
前六个命题是同一条流水线的六站，第 7 命题是终点站之外的一声收束。整本书最有效的心智模型：世界—思想—语言三层同构，中间靠”图像”焊接。
三、第 1 部分：世界是事实的总和（1–1.21）
1.1 世界是事实的总和，而不是事物的总和。
先统一译名。命题 1 的原文是 was der Fall ist（”凡是成立的情形”）：贺绍甲译作”发生的事情”，韩林合译作”实际情况”。它们与”事实”（Tatsache）在书内是同一个东西——命题 2 的同位语直接写了等式：”凡是成立的情形，即事实，是事态的存在”。本文从头到尾统一只用”事实”。
这是全书的第一记重锤，也是最容易滑过去的一句。常识世界观：世界上先有各种”东西”（物），物与物之间又呈现种种情形。维特根斯坦把它倒过来：世界的最终单位不是物，而是情形之成立——事实。一份物品清单不能构成世界，因为物品清单里没有”如何”；只有当你说出物与物怎样关联、哪些情形成立，世界才成形。
配套的一句是 1.13：”逻辑空间中的事实即是世界。””逻辑空间”是全书反复出现的背景概念：全部可能情形的总坐标架。世界只是这个空间里”碰巧实现”的那一部分。
四、第 2 部分（上）：事实、事态与基体（2–2.0272）
三个层级：对象 → 事态 → 事实
这一段把”事实”拆开，装上一个三层结构：
| 概念 | 德文 | 定义 | 出处 |
|---|---|---|---|
| 对象 | Gegenstand | 世界的固定零件，简单、不可分、不生不灭 | 2.02, 2.027 |
| 事态 | Sachverhalt | 对象的一种结合/配置；可以成立也可以不成立 | 2.01 |
| 事实 | Tatsache | 事态的成立；世界由它构成 | 2, 1.1 |
“事态/事实”一字之差最容易混：事态是可能层面的单位（桌上有一支笔，这件事态可以成立也可以不成立），事实是现实层面的筛后结果。再往外一圈是实在（Wirklichkeit，2.05–2.06）＝事态的存在与非存在的总和——注意它把”不成立”也算进来，2.06 称之为否定性事实；由于否定性事实同样算事实，后文维特根斯坦基本把”实在”与”世界”当同义词用。
对象有三个关键性质：
- 它独立于实际情况而存在（2.024：”基体是独立于实际情况而存在的东西”）。事态可以成立或不成立，对象只是在；变化发生在配置层面，对象本身不掉进也不掉出世界（2.027：固定者与对象是一回事）。
- 它携带全部可能性（2.0141：对象在事态中出现的可能性就是对象的形式）。全部可能情形的可能性空间，正是由对象的可能性清单支撑的——这就是 1.13”逻辑空间”的实体层基础。
- 它简单（2.02），没有部分，名字直接钩在它上面，不经过任何描述（3.203）。
注意两点，防止走偏：对象不是物理学的基本粒子（粒子是经验发现，还老被再分；对象是”语言要有意义”这个先验条件挖出来的逻辑要求），以及维特根斯坦举不出任何简单对象的例子——他 1919 年给罗素的信里也承认说不出来。我们只能论证它必须有，不能指认它是什么。
基体论证：语言为什么必须有锚（2.02–2.0212）
2.0211–2.0212 是全书最精巧的论证，值得单独展开：
2.021 对象构成世界的基体。
2.0211 如果世界没有基体，那么一个命题是否有意义，就要依赖于另一个命题是否为真。
2.0212 那样的话，我们就不可能描绘出世界的任何图像（真的或假的）。
前提是全书第 4 部分才正式展开、但这里已经在用的那条原则：意义独立于真假。理解”笔在桌上”，是先懂它说了什么、什么情况它算真——然后才去对照世界。假句子照样有意义。
归谬法三步走：
- 假设没有基体（没有任何简单对象）。那么名字无处可钩，每个词的指称都只能靠描述锁定，而描述要锁定东西，依赖某个存在命题为真——于是原命题有没有意义，取决于另一个命题的真假（2.0211）。这个倒退对每个命题均匀生效：没有对象，所有名字落空，没有任何命题能确定意义。
- 于是连一幅假图像都画不出来（2.0212）。括号里”真的或假的”是全句心脏：假是一种有资格的失败——要说一个命题是假的，它得先”说了点什么”，先划出与现实的界线。没有基体，命题连”错”的资格都拿不到。
- 但我们手里现成有反例：怀疑者自己说出的那句质疑就是一句有意义的话。注意这里只需要存在一个有意义的句子，不需要”所有话都有意义”（维特根斯坦本人比谁都同意世上充满胡说，见 4.003）。一个反例就推翻了”没有任何命题有意义”这个全称否定。
结论：世界必有基体。 一个类比：坐标系。要在平面上定位，必须有固定的原点和坐标轴；如果没有任何不动点，所有位置只能相对别的东西来定，谁也定不下来。对象就是语言这套坐标系的不动点。
五、第 2 部分（下）：图像论（2.1–2.225）
2.1 我们给我们自己造事实的图像。
从 2.1 开始，全书进入发动机房。注意动词是”造“——图像是造出来的排布，不是心灵里现成的映像。
图像的定义：三行一起念
- 材料：图像是一个事实（2.141”图像是事实”）——它自己就是要素的一个排布。只有带结构的东西才能对应结构；孤立的对象或名称的堆砌什么也描画不了（3.142）。
- 形式：图像必须与实在共有某种形式（2.16–2.17）——至少是逻辑形式（2.18），这是一切图像、无论用什么媒介，都必须与现实共享的东西。
- 功能：它被投影接上世界——图像的要素逐一代表对象（2.131），要素间的结构描画现实中事物间的结构（2.15），而使图像成其为图像的那个描画关系，本身属于图像（2.1513）。
只念第一行会把概念撑爆：桌上一滩咖啡渍也是事实，但它不描画任何东西。材料＋形式＋投影，三条腿缺一不可。
投影：为什么不是”相似”
投影（Projektion）这个词来自画法几何：三维物体按固定规则投到平面，图上的线条不是物体本身，但按规则能读出物体。维特根斯坦选这个词是为了堵死一个误解：图像与被描画者的关系不是相似，而是同构映射。4.014 的例子已成经典：唱片上的纹路、乐谱、声波、乐思，四者长得毫无相似之处，却共享同一条投影规则，按规则可以互译。2.1511–2.1512 的比喻同义：图像像贴在实在上的刻度尺，只有最外沿的刻线碰到被测物——它不需要像世界，只需要刻度与被测物逐点对应。
意义独立于真假：图像的本性
2.22 图像所描画的东西，独立于它的真假。
2.224 光看图像本身，永远看不出它真假。
2.225 没有先天为真的图像。
图像只负责摆出可能性（2.203：图像包含它所描画的事态的可能性），它给出的内容叫意义（2.221）。真假是拿图像与现实比对出来的（2.223），比对之前图像早已成其为图像。这就是”理解先于核查”的本体论根据——也是第 2 部分给第 4 部分”图像论”预留的地基。
一条有用的谱系：图像按”与实在共享形式的多少”排成连续统——实物模型（共享空间形式）→ 色块拼图（共享颜色形式）→ 命题（几乎只剩逻辑形式）→ 思想（纯逻辑形式）。共享得越少，媒介越薄，功能同一。“图像”是这条谱系的统称，而维特根斯坦的主张在这条线的终点处：命题就是图像。
六、第 3 部分：思想（3–3.328）
3 事实的逻辑图像是思想。
第 3 部分把图像论往里推进一层。流水线现在是：世界（事实）→ 思想 → 命题。3.001 解释：”‘一个事态是可思想的’，意思是：我们能给自己造一幅它的图像”——图像论在思想层就已经开始运转；3.01”真实思想的总体是一幅世界图像”，与 1.1 严丝合缝地对仗。
两条防走偏的提醒：
- 思想不是心理学。不是脑子里的画面、不是内省到的精神事件（4.1121：心理学离哲学不比别的自然科学更近）。思想是逻辑结构——同一个思想可以穿不同外衣：德语、汉语、摩尔斯码、3.1431 里用桌椅书本摆出来的空间摆放，都是它的可感知身体。
- 思想受逻辑约束是从内部来的。3.03–3.0321：我不能思想逻辑上不可能的东西——“逻辑上不可能”不是一种特别难的事实，而是没有任何可能配置。维特根斯坦的类比：就像在几何学里，你不可能用坐标画出一个违反空间法则的图形。逻辑不是思想撞上去的墙，而是思想空间的形状。
这一段还有几个语言侧的重要概念：
- 投影挑明（3.11–3.12）：”我们把可感知的命题记号用作可能事态的投影；投影方法是对命题意义的思想。””命题是命题记号在与世界的投影关系中所是的东西。”——句子由此拆成两层：命题记号是纸上的墨迹、空气里的声波；只有当它作为可能事态的投影被使用时，它才升格为命题。
- 名字（3.203）：名字指称对象，对象是它的意义。直接指称，不经过描述——这正是基体论证的语言侧回声。
- 意义确定性（3.23）：”对简单记号之可能性的要求，就是对意义之确定性的要求。”——2.02–2.0212 的论证在语言侧的重现。
- 语境原则（3.3）：只有在命题的语境中，名字才有意义（继承自弗雷格）。名字不是挂着意义的标签，而是在句子中执行代表功能。
- 记号与符号（3.32, 3.323）：记号是可感知的物理标记，符号是它在符号系统中的功能身份。同一个”是”（ist）在”苏格拉底是哲学家／晨星是昏星／北京是“里是三个不同符号。日常语言的歧义由此生，逻辑分析由此入。
七、第 4 部分：命题、说与显（4–4.52）
4 思想是有意义的命题。
流水线封口：思想最终只能在命题里找到身体。4.01：”命题是实在的图像。”4.021：”因为当我理解这个命题时，我就知道它所描画的事态；而且我无需别人解释它的意义，就能理解它。”4.024：”理解一个命题，就是知道若它为真，事实是怎样的。”——意义＝真值条件：理解先于真假核查（真假要拿图像与现实比对，见 2.223），这是全书最重要的技术主张之一，日后整个分析哲学的意义理论从这里出发。
语言批判：哲学问题的病根
4.002–4.0031 是全书最具战斗性的段落：日常语言给思想穿上衣服，衣服的剪裁藏着误导；”大多数哲学命题和问题不是假的，而是无意义的“（4.003）；”全部哲学是语言批判“（4.0031）。哲学问题不是待解的谜，而是语言的病，需要的是治疗式的澄清。
说与显：全书的天字第一号概念
4.1212 能显示的，不能说。
命题能说出“事实如何”，但命题与现实共享的逻辑形式，只能被命题显示、不能被命题说出（4.121）。为什么？因为说出逻辑形式，需要站在语言之外用语言描画语言与世界的关系——而那个关系正是使描画成为可能的前提。图像可以显示”世界可以这样排列”，却永远无法描述”图像与世界的对应关系本身”。
这个区分往后一路加码：逻辑形式显示（4.121）、伦理美学显示（6.42–6.421）、世界的意义显示（6.44–6.45）、不可说者显示自己（6.522）。整本书后半部的推力全部来自 4.1212。
逻辑与重言式（4.4–4.52）
4.31 给出真值表；4.46 定义两个极端：重言式（怎么都对）与矛盾式（怎么都错）；4.463 的比喻：重言式给现实留下整个逻辑空间，矛盾式占满整个逻辑空间；4.461：两者都无意义（sinnlos）——不描画任何情形——但不是胡说。由此铺垫出全书最重要的三分：
| 类别 | 德文 | 例子 | 地位 |
|---|---|---|---|
| 有意义的 | sinnvoll | 自然科学命题（4.11：真命题的总体＝全部自然科学） | 描画事实 |
| 无意义的 | sinnlos | 逻辑、数学（重言式） | 不描画，但没违反规则 |
| 胡说 | unsinnig | 多数哲学命题（4.003） | 违反符号使用规则 |
维也纳学派把后两类混为一谈，把这本书读成”消灭形而上学的宣言”——这是《逻辑哲学论》传播史上最大的误读，后面会再回到这一点。
哲学是活动
4.112：”哲学不是学说，而是一种活动。哲学的成果不是’哲学命题’，而是命题的澄清。”4.116 是那句著名的宣言：”凡是可思考的东西，都可以被清楚地思考；凡是可说的，都可以被清楚地说。”——清晰不是风格偏好，是哲学责任。
八、第 5 部分：逻辑机器与主体（5–5.7）
前半段是纯技术：基本命题（Elementarsatz，4.21 已引入：由名字串联而成，断定一个事态的存在，基本命题之间不会互相矛盾）是真值函项的自变量（5.01），一切复合命题的真值由基本命题的真值组合算出（5）。语言的地基是基本命题，世界的地基是事态，两层严格平行。
后半段急转，进入全书最摄人的段落——唯我论与主体（5.6–5.641）：
5.6 我的语言的界限意味着我的世界的界限。
语言的界限就是思想的界限，思想的界限就是世界的界限——三层同构，一个界限。于是：
- 主体不属于世界，而是世界的一个界限（5.632）。世界里有眼睛看到的，但没有”看着的眼睛”本身；
- 5.633 的比喻：眼睛与视野。视野里的一切都是被看的，眼睛自己不在视野里；
- 5.64：唯我论严格贯彻到底，就与纯粹的实在论重合。唯我论者说”只有我的经验存在”，把”我”缩小到纯点之后，剩下的就是无我的世界。
这里的”我”是形而上学主体（5.641），不是心理学的人。人是世界中的一员（心理学、生理学的研究对象）；而”主体”这个哲学问题，在语言界限处显示出自己是个界限性概念——它不可说，只能显示。
九、第 6 部分：从逻辑到神秘之域（6–6.54）
第 6 部分占全书一半篇幅，结构上是先收网再纵身一跃。
收网：逻辑的全部（6.0–6.54 前半）
6 给出命题的一般形式〔p̄, ξ̄, N(ξ̄)〕——一切命题都是基本命题经过联合否定运算 N 生成的真值函项。逻辑命题全是重言式（6.1–6.13），数学命题是不表达思想的等式（6.21），数学在等式里显示世界的逻辑（6.22）。因果律不是一条规律，而是规律的一种形式（6.32）；力学等理论只是给世界罩上不同网眼的描述之网，网可以换（6.341）；不存在”一件事因为另一件发生就必然发生”的强制，只有逻辑必然性（6.37）。
纵身一跃：不可说之域（6.4 起）
6.41 世界的意义必定在世界之外。
接下来的段落是全书被引用最多、也最常被断章取义的部分：
- 价值不在世界之中（6.4）：世界中的事物无所谓高下，所有事实命题”价值相等”；伦理是超验的（6.421），伦理与逻辑一样是世界的形式条件，不是世界中的事实；
- 幸福（6.43）：幸福者的世界与不幸者的世界，不是内容不同，而是意义不同；
- 死亡（6.4311）：死不是生活中的事件——人没有体验过死亡；如果把永恒理解为无时间性而非无限延续，那么活在当下的人就永恒地活着；
- 神秘之域（6.44, 6.45, 6.522）：神秘的不是世界怎样，而是世界存在着；把世界当作一个有限整体来感受，这是神秘的东西；确实有不可说的东西，它显示自己，这就是神秘之域；
- 正确的哲学方法（6.53）：除了可说的（自然科学命题）什么也不说；有人想说什么形而上学的东西，就向他指出他没给某些记号以意义——这个方法让对方不满意（他感觉不到”你在教他哲学”），但它是唯一严格正确的方法。
梯子：全书的自我消解
6.54 理解我的人，当他通过这些命题、踩着这些命题爬上去之后，最终会认识到它们是无意义的。（他可以说是在爬上梯子之后，必须把梯子扔掉。）他必须超越这些命题，然后才能正确地看世界。
整本《逻辑哲学论》自己承认自己无意义：它的命题违反了它自己立下的可说性标准——“事实的逻辑图像是思想”这句话本身，就是对图像与世界关系的谈论，按 4.1212 本应不可说。这不是失误，是全书最深的一层：这本书的命题是梯子，不是知识。 它们带你完成一次观看方式的转换，然后就该扔掉。
十、第 7 部分：沉默（7）
7 对于不可说的东西我们必须保持沉默。
全书最后一行，也是最著名的一行。理解它的关键：这不是”闭嘴别谈伦理宗教”的禁令，而是 4.1212”能显示的不能说”的终局陈述。沉默不等于否认不可说者的存在——恰恰相反，整本书都在为”确实有不可说的东西”（6.522）腾出空间。可说的交给科学，不可说的交给显示。维特根斯坦在给出版商费克尔的信里说：这本书的要点是伦理的，它由两部分组成——写出来的部分，和没写的部分，重要的是第二部分。
十一、核心概念速查表
读原著时把这张表摊在手边：
| 中文（本文） | 德文 | 英文 | 关键命题 | 一句话解释 |
|---|---|---|---|---|
| 世界 | die Welt | world | 1, 1.1 | 事实的总和，不是事物的总和 |
| 事实 | Tatsache | fact | 1, 1.1, 2 | 凡成立的情形（was der Fall ist）＝事态的成立；世界的构成单位 |
| 事态 | Sachverhalt | state of affairs | 2.01 | 对象的结合；可成立可不成立 |
| 对象 | Gegenstand | object | 2.02 | 简单、固定、携带可能性 |
| 基体 | Substanz | substance | 2.021–2.024 | 对象之总和；独立于实际情况而存在 |
| 形式 | Form | form | 2.0141, 2.18 | 可能关联方式；一切图像至少共享逻辑形式 |
| 结构 | Struktur | structure | 2.15 | 要素实际的关联方式 |
| 逻辑空间 | logischer Raum | logical space | 1.13, 2.11 | 全部可能情形的坐标架 |
| 图像 | Bild | picture | 2.1–2.225 | 事实＋共有形式＋投影；摆出可能情形 |
| 投影 | Projektion | projection | 3.11–3.12 | 记号接通世界的对应规则 |
| 思想 | der Gedanke | thought | 3 | 事实的逻辑图像；非心理事件 |
| 命题记号 | Satzzeichen | propositional sign | 3.12, 3.14 | 墨迹/声波；本身是事实 |
| 命题 | der Satz | proposition | 4 | 在投影关系中的命题记号 |
| 名字 | Name | name | 3.203 | 代表对象；意义＝对象 |
| 基本命题 | Elementarsatz | elementary proposition | 4.21 | 名字的串联；断定事态存在 |
| 真值函项 | Wahrheitsfunktion | truth-function | 5 | 复合命题的真值由基本命题算出 |
| 重言式 | Tautologie | tautology | 4.46–4.461 | 怎么都对；无意义但非胡说 |
| 说/显 | sagen/zeigen | say/show | 4.1212 | 能显示的，不能说 |
| 神秘之域 | das Mystische | the mystical | 6.44, 6.522 | 不是世界怎样，而是世界存在着 |
| 梯子 | — | ladder | 6.54 | 爬上去之后必须扔掉 |
十二、阅读路线与资料
读法（浓缩版）
- 第一遍：只读七个整数命题，半小时背下骨架；
- 第二遍：逐节精读，每读完一小节用自己的话复写该命题——复述不出来就是没懂，去查导读；
- 分主题重读：本体论（1–2.2）→ 图像论（2.1–3.2）→ 语言与逻辑（3.3–5.1）→ 主体（5.5–5.7）→ 伦理与神秘之域（6.3–7）；
- 注意两个”无意义”：sinnlos（重言式，不描画但没犯规）≠ unsinnig（胡说，违反符号规则）。维也纳学派栽在这里。
书单
- 译本：韩林合译本（商务印书馆《维特根斯坦文集》第 2 卷，学界评价最高）；通行易得的贺绍甲译本（北京大学出版社）。有英语基础建议对照 Pears & McGuinness 英译。
- 最友好入门：楼巍《维特根斯坦十讲》（上海文艺出版社 2023）——按原著顺序配日常案例讲解，先读它再进原著，痛苦减半。
- 深度注疏：韩林合《〈逻辑哲学论〉研究》（商务印书馆）——汉语学界最系统的逐条注疏，卡在具体命题时查。
- 传记：瑞·蒙克《维特根斯坦传：天才之为责任》——理解这本书的战壕背景与伦理内核必不可少。
- 背景补丁：罗素《逻辑原子主义哲学》（本书的直接靶子）；弗雷格《论涵义和指称》（涵义/指称之分）；罗素为本书写的导言（易读但有偏差，维特根斯坦本人不同意，当背景读）。
- 英文指南（可选）：Marie McGinn《Routledge Guidebook to Wittgenstein’s Tractatus》（逐段讲解，最适合伴随精读）→ Max Black《A Companion to Wittgenstein’s Tractatus》（逐条注释的经典）。
- 网络：斯坦福哲学百科全书（SEP）”Wittgenstein’s Tractatus” 词条；B 站搜”逻辑哲学论 导读”有陈嘉映、楼巍等人的讲座。
常见误读清单
- 把它当逻辑实证主义教材——那是维也纳学派的误读；这本书的终点是神秘之域，不是消灭形而上学的宣言。维特根斯坦本人明确拒绝这种读法。
- 期待连贯论证——格言体的本质是读者自己补全论证；”复写”练习不可省。
- 一遍读完就下结论——先骨架后血肉，至少过两遍。
- 忽略它的自我消解——6.54 不是附言，是全书的自我定位：这些命题是梯子。
- 不读后期——读懂后对照《哲学研究》（韩林合译本），看他如何亲手推翻图像论与简单对象，两本对读收获最大。
十三、附录：真值函项与全书公式导读
第 4–6 部分是全书公式最密集的地带。真值函项（truth-function）就是：复合命题的真假完全由基本命题的真假算出来——“p 或 q”是真是假，不取决于任何新内容，只取决于 p、q 各自的真假。维特根斯坦把这套机制造到极致，是为了证明：语言中一切可说的命题都从基本命题出发、用同一种运算生成，因而有一个一般形式。下面按原著的构造顺序，把书中所有公式逐一过一遍（编号均已对照 1922 年德文初版核实）。
先立符号表（弗雷格—罗素记法，后文全部用到）。设 p＝”下雨”，q＝”刮风”：
| 符号 | 读法 | 例子 | ||
|---|---|---|---|---|
| ∼p | 非 p：p 不成立 | ∼p＝明天不下雨 | ||
| p . q | p 且 q：两者都成立。中间那个点是弗雷格—罗素记法的”且” | p . q＝又下雨又刮风 | ||
| p ∧ q | 与 p . q 完全同一个东西：∧ 是现代通行的”且”写法，书里用点。下文 5.101 引文随原书用点，讲解随现代习惯用 ∧ | p ∧ q＝又下雨又刮风 | ||
| p ∨ q | p 或 q：至少一个成立。注意”或”是可兼的——两个都成立时也算真 | p ∨ q＝下雨或刮风（风雨交加时它也真） | ||
| p ⊃ q | 如果 p 则 q | p ⊃ q＝若下雨则刮风 | ||
| p ≡ q | p 与 q 同真同假 | p ≡ q＝下雨当且仅当刮风 | ||
| p \ | q | 既非 p 也非 q（谢弗竖线，第 7 节） | p \ | q＝既不下雨也不刮风 |
| N(…) | 联合否定：括号里的式子全部不成立（第 10 节） | N(p, q)＝既不下雨也不刮风 |
另外，括号串 (TTFT)(p, q) 的读法：四个字母依次是命题在 p、q 的四种真值组合（TT、FT、TF、FF）下的表态，T＝真，F＝假。
1. 真值可能性：真值表（4.3–4.31）
4.3：基本命题的真值可能性，意味着事态成立与不成立的可能性。4.31 给出 1、2、3 个基本命题的全部真值组合表：
记号对照：德文原版用 W（wahr，真）与 F（falsch，假）；英译传统（包括韩林合译本）改用 T/F。本文随译本统一用 T/F，读德文原版时把 T 读作 W 即可。
1 | p | q | r p | q p | |
n 个基本命题给出 2ⁿ 行。行序不是随意的，按一条”组合规则”一次固定（4.442 会回收这一点）——任何复合命题都要在每一行上表态。
2. 数一数：二项式公式（4.42–4.45）
4.42 是全书唯一的组合计数公式：Σ(κ=0→Kₙ) C(Kₙ, κ) ＝ Lₙ。一步一步读：
第一步，数行。 n 个基本命题有 2ⁿ 种真值组合，就是 4.31 表的行数。记 Kₙ＝2ⁿ（两个基本命题时 K₂＝4：TT、FT、TF、FF 四行）。
第二步，把命题看成”答案样”。 一个命题必须在每一行上表态：这一行我算真（打 T），还是算假（留空）。一张完整的答案样就是命题的真值条件——后面的重言式、矛盾式不过是两种极端答案样。
第三步，数答案样。 一张答案样由”选哪几行打 T”完全决定。若打 T 的行有 κ 个，从 Kₙ 行里选 κ 行的选法就是组合数 C(Kₙ, κ)＝Kₙ!／(κ!·(Kₙ−κ)!)。κ 可取 0, 1, …, Kₙ（全不打＝矛盾式；全打＝重言式），把各层加起来：
Lₙ ＝ Σ(κ=0→Kₙ) C(Kₙ, κ)
这正是二项式定理的左端，恒等于 2^(Kₙ)——直觉：每行都有”打/不打”两种选择，Kₙ 行共 2^(Kₙ) 张答案样；按”打了几个 T”分层清点，各层恰是二项式系数。于是：
Lₙ ＝ 2^(Kₙ) ＝ 2^(2ⁿ)
第四步，代入 n＝2。 K＝4：C(4,0)+C(4,1)+C(4,2)+C(4,3)+C(4,4)＝1+4+6+4+1＝16——正是 5.101 清单的行数。而且清单的排列恰是按”打 T 行数”从 4 递减到 0：
| κ（打 T 行数） | 个数 | 5.101 里对应的函项 |
|---|---|---|
| 4 | C(4,4)＝1 | 重言式 (TTTT) |
| 3 | C(4,3)＝4 | ∼(p.q)、q⊃p、p⊃q、p∨q（只在一种情形下失败） |
| 2 | C(4,2)＝6 | ∼q、∼p、p、q、p≡q、异或（恰一真） |
| 1 | C(4,1)＝4 | p∧q、p.∼q、q.∼p、既非 p 也非 q |
| 0 | C(4,0)＝1 | 矛盾式 (FFFF) |
4.45 说的”这些组合可以排成一个系列”，在 5.101 兑现；这个”确定/可能/不可能”的排序后面还会变成概率论（5.15：概率＝真值根据的重叠比例）。
3. 记号：把表格压缩成一行（4.43–4.442）
规则（4.43–4.44）：在表的某行标 T 表示命题在该情形下真，不标即假——注意这套记号里”假”是用缺席表示的。4.442 的例子：
1 | p | q | 命题表态 |
先看清列的分工：第一、二列是 p、q 的全部真值组合，四行永远填满——那是舞台；第三列才是命题自己的表态。这张表说的就是”如果 p，那么 q”（p⊃q）：第三行（p 真、q 假）里命题不成立，所以什么都不写——空格不是漏印，它本身就是”假”的写法。
为什么是 p⊃q 而不是 q⊃p？没有更深的道理——书就是这么规定的。5.101 本质上是一本”模式 → 读法”的对照字典：每种 T 分布旁边标上它的日常读法与符号，p⊃q 的意义就是 (TTFT) 这个模式。合上字典分不清箭头朝哪边时才需要检验：翻车行只有一行——p⊃q 翻车在”p 真、q 假”，q⊃p 翻车在”q 真、p 假”，看空格在哪行即可。
一个常见困惑顺带解决：为什么 p 假时条件句还算”真”？因为这里的”如果”不是因果关系，只是真值运算——p⊃q 等价于”并非（p 真而 q 假）”（按 5.141，真值分布相同的命题是同一个命题），它只封杀一种世界，其余自动放行。
行序定死后，整张表可压缩成一行——“(TT–T)(p, q)”，横杠只是那个空位的替身，”更清楚”的写法把它补成 F：“(TTFT)(p, q)”。读法：四个位置依次对应 TT、FT、TF、FF 四行。
同一节还有个刺人的批评：弗雷格的判断杠”⊢”在逻辑上毫无意义——它只表示作者认为这些句子为真，就像命题编号一样不属于命题结构；一个命题不可能自己断言自己为真。
4. 两个极端：重言式与矛盾式（4.46–4.464）
16 种组合里有两个极端：对所有真值可能性都真的（全 T）叫重言式——无条件地真，没有真值条件；对所有情形都假的（全 F）叫矛盾式。它们无意义（sinnlos）但不是胡说：4.4611 说它们像算术里的 0 一样属于符号系统本身。4.463 的比喻最漂亮：重言式给现实留下整个（无限的）逻辑空间，矛盾式占满整个逻辑空间，两者都不能规定现实分毫。4.464：重言式确定真、命题可能真、矛盾式不可能真——“确定、可能、不可能”正是概率论要用的分级。
5. 总清单：两个基本命题的全部 16 个真值函项（5, 5.01, 5.101）
5 命题是基本命题的真值函项。（基本命题是它自身的真值函项。）
5.01 基本命题是命题的真值主目。
“主目”是精心挑的词——5.02 专门区分主目与指标：罗素 “+_c” 里的 c 只是标记（换别的符号也行），而”∼p”里的 p 是主目（不懂 p 就根本不懂 ∼p）。
然后是全书最壮观的一页，5.101：两个基本命题的全部 16 个真值函项（括号串按 TT、FT、TF、FF 四行读）：
| 记号 | 中文 | 常用记号 | |
|---|---|---|---|
| (TTTT)(p, q) | 重言式 | (p ⊃ p . q ⊃ q) | |
| (FTTT)(p, q) | 并非两者都是 | ∼(p . q) | |
| (TFTT)(p, q) | 如果 q 则 p | (q ⊃ p) | |
| (TTFT)(p, q) | 如果 p 则 q | (p ⊃ q) | |
| (TTTF)(p, q) | p 或 q | (p ∨ q) | |
| (FFTT)(p, q) | 非 q | ∼q | |
| (FTFT)(p, q) | 非 p | ∼p | |
| (FTTF)(p, q) | p 或 q 但非两者 | (p . ∼q : ∨ : q . ∼p) | |
| (TFFT)(p, q) | 等价 | (p ≡ q) | |
| (TFTF)(p, q) | p | p | |
| (TTFF)(p, q) | q | q | |
| (FFFT)(p, q) | 既非 p 也非 q | (∼p . ∼q) 或 (p \ | q) |
| (FFTF)(p, q) | p 而非 q | (p . ∼q) | |
| (FTFF)(p, q) | q 而非 p | (q . ∼p) | |
| (TFFF)(p, q) | q 且 p | (q . p) | |
| (FFFF)(p, q) | 矛盾式 | (p . ∼p . q . ∼q) |
这张表证明：关于 p、q 可说的一切就是这 16 行——一个封闭完备的清单。定义也在此给出：使命题为真的那些真值可能性叫它的真值根据（Wahrheitsgründe）——命题本质上就是”真值根据的集合”。
6. 推论与概率（5.11–5.152）
- 推论（5.11–5.13）：q 的真值根据全部包含在 p 的真值根据里，则 p 从 q 推出；不需要”推理规则”作担保（5.132：弗雷格-罗素式推理法则无意义且多余），命题自身的结构就足够。
- 同一个命题（5.141）：p 从 q 推出且 q 从 p 推出 → 它们是同一个命题。真假值分布相同，命题就无别。
- 5.142–5.143：重言式从一切命题推出（它什么都不说）；名句：矛盾式是命题的外边界，重言式是命题无实体的中心。
- 概率公式（5.15）：
Prob(s | r) ＝ W_rs : W_r，其中 W_r 是命题 r 的真值根据个数，W_rs 是其中同时是 s 的真值根据的个数。概率不是世界的频率属性，而是命题之间真值根据的重叠比例——纯逻辑关系。5.152：没有共同真值主目的命题互相独立。
例子：设 p＝”小明会法语”，q＝”小明会德语”，四行舞台照旧。A＝”p∧q”（两门都会），真值根据只有 TT；B＝”p”（会法语），真值根据 TT、TF。A 的根据全部落在 B 的根据里 → B 从 A 推出；按 5.14，A 说得比 B 多——会两门是比会一门更强的承诺。概率：r＝”至少会一门”（p∨q，根据 TT、FT、TF，共 3 个），其中同时是 s＝”会法语”的根据的有 TT、TF 两个 → r 给 s 的概率＝2:3。注意这个 2/3 不是统计出来的频率，而是两张清单的重叠比例——纯靠逻辑就能算，不用做实验。
7. 谢弗竖线：把联结词的面具撕下来（5.1311）
p | q 是什么：谢弗竖线（1913 年谢弗发明），读作”既非 p 也非 q”。真值表只有 FF 一行打 T：
1 | p | q | p|q |
它的价值在一个事实：光靠这一个运算，就能造出全部逻辑联结词。两个改写，逐个验证：
- ∼p ＝ p | p。”既非 p，也非 p”——两样东西其实是同一样，这句话就是在说”p 不成立”。非，得到了。
- p ∨ q ＝ (p | q) | (p | q)。外层的 | 连接两个相同的式子”既非 p 也非 q”（记它为 x）。x | x ＝”x 不成立”（同上）＝”并非：p、q 都不成立”＝”p、q 至少一个成立”。或，也得到了。
非、或都有了，其余（且、如果、等价）都能从它们拼出来。于是表面上的三种胶水——∨、∼、⊃——其实是一种。5.1311 拿一个推理做示范：从”p∨q”和”∼p”推出 q，通常写法里推理仿佛动用了两种胶水；把前提改写成 (p | q) | (p | q) 和 p | p 之后，一眼看穿：整场推理自始至终只有一种操作在重复使用。
这个”一眼”就是重点。如果 ∨ 和 ∼ 真是两种东西，改写后不可能互相替换；能替换，说明两者的差别只是写法，不是世界里的差别。这一手法在 6 里会被推到极限。
8. 运算与形式级数（5.22–5.32）
5.23 运算是”要在一个命题上做什么才能从它得到另一个命题”。
5.2521 运算连续应用于自身结果，记作 O′O′O′a。
5.2522 形式级数 a, O′a, O′O′a, … 的一般项写作：[a, x, O′x]。
[a, x, O′x] 是全书的骨架公式之一：第一项＝级数起点，第二项＝任意一项 x 的形式，第三项＝x 的直接后继的形式。它就是”等等“的形式化（5.2523）——不用模糊的省略号，而用一条生成规则。5.254：运算可以消去（∼∼p ＝ p）。5.32 收束：一切真值函项都是对基本命题逐次施加有限次真值运算的结果。
例子：取运算 O′＝”否定”，基础 a＝p，得形式级数 p, ∼p, ∼∼p, ∼∼∼p, …，一般项写作 [p, x, ∼x]。”否定、再否定、再再否定……等等“——“等等”不再是含糊的省略号，而是第三项写明的生成规则。由于 ∼∼p＝p（运算可消去），这个级数来回只有两个不同元素；换个基础和运算——a＝0、O′＝”加一”——就得到自然数级数 0, 1, 2, 3, …（6.03 会回收它）。
9. 没有逻辑常项（5.4–5.451）
先说清被反对的是什么。弗雷格和罗素认为：”或””如果””非”这些词是逻辑对象的名字——就像”苹果”指一个水果，”∨”指一种逻辑关系；逻辑就是研究这些对象的学问（所以才有”逻辑规律”像”物理定律”的图画）。
5.4 拒绝这个图画：不存在”逻辑对象””逻辑常项”（在弗雷格和罗素的意义上）。两个检验：
检验一（5.44）：∼∼p ＝ p。假如”非”是个对象，∼∼p 里就有两个”非”、p 里零个——往一个句子里添加两个对象，句子的意思竟分毫不差。真实对象不这样工作：往果篮里加两个苹果，不会还是零个。所以”非”根本不是被谈论的东西。
检验二（4.441）：看真值表自己——表里的括号、横线、T/F 记号，没有任何对象与它们对应，但记号系统离不了它们。维特根斯坦在这里说得最直白：”‘逻辑对象’不存在”——逻辑记号的地位就像括号和等号：离了它记不成句，但它不指称任何东西。
那联结词是什么？是运算（5.22 起）：对句子做的事。5.451 补一条记号规则：一个逻辑记号必须一次性在其一切出现处引入——∼p、∼(p ∨ q)、(∃x).∼fx 里的”非”必须是同一个，否则同形记号含义漂移，系统失效。
这一条的后果直通”说与显”：既然”非”不是对象，你就无法用语言”说出”它的意义（没有对象可指给它）；它的意义显示在含它的命题如何运作之中。
10. 封顶：命题的一般形式（6, 6.001–6.01）
6 真值函项的一般形式是：〔p̄, ξ̄, N(ξ̄)〕。这就是命题的一般形式。
三个部件，逐个拆：
- p̄＝所有基本命题的变项（语言的地基库存）；
- ξ̄＝任一以命题为值的变项（任意一组命题）；
- N(ξ̄)＝对 ξ̄ 的全体值做联合否定——谢弗运算的一般化：N(p, q)＝”既非 p 也非 q”。
它如何覆盖一切？三个还原式：
- ∼p ＝ N(p)
- p ∨ q ＝ N(N(p, q))（先联合否定，再否定回来）
- p ∧ q ＝ N(N(p), N(q))
非、或、且、如果、等价——全部由 N 加迭代生成。所以 6.001：每个命题都是 N′(ξ̄) 对基本命题逐次应用的结果。6.01 给出运算的一般形式：Ω′(η̄) ＝ [ξ̄, N(ξ̄)]′(η̄)（＝[η̄, ξ̄, N(ξ̄)]）——“从一个命题过渡到另一个命题”的最一般形式。量词命题（”所有””某个”）也在 5.5 以下被纳入同一处理，最终都归入这个格式。
例子：设 p＝”下雨”，q＝”刮风”，只用 N 一种零件：N(p, q)＝”既不下雨也不刮风”；套一层 N(N(p, q))＝”下雨或刮风”；另一条路 N(N(p), N(q))＝”并非不下雨、并非不刮风”＝”下雨且刮风”。∨、∧、∼ 三种联结词全由一个 N 变出——所以只消这一条规则加”逐次应用”，可说的一切就被穷尽了。
11. 意外的果实：算术（6.02–6.031）
给出命题的一般形式后，维特根斯坦顺手把数也造了出来——数是运算的指数（6.021：做几次运算）。6.02 的定义：
x ＝ Ω⁰′x (Def.)，Ω′Ω^ν′x ＝ Ω^(ν+1)′x (Def.)
于是级数 x, Ω′x, Ω′Ω′x, … 改写为 Ω⁰′x, Ω^(0+1)′x, Ω^(0+1+1)′x, …，而 [x, ξ, Ω′ξ] 变成 [Ω⁰′x, Ω^ν′x, Ω^(ν+1)′x]。算术从定义里长出来：0+1＝1 (Def.)、0+1+1＝2 (Def.)、0+1+1+1＝3 (Def.)…… 最后：
6.03 整数的一般形式是：〔0, ξ, ξ＋1〕。
注意它与命题的一般形式〔p̄, ξ̄, N(ξ̄)〕同构——都是”起点＋任意项＋后继运算”的形式级数（5.2522 的模板）。这就是 6.031 说类理论在数学里完全多余的理由：数学的一般性不靠对象（类），只靠运算结构。
例子：仍取 Ω′＝”否定”，x＝p：Ω⁰′p＝p（做 0 次＝原话），Ω¹′p＝∼p，Ω²′p＝∼∼p。右上角的指数回答”做了几次”——数就是运算的次数（6.021）。所以”0+1+1＝2 (Def.)”不是在描述什么，而是在造记法：2 的意思就是”同一操作做了两次”。而 [0, ξ, ξ+1] 与 [p̄, ξ̄, N(ξ̄)] 是同一个模板（[a, x, O′x]）填进不同内容：一个生成全部整数，一个生成全部命题。
12. 收束（6.1）
6.1 逻辑的命题是重言式。
把第 10 节那台机器造出的一切命题按四行表分类，只有三种可能：
- 部分行 T、部分行 F：有些情形下真、有些情形下假——它排除了什么、放行了什么——说了点事。这是普通（自然科学的）命题，可真可假，等现实裁决；
- 全 T：对世界每一种可能都放行——什么也没排除，所以什么也没描画、没说任何事。但它在真值表的排列方式里显示了逻辑：哪些命题从哪些命题推出、联结词如何运作。这就是重言式；
- 全 F：占满整个逻辑空间，矛盾式，同样无所说。
6.1 说的是：逻辑的命题全属于第二类。拿”并非两者都是”（∼(p . q)）当反例看得最清楚：它在 TT 行打 F——它排除了”风雨交加”这一情形。排除情形＝对事实有承诺＝可能被现实背叛（明天偏偏风雨交加，它就假了）。所以它是普通命题，不是逻辑。而全 T 的重言式一行也不排除：不管明天风雨怎么组合，它都放行——没有任何一种天气能背叛它（4.461：”无条件地真”），也就没有任何一种天气能从它那里得知什么。例：”明天下雨或者不下雨”（p ∨ ∼p，排中律）——对天气一无所知（4.461 的书内例子），但它让你看到 p 与 ∼p 的关系、∨ 和 ∼ 的用法。
这就是”收束”的意思：第 10 节那台从基本命题造出一切命题的机器，交付时的质检结论是——机器的产品里，可说的（部分 T 部分 F）全部交给科学；全 T 的那些，就是逻辑的全部家当（6.1–6.13 会逐条确认，如排中律、逻辑法则）。逻辑不是一门关于某个神秘”逻辑世界”的科学，而是记号系统投下的影子——真而空，所以按 6.54，读懂之后连它一起扔掉。
顺带扫清一个易混点：p ∨ q、p ⊃ q 这些组合虽然用逻辑词搭成，但它们自己是普通命题（部分 T 部分 F）——5.101 整张表画的是普通命题的全部骨架，逻辑不在表的某一行里，而在”一行都不排除”这个边界上。判定操作也由此而来：把一条候选命题连它的变项一起，用任意内容代入，若真值表始终全 T，它才是逻辑命题——把弗雷格—罗素书的逻辑法则逐条这样检验，全部落在全 T。
这套系统对全书为什么命运攸关
- 没有逻辑常项、逻辑对象（5.4）→ 逻辑形式不是可命名之物 → 只能显示（4.1212）→ 通往神秘之域（6.522）；
- 可说的一切有一个封闭的一般形式（6）→ 语言对世界的描画是一个可穷尽的系统 → 系统之外，就是必须沉默的领域（7）；
- 6.54 的梯子也在这里：这些公式无一处描画事实——它们全部是重言式地真而空的，正是要被扔掉的那部分。
最后：这本书的阅读体验有点像学游泳——原理讲再多，不跳进水里永远不放心。这篇文章能给你的只是水温和地图，卡在哪条命题，把它原文贴给任何一个愿意陪你逐句读的人（或我），比任何导读都管用。
