Logic

基础信息

1. 作者背景：Wilfrid Hodges（1941 年生），牛津新学院古典文学 + 神学双一等学位，1970 年逻辑学博士，先后任教伦敦大学贝德福德学院、UCLA、科罗拉多大学，伦敦玛丽女王大学数学教授；深耕模型论、逻辑史、语言逻辑，曾任英国逻辑研讨会、欧洲逻辑语言信息协会主席，撰写大量逻辑教材与期刊论文。
2. 版本出版信息：1977 年初版（鹈鹕丛书），1991 年企鹅重印，2001 年第二版；ISBN 978-0-14-192684-1。
3. 写作定位：面向零基础自学入门者，以 “读者 – 作者对话” 行文，穿插大量习题（书末附标准答案）；标「+」章节为形式逻辑，怕符号读者可跳过；全书核心主线：一致性（Consistency）→ 陈述句表达信念 → 真值与指称 → 语义表列（Tableau）判定一致性 / 论证有效性 → 句法结构分析 → 真值函项命题逻辑 → 谓词逻辑基础。
4. 核心立场：逻辑的起点是信念集的一致性（而非论证有效性，二者可互通）；采用逻辑术语的弱语义解读（区别于日常强会话解读）；以「可能情境」定义真假与一致性，用语义表列作为统一判定工具。

第一大板块：Consistency（一致性，全书立论根基，第 1–11 节）

板块一 第 1 节：一致的信念集（逻辑的核心定义）

1. 逻辑研究的一致性≠日常一致性： fickle（善变）、不公、虚伪都不属于逻辑矛盾；逻辑只关心信念之间的相容关系。
2. 严格定义
   • 一致（consistent）：存在某个可能情境，集合内所有信念同时为真；
   • 不一致（inconsistent）：不存在任何可能情境让全部信念同真；
   • 自相矛盾（contradiction）：单个信念自身无法在任何情境为真。
3. 关键区分
   • 不一致 ≠ 愚蠢 / 不合理：比如自认安全司机却多次肇事，只是不合理，但存在 “纯运气差” 的可能情境，因此一致；
   • 与已知事实冲突 ≠ 内部不一致：地平说内部信念自洽，只是和现实世界事实冲突；
4. 人性推论：人无法完整、无保留地同时相信两个已知矛盾的信念；人类天然具备基础逻辑直觉，逻辑学只是把潜意识直觉转化为可操作规则。
5. 配套习题：区分各类日常信念集是否一致。

板块二：用句子表达信念（第 2–4 节，解决 “信念看不见，只能依托语言研究” 的问题）

第 2 节：信念与词语的五大语言障碍

直接研究信念不可行，只能研究承载信念的陈述句，但存在 5 类核心难题：

1. 并非所有句子都表达信念（疑问、命令无直接信念承载作用）；
2. 歧义：同一句子可对应两种完全不同信念；
3. 语境指称变化：同一句话在不同时间 / 场景谈论不同对象（如 “明天会下雨”）；
4. 边界模糊：陈述难以区分 “误导真话” 和 “纯粹谎言”；
5. 书面丢失语音语调；
6. 语言依附性：信念无语言限制，人类外动物也可拥有信念，自然语言语法会局限逻辑思考。

第 3 节：陈述句（Declarative Sentences）—— 逻辑唯一研究对象

1. 判定标准：句子 x 代入「Is it true that x?」能生成语法合格问句，即为陈述句；排除命令、疑问、语义选择违背句（如 “钢琴家演奏一顶红色帽子”）。
2. 语法分层（语言判定工具）
   • 完全合语法；
   • 扰动句（perturbation）：语法轻微错误，可直接修正为标准句（如 * Did you be angry? → Were you angry?）；
   • 选择违背（selection violation）：词语搭配语义荒诞，多用于诗歌隐喻；
   • 彻底无语法（无修正可能）。
3. 限定逻辑研究范围：仅处理标准陈述句，其余句式不纳入一致性分析。

第 4 节：歧义（逻辑虚假矛盾的主要来源）

两类核心歧义，会制造假性不一致：

1. 词汇歧义：单个词语多义（rum = 朗姆酒 / 古怪；fit = 合身 / 发作）；凯恩斯经济学 “储蓄” 一词多义就是典型案例；
2. 结构歧义：词语分组方式不同（I heard about him at school：我在校听说 / 他在校发生的事）；衍生交叉指称歧义（代词 she/he 指代对象不明）；
3. 解决方法：重写句子拆分两种解读，区分同一拼写的不同语义词汇，消除歧义后再判断一致性。

板块三：句子何时为真？（第 5–8 节，建立语言 – 世界的真值、指称理论）

第 5 节：真值与指称（Reference）

1. 核心公理：陈述句的真值由句中短语的指称对象决定；同一句子随场景指称变化，真值随之改变。
2. 五类指称规则（决定短语指代何物）
   1. 自指符号（token-reflexive）：I/now/here，指称依赖说话时空；
   2. 需指示词：this chair/you，依赖手势、视线；
   3. 专名：Arthur，依赖对话语境中唯一匹配对象；
   4. 交叉回指：代词 him/she，指代前文名词；
   5. 固定指称：sulfur/Jupiter，任何场景指代不变；
3. 指称失败（referential failure）：短语无对应现实对象（“法国国王是秃头” 如今无指称），此类句子直接判定为假；
4. 案例批判：安瑟伦上帝存在证明，预先假定 “无法设想更大之物” 存在指称，循环论证。

第 6 节：边界案例与奇异情境

1. 真值无程度，但存在边界模糊
   • 分级形容词（fat/cold）有模糊边界，不存在绝对分割点；“真” 不是分级形容词，不存在 “更真”，只有完全真 / 完全假，但存在无法判定真假的边界地带；
   • 边界模糊会传递给 “一致性”：部分句子组合无法确定是否相容，逻辑并非绝对精确科学。
2. 奇异情境（bizarre situations）：现实不存在、语言无适配词汇描述的极端场景（裂脑人认知矛盾），此类场景中句子真值无法判定；逻辑分析应尽量规避奇异假设。

第 7 节：误导性陈述（弱解读 vs 强解读，全书核心语义约定）

日常语言连接词存在两种解读，本书统一采用弱解读（现代逻辑学通用标准）：

日常表达	强解读（日常直觉）	逻辑弱解读（本书采用）
A and B	先 A 后 B，带时序	仅同时成立，无时序
some X	some not all	兼容 all（全部也满足 some）
all X are Y	至少存在一个 X	无 X 时语句依然为真
either A or B	互斥不同时成立	相容或，可同时为真

• 关键推论：弱解读下，“我吻了一些女生，其实全部都吻了” 不存在自相矛盾，只是刻意隐瞒信息；强解读则构成矛盾。

第 8 节：可能情境与意义

1. 逻辑的 “可能情境”≠日常可能性
   • 日常可能：符合已知现实事实；
   • 逻辑可能：抛开现实全部已知事实，仅禁止逻辑矛盾（2+2≠4 无任何可能情境）；允许平行世界、生物演化差异等虚构场景。
2. 可能情境的两大作用
   1. 区分词义差异：构造一真一假的假想场景，证明两句话语义不同；
   2. 处理不存在对象：通过情境切换（“1650 年神圣罗马帝国”）规避指称失败；
3. 哲学争议：虚构可能情境是否具备本体论实在性？本书搁置形而上学争论，仅将其作为逻辑分析工具。

板块四：一致性与有效性的判定工具（第 9–11 节）

第 9 节：短句集合的一致性直观判定

1. 基础规则：集合不一致，则任意超集也不一致（一致性单调性）；
2. 两类不一致集合：
   • 二元矛盾：仅两句互斥（全红裙子 / 全蓝条纹裙子）；
   • 多元无二元矛盾、整体矛盾（刘易斯卡罗尔布丁案例）；
3. 道义句特殊难题：“我应当做 X / 我不该做 X” 存在否定辖域歧义，区分「无义务做 X」和「有义务不做 X」后才能判断相容。

第 10 节：表列技术（Tableau，全书核心机械判定方法）

1. 核心原理：拆解复杂句子为短句，构建树形分支，每一条分支代表一种尝试成真的可能情境；
2. 操作流程
   1. 写下待检测句子集作为树根；
   2. 按规则拆解复合句：合取（同分支追加两句）、析取（分支分裂）；
   3. 分支出现矛盾（φ 与 ¬φ 共存）则封闭；
   4. 无分支可拆解时终止：全部分支封闭→集合不一致；存在开放分支→集合一致（开放分支短句描述可行情境）；
3. 化学案例完整演示，区分一致 / 不一致集合的表列结果差异。

第 11 节：论证（Argument）—— 逻辑第二传统定义，与一致性互通

1. 论证结构：前提（理由）+ 结论；自然语言语序混乱，需标准化改写；
2. 论证有效性严格定义：不存在任何可能情境，让前提全真、结论为假；有效≠前提 / 结论符合现实事实；
3. 反例集转换（核心等价关系） 论证有效 ⇔ 「全部前提 + 结论的否定」构成的反例集不一致； 论证无效 ⇔ 存在反例情境（反例集全部为真）；
4. 归谬法（reductio ad absurdum）：通过证明反例集矛盾，验证论证有效；
5. 有效论证 vs 合理论证：有效是纯逻辑形式属性；合理论证是前提提供事实支撑（受背景知识影响，无机械判定方法）；有效论证增加新前提仍保持有效，合理论证会因新增事实失效。

第二大板块：复杂句子如何构成（第 12–15 节，基础句法，为逻辑分析铺垫）

第 12 节：短语类（Phrase-classes，词类划分工具：框架测试 Frame Test）

1. 核心概念：成分（constituent）—— 句子内天然词语分组；单个单词、完整句子均为成分；
2. 框架测试判定同类短语：用含空位 x 的句式检验，能填入且生成合语法句则属于同一短语类；
3. 名词短语、形容词、动词等大类划分；单词跨类现象（clear 可作动词 / 副词 / 形容词）视为同形异义词汇。

第 13 节：短语标记树（Phrase-markers，树形句法分析图）

1. 树形结构：顶端 S（句子），向下拆分 NP 名词短语、VP 动词短语等，底层为单词（终端符号）；上层分类符号为非终端符号；
2. 表层结构 vs 底层结构：部分句子表层拆分存在歧义，需设定底层短语标记还原真实成分（如短语动词 broke up 被代词拆分的句子）；
3. 局限：部分句子无唯一直观拆分，需依托语言学理论确定底层结构。

第 14 节：辖域（Scope）—— 消解结构歧义的关键逻辑概念

1. 辖域定义：包含目标词语、且最小的上层成分；
2. 歧义本质是连接词 / 修饰词辖域不同：
   • 形容词 wild 辖域不同：wild (animal keeper) 饲养野生动物的人 / (wild animal) keeper 性情野蛮的动物饲养员；
   • 逻辑连接词 and/or 辖域不同：rich or (young and good-looking) / (rich or young) and good-looking；
3. 表层辖域 vs 底层辖域：代词拆分、倒装句会扭曲表层辖域，需底层树形标记还原真实辖域。

第 15 节：上下文无关文法（CF Grammars，形式语言基础）

1. 重写规则 A ⇒ B₁B₂…Bₙ，生成短语标记树；区分初始符号、终端符号（单词）、非终端符号（短语分类）；
2. 特性：可生成无限长句子（递归重写规则，如 Adj ⇒ Adj N 无限叠加形容词）；
3. 作用：无法完整描述自然英语，但完美适配逻辑形式语言的构造规则。

第三大板块：逻辑分析（第 16–19 节，命题逻辑核心：真值函项翻译）

第 16 节：句子函子与真值函项

1. 句子函子：含空位 φ/ψ 的句式，填入陈述句生成完整句子；按空位数量分为一元、二元、三元函子；
2. 真值函项：仅由子句真值，就能唯一确定整体句子真值的函子，可用真值表刻画；
   • 真值函项范例：it is not true that φ、φ and ψ；
   • 非真值函项范例：I know that φ（φ 为真时，我可能知道也可能不知道，无法固定真值）；
3. 逻辑分析方法：通过同义转述，把自然语句拆解为短句 + 真值函项组合，消除交叉指称方便后续表列拆解。

第 17 节：五大基础真值函项（全书形式符号体系）

统一采用弱解读，配套真值表、自然语言对应翻译、使用禁忌：

1. 否定 ¬φ（It is not true that φ）：唯一让整体为假的情况是 φ 为真；
2. 合取 ∧ [φ∧ψ]（and/but/although）：仅双真时整体为真；注意限制性定语不能拆分合取；
3. 析取 ∨ [φ∨ψ]（or/unless，相容或）：仅双假时整体为假；
4. 蕴涵 → [φ→ψ]（if φ then ψ）：仅 φ 真 ψ 假时整体为假；仅用于事实直陈条件句，排除虚拟条件句；
5. 双条件 ↔ [φ↔ψ]（if and only if）：子句真值一致则整体为真；

• 翻译规则：消除代词交叉指称，把指代对象完整重复，避免单独提取子句时指称失败。

第 18 节：蕴涵→与合取∧的特殊翻译陷阱

1. 蕴涵（→）禁用场景：虚拟 / 反事实条件句（If you had poured acid…）、代词跨情境指代的通用规律句，无法用→翻译；
2. 合取（∧）区分限制性 / 非限制性定语从句：
   • 非限制性从句（逗号分隔 who/which）：可拆分为∧；
   • 限制性定语（无逗号 that）：用于限定对象范围，绝对不能拆分为合取；
3. 形容词陷阱：famous pianist、perfect stranger 等复合名词短语，形容词无法独立拆分合取。

第 19 节：复杂句子分层分析流程（标准化翻译步骤）

1. 先找最大辖域的真值函项，作为整体外层结构；
2. 向内逐层拆解次级真值函项；
3. 同义转述消除代词、省略指代，统一子句表述；
4. 括号标记辖域，区分否定、合取、析取、蕴涵的作用范围；
5. 完整长句分步演示，展示多层嵌套符号化结果。

第四大板块：句子表列（第 20–21 节，命题逻辑机械演算）

第 20 节：符号化句子表列规则

1. 五大真值函项配套固定表列拆解规则（对应真值表推导）：
   • 合取 [φ∧ψ]：无分支，同分支追加 φ、ψ；
   • 否定合取 ¬[φ∧ψ]：分支，左 ¬φ、右 ¬ψ；
   • 双重否定 ¬¬φ：直接替换为 φ；
   • 蕴涵 [φ→ψ]：分支，左 ¬φ、右 ψ；
   • 否定蕴涵 ¬[φ→ψ]：无分支，追加 φ、¬ψ；
2. 一致性检测流程：自然句→真值函项符号化→表列拆解；分支同时出现 φ 与 ¬φ 则封闭；
3. 论证有效性检测：构造反例集（前提 + 否定结论），表列全封闭 = 论证有效；存在开放分支 = 论证无效，开放分支即反例情境。

第 21 节：解释（Interpretation）与形式公式

1. 解释定义：大写字母 P/Q/R…… 对应固定自然短句，简化书写；符号化后的纯字母串称为公式；
2. 符号表列局限：仅能识别「同一公式 + 其否定」的显性矛盾；自然语言隐性矛盾（如 “舒伯特 31 岁去世 / 68 岁去世”）符号化为 P、Q 无冲突，需回溯翻译回自然语言二次校验开放分支；
3. 实操流程：自然语句→分配字母解释→纯公式表列→开放分支还原自然语言排查隐性矛盾。

第五大板块：命题演算（22–25 节，纯形式命题系统，衔接自然语言表列与严格形式语法）[下文符号换为字母表示]

第 22 节：一种形式语言（A Formal Language）

1. 写作目的：摆脱自然语言歧义，建立完全精确、无模糊的纯符号形式语言，作为命题逻辑严格演算载体，区别于 21 节仅简化缩写的 “解释字母”。
2. 形式语言三类基础符号
   • 命题字母：\(P,Q,R,P_1,P_2…\)（对应自然简单陈述句）
   • 真值函项联结词：\(\neg,\land,\lor,\to,\leftrightarrow\)（完全沿用前文 5 种弱解读联结词）
   • 括号：\([\ ]\)，唯一作用标记辖域，消除嵌套歧义
3. 合式公式（wff）递归生成规则（上下文无关文法规范）
   1. 基础条款：单个命题字母是 wff；
   2. 否定：若\(\phi\)是 wff，则\([\neg\phi]\)是 wff；
   3. 二元联结词：若\(\phi,\psi\)是 wff，则\([\phi\land\psi],[\phi\lor\psi],[\phi\to\psi],[\phi\leftrightarrow\psi]\)均为 wff；
   4. 闭包：仅以上三条生成的字符串才是合法公式。
4. 语法约束：不允许省略括号，所有二元公式外层必须包裹方括号，杜绝辖域混淆；区分 “字符串” 和 “合法公式”，大量无规则符号串不属于形式语言。
5. 语言与解释的区分：形式语言只是符号集合；解释（21 节概念） 是人为给命题字母指派自然句子，二者分离，保证演算独立于语义。

第 23 节：真值表（Truth-tables）

1. 核心定位：纯形式语义工具，不依赖自然语言，仅通过真值 T/F 定义每个联结词的语义规则，和 17 节真值表完全一致，但现在作用于纯形式公式。
2. 赋值（valuation）定义：给每一个命题字母单独指派 T 或 F，一套完整赋值对应一个 “逻辑可能情境”。
3. 真值计算递归规则：
   • 命题字母：直接取用赋值指派真值；
   • \(\neg\phi\)：与\(\phi\)真值相反；
   • \(\land\)：仅双 T 得 T，其余 F；
   • \(\lor\)：仅双 F 得 F，其余 T；
   • \(\to\)：仅前 T 后 F 得 F，其余 T；
   • \(\leftrightarrow\)：左右真值相同为 T，不同为 F。
4. 完整真值表构造步骤：
   1. 列出公式内全部命题字母，穷尽所有 T/F 组合（n 个字母共\(2^n\)行）；
   2. 从最内层子公式逐步向外计算每一层真值；
   3. 最右一列为整个公式在对应赋值下的真值。
5. 三类公式真值表分类（基础元概念）
   • 重言式（tautology）：所有赋值下均为 T，如\([P\lor\neg P]\)，必然真；
   • 矛盾式（contradiction）：所有赋值下均为 F，如\([P\land\neg P]\)，必然假；
   • 或然式（contingent）：部分 T、部分 F，普通可真可假陈述句。
6. 真值表两大用途：判定公式类型；检验语义蕴涵关系。

第 24 节：语义蕴涵的性质（Properties of Semantic Entailment）

1. 语义蕴涵严格定义：设\(\Gamma\)为公式集合，\(\phi\)为公式；\(\Gamma\)语义蕴涵\(\phi\)（写作\(\Gamma\vDash\phi\)）当且仅当不存在任何赋值，使得\(\Gamma\)内全部公式为 T 且\(\phi\)为 F。
   • 等价转述：论证\(\Gamma \therefore \phi\)有效 \(\iff \Gamma\vDash\phi\)；和 11 节 “反例集不一致” 完全互通。
2. 核心基础性质（单调性、传递性等）
   1. 单调性：若\(\Gamma\vDash\phi\)，向\(\Gamma\)增加任意公式\(\psi\)后，新集合仍蕴涵\(\phi\)；有效论证增加前提永远有效（区分合理论证，后者无单调性）；
   2. 传递性（切分规则 /cut）：若\(\Gamma\vDash\psi\)且\(\Gamma\cup\{\psi\}\vDash\phi\)，则\(\Gamma\vDash\phi\)；中间结论可消去；
   3. 归谬等价：\(\Gamma\vDash\phi \iff \Gamma\cup\{\neg\phi\}\)是矛盾集合（无赋值让全体为 T）；对应表列法核心逻辑；
   4. 重言式特性：空集\(\vDash\phi\)当且仅当\(\phi\)是重言式；无需任何前提必然成立；
   5. 矛盾集合特性：若\(\Gamma\)是矛盾集，则\(\Gamma\)蕴涵任意公式（爆炸原理 ex falso quodlibet）；
3. 等价关系\(\phi\vDash\psi\)且\(\psi\vDash\phi\)：两公式语义等价，所有赋值下真值完全相同，可在任意公式中互相替换而不改变整体真值。
4. 实用推论：可通过真值表验证上述全部性质，为表列法提供理论合法性。

第 25 节：形式表列（Formal Tableaux）

1. 与 20 节自然语言表列的区别：完全作用于 22 节定义的纯形式 wff，规则仅依赖联结词语法，无需翻译自然语言，演算完全机械化。
2. 全套形式拆解规则（复刻 20 节，符号化标准化）
   • \([\phi\land\psi]\)：同分支添加\(\phi,\psi\)；
   • \(\neg[\phi\land\psi]\)：分支左\(\neg\phi\)、右\(\neg\psi\)；
   • \([\phi\lor\psi]\)：分支左\(\phi\)、右\(\psi\)；
   • \(\neg[\phi\lor\psi]\)：同分支添加\(\neg\phi,\neg\psi\)；
   • \([\phi\to\psi]\)：分支左\(\neg\phi\)、右\(\psi\)；
   • \(\neg[\phi\to\psi]\)：同分支添加\(\phi,\neg\psi\)；
   • \([\phi\leftrightarrow\psi]\)：左分支\(\phi,\psi\)；右分支\(\neg\phi,\neg\psi\)；
   • \(\neg[\phi\leftrightarrow\psi]\)：左分支\(\phi,\neg\psi\)；右分支\(\neg\phi,\psi\)；
   • \(\neg\neg\phi\)：直接替换为\(\phi\)。
3. 分支封闭规则：单分支同时出现\(\alpha\)与\(\neg\alpha\)（任意 wff），分支闭合；全部分支闭合\(\iff\)初始公式集矛盾。
4. 两大标准应用流程
   1. 检验集合一致性：直接将全部公式放入树根，完成表列；
   2. 检验论证有效性：构造反例集\(\Gamma\cup\{\neg\phi\}\)，表全闭则\(\Gamma\vDash\phi\)。
5. 完备性简述（本书不证明，仅陈述结论）：命题形式表列是完备判定程序 —— 有限公式集一致，当且仅当存在未封闭完成分支。

第六大板块：指称词与同一（26–29 节，从命题跨入谓词核心：单称项、谓词、指称失败、同一符号）

第 26 节：指称词与谓词（Designators and Predicates）

1. 命题逻辑局限：仅分析完整陈述句，无法拆分 “对象 + 属性” 结构，不能处理 “所有、一些、个体”，必须引入谓词逻辑基础构件。
2. 两类基础句法单元
   • 指称词（designator）：语言短语，功能指向单个确定对象；包含专名（Arthur）、限定摹状词（the king of France）、代词（he）；
   • 谓词（predicate）：含空位的句式，填入指称词生成完整陈述句；分一元谓词（…is fat，单个空位）、二元 / 多元谓词（…loves…，两个空位）。
3. 基础句子范式：一元谓词 + 单个指称词 = 原子陈述句，例：Ted is fat（Fat (Ted)）。
4. 指称失败再深化（5 节延伸）：摹状词无对应对象时（the present king of France），作为指称词失效；本书统一约定：含无指称 designator 的原子句直接为假。
5. 逻辑区分：指称词负责 “挑对象”，谓词负责 “描述对象属性 / 关系”，二者分离是谓词逻辑根基。

第 27 节：纯粹指称出现（Purely Referential Occurrences）

1. 定义：一个指称词在句子里仅承担 “指向对象” 功能，句子真值仅依赖该对象本身，不依赖描述该对象的内涵。
2. 反例：非纯粹指称（内涵语境雏形） 例：George believes the author of Waverley is a poet “the author of Waverley” 此处不纯粹指称：替换同义专名 Scott，句子真值可能改变（George 未必知道 Scott 写了 Waverley）。
3. 纯粹指称核心替换规则（同一替换预备）：若\(a,b\)均纯粹指称且\(a=b\)，则任意句子中互换\(a,b\)，句子真值不变。
4. 边界判定：命题态度动词（believe, know, think）后从句内的指称词几乎都非纯粹指称，普通陈述事实句内大多是纯粹指称。

第 28 节：两种指称处理方案（Two Policies on Reference）

针对 “指称失败句子（如法国国王秃头）” 的两大逻辑流派解决方案，本书立场清晰：

1. 方案 1：自由逻辑方案：允许指称词无对象，此类句子无真值（真值空隙）；优点贴合直觉，缺点破坏 “每句非 T 即 F” 二值基础，无法直接用表列、真值表。
2. 方案 2：本书采用经典二值方案（罗素简化版）：所有原子句必须 T/F；指称失败时原子句一律为假；无需真值空隙，保留二值逻辑完整演算工具（表列、真值表），牺牲部分自然语言直觉换取形式便利。
3. 安瑟伦本体论论证复盘（5 节案例深化）：论证预先假设 “无法设想更伟大之物” 有指称，违反二值方案规则，直接循环无效。
4. 实操规则：形式化时默认所有指称词有潜在对象，若现实无对应则原子式为假。

第 29 节：同一关系（Identity）

1. 同一符号\(=\)引入：二元谓词，\(a=b\)读作 “a与b是同一个对象”，属于逻辑常元，非普通描述谓词。
2. 同一真值规则：\(a=b\)为 T 当且仅当\(a,b\)纯粹指称同一对象；若任意一方指称失败，则\(a=b\)为 F。
3. 三大同一公理（内置逻辑规则，无需额外前提）
   1. 自反性：对任意指称词t，\(t=t\)恒为真；
   2. 对称性：若\(a=b\)则\(b=a\)；
   3. 传递性：若\(a=b,b=c\)则\(a=c\)。
4. 莱布尼茨同一替换律（核心推演规则）：若\(a=b\)，且a在\(\phi\)中纯粹指称，将\(\phi\)内任意a替换为b，所得公式与原公式等价（真值完全相同）。
5. ** 同一的否定\(\neq\)：缩写\([\neg a=b]\)，用于区分不同个体；
6. 自然语言翻译场景：“是” 表等同（Cicero is Tully）翻译为\(c=t\)；“是” 表属性（Cicero is orator）翻译为一元谓词\(O(c)\)，严格区分两种 “是”，消除日常语言歧义。

第七大板块：关系（30–33 节，多元谓词、满足关系、等价关系）

第 30 节：满足（Satisfaction）

1. 语义基础概念：对象x满足一元谓词P，当且仅当陈述句\(P(x)\)为真；二元关系R：对象对\((x,y)\)满足R当且仅当\(R(x,y)\)为真。
2. 解释拓展（21/23 节延伸到谓词）：完整谓词解释包含三部分
   1. 论域D：全体讨论对象集合；
   2. 个体指派：每个指称词对应D中一个元素；
   3. 谓词指派：一元谓词对应D子集，二元谓词对应\(D\times D\)有序对集合。
3. 满足递归定义：原子公式真值由 “对象是否满足谓词” 决定；复合真值函项公式沿用命题逻辑 T/F 规则。
4. 作用：搭建 “对象 – 谓词 – 真值” 桥梁，为量词语义做铺垫。

第 31 节：二元关系（Binary Relations）

1. 二元谓词标准形式\(R(t_1,t_2)\)，有序对不可颠倒：\(L(Ann,Bob)\)（Ann 爱 Bob）≠\(L(Bob,Ann)\)。
2. 关系基础性质定义（基于论域内全部对象）
   • 自反：全部x满足\(R(x,x)\)；例：与… 等高；
   • 非自反：无x满足\(R(x,x)\)；例：比… 高；
   • 对称：若\(R(x,y)\)则\(R(y,x)\)；例：和… 同辈；
   • 反对称：若\(R(x,y)\)且\(R(y,x)\)则\(x=y\)；例：≤；
   • 传递：若\(R(x,y),R(y,z)\)则\(R(x,z)\)；例：年长于。
3. 自然语言大量二元关系翻译示例：比较、亲属、空间位置、因果均为二元谓词。

第 32 节：相同、至少、更多（Same, at least and more）

1. 数量描述必须借助同一符号\(=\)形式化，无法单用普通谓词
   • “至少两个P”：存在\(x,y\)，\(P(x)\land P(y)\land x\neq y\)；
   • “至多一个P”：任意\(x,y\)，若\(P(x)\land P(y)\)则\(x=y\)；
   • “恰好一个P”：至少一个 + 至多一个（限定摹状词逻辑基础）；
   • “比Q更多P”：基数比较，依托有序对与同一区分个体。
2. 核心意义：日常数量词汇（一些、全部、单个、更多）本质是量词 + 同一的组合，单独谓词无法表达数量差异。

第 33 节：等价关系（Equivalence Relations）

1. 严格定义：二元关系R同时满足自反、对称、传递三大性质，即为等价关系。
2. 典型自然语言实例：同岁、等高、同一国籍、全等几何图形。
3. 等价类推论：等价关系将论域D切分为互不相交等价类；同类内全部对象满足R，不同类无R关系；
4. 区分等价与单纯对称传递：缺少自反性则无法划分完整等价类（例：“严格等高” 无自反，不是等价）。
5. 逻辑应用：用于定义 “相同属性个体集合”，是限定摹状词、量词计数工具。

第八大板块：量词（34–36 节，全称∀、存在∃，谓词逻辑核心算子）

第 34 节：量化（Quantification）

1. 命题逻辑致命缺陷：无法概括全体 / 部分对象，量词填补该空白；区分开公式、闭公式
   • 开公式：含自由变量\(x,y\)（无量词约束），如\(Fat(x)\)，无确定真值（依赖x取哪个对象）；
   • 闭公式（语句 sentence）：所有变量均被量词约束，有固定 T/F 真值。
2. 变量与指称词区分：\(x,y\)是占位变量，不指向固定对象；\(a,b\)是指称词，固定单个对象。
3. 两类量词引入动机：
   • 全称量词\(\forall\)：对应自然语言 “所有、每一个、全部”；
   • 存在量词\(\exists\)：对应自然语言 “存在、有一些、至少一个”；
4. 约束辖域规则：量词辖域为紧跟其后最小完整公式，括号标记避免歧义，例\(\forall x[P(x)\to Q(x)]\)。

第 35 节：所有与一些（All and some）

1. 全书统一弱逻辑解读（延续 7 节约定，拒绝日常强会话含义）
   • \(\forall x P(x)\)（所有对象是P）：论域无对象时公式依然为真（空全称真）；日常 “所有” 常隐含存在，逻辑舍弃该隐含；
   • \(\exists x P(x)\)（存在对象是P）：仅当论域至少一个对象满足P才为真；“some” 兼容 “all”，存在为真不排斥全部为真。
2. 标准自然语言翻译范式
   1. 所有P是Q：\(\forall x[P(x)\to Q(x)]\)；
   2. 一些P是Q：\(\exists x[P(x)\land Q(x)]\)；
   3. 无P是Q：\(\forall x[P(x)\to \neg Q(x)]\)；
   4. 并非所有P是Q：\(\exists x[P(x)\land \neg Q(x)]\)。
3. 否定量词等价转换（量词对偶律，核心等值式）
   • \(\neg\forall x\phi \iff \exists x\neg\phi\)（并非全部 = 存在不）；
   • \(\neg\exists x\phi \iff \forall x\neg\phi\)（不存在 = 全部不）； 可双向替换，用于化简谓词公式、表列拆解。

第 36 节：量词规则（Quantifier Rules）

1. 谓词表列量词拆解核心四条规则（机械演算基础）
   1. 全称\(\forall x\phi\)（全称实例化 UI）：任意未封闭分支，可将x替换为分支内任意已有指称词t，添加\(\phi(t/x)\)；可重复使用，适用于论域全部个体；
   2. 否定全称\(\neg\forall x\phi\)：等价\(\exists x\neg\phi\)，拆分规则同存在；
   3. 存在\(\exists x\phi\)（存在实例化 EI）：仅能替换为全新、本分支从未出现过的指称词c，添加\(\phi(c/x)\)；每条存在式仅可使用一次（避免错误重复个体）；
   4. 否定存在\(\neg\exists x\phi\)：等价\(\forall x\neg\phi\)，拆分规则同全称。
2. 使用约束关键（防止反例）：存在量词不能复用旧常元，否则会强行合并不同个体，制造虚假矛盾；全称可无限次代入已有常元。
3. 量词与同一搭配补充规则：分支出现\(a=b\)，可结合莱布尼茨替换律互换常元。

第九大板块：谓词逻辑完整体系（37–41 节，混合量词 / 同一 / 真值函项、谓词解释、完整谓词表列、自然语言标准化形式化）

第 37 节：逻辑辖域（Logical Scope）

1. 多层嵌套辖域判定优先级（从大到小）：量词 > 否定 > ∧/∨ > →/↔；括号强制改变辖域。
2. 量词辖域歧义典型案例
   • 每个男人爱一个女人：\(\forall x\exists y L(x,y)\)（每人各有爱人） vs \(\exists y\forall x L(x,y)\)（同一个女人被所有人爱）；仅辖域顺序差异，真值完全不同。
3. 约束变量更名规则：公式内约束变量字母可替换全新字母，不改变公式语义（消除变量冲突，如\(\forall x P(x)\land \exists x Q(x)\)可改为\(\forall x P(x)\land \exists y Q(y)\)）。
4. 开公式陷阱：变量跨量词辖域自由出现会造成语义混乱，形式化必须全部变量约束。

第 38 节：使用同一的分析（Analyses Using Identity）

1. 限定摹状词标准形式化（罗素式简化，本书二值框架适配）：“那个P是Q” = \(\exists x[P(x)\land \forall y(P(y)\to y=x)\land Q(x)]\)（恰好一个P且该P是Q）。
2. 数量词汇完整形式化模板（依托\(=\)）
   • 恰好 1 个P：\(\exists x[P(x)\land \forall y(P(y)\to y=x)]\)；
   • 恰好 2 个P：\(\exists x\exists y[x\neq y \land P(x)\land P(y) \land \forall z(P(z)\to (z=x\lor z=y))]\)；
3. “只有、唯独” 翻译：只有a是P：\(\forall x(P(x)\to x=a)\)；
4. 同一消除歧义：区分 “同一个对象” 与 “同类不同对象”，解决 32 节数量判定难题。

第 39 节：谓词解释（Predicate Interpretations）

1. 完整谓词解释三元组（对比 23 节命题赋值的升级）
   1. 论域D：非空集合（所有讨论个体）；
   2. 常元指派：每个指称词\(a,b\)映射D内一个元素；
   3. 谓词指派：一元谓词映射D子集，n元谓词映射\(D^n\)有序 n 元组集合。
2. 公式真值递归判定（结合 30 节满足关系）
   • 原子式\(P(t_1…t_n)\)：\((t_1指派,t_2指派…)\)属于P指派集合则 T；
   • 真值联结词：完全沿用命题逻辑 T/F 规则；
   • \(\forall x\phi\)：D内每一个元素d代入x后\(\phi\)为 T，整体 T；
   • \(\exists x\phi\)：D内至少一个元素d代入x后\(\phi\)为 T，整体 T。
3. 语义核心定义移植到谓词
   • 集合\(\Gamma\)一致：存在某个谓词解释让\(\Gamma\)全部公式为 T；
   • 论证\(\Gamma\therefore\phi\)有效：无解释让\(\Gamma\)全真、\(\phi\)假（\(\Gamma\vDash\phi\)）。

第 40 节：谓词表列（Predicate Tableaux）

1. 完整表列规则合集：合并 20 节命题联结词规则 + 36 节量词四条规则 + 29 节同一替换规则，一套树形系统同时处理命题、量词、同一。
2. 构造完整流程
   1. 将自然语句全部形式化为闭谓词公式；
   2. 树根写入待检测公式集（检验有效性则写入前提\(+\neg\)结论）；
   3. 逐层拆解：先真值联结词，再量词，同一式随时应用替换；
   4. 分支闭合：同一分支同时出现\(\alpha\)与\(\neg\alpha\)即封闭；
3. 未封闭分支解读：分支内常元、谓词条件可直接构造对应谓词解释（论域 = 分支常元指代对象），构成反例，证明论证无效；
4. 关键局限说明（全书重要元逻辑提示）：命题表列是完备判定算法（有限步骤必终止）；谓词表列无通用判定程序—— 部分无限分支永远无法完成，不存在机械步骤保证判定任意谓词集合一致性（一阶逻辑不可判定性简述，不深入证明）。

第 41 节：再次形式化（Formalization Again，第二版重写扩充）

1. 完整标准化自然语言转谓词公式五步流程（全书实操总结）
   1. 消除歧义：区分词汇 / 结构歧义，拆分模糊量词范围；
   2. 拆解核心谓词、个体，标记全部指称对象，消除代词交叉指称；
   3. 区分属性谓词、二元关系、等同 “\(=\)”；
   4. 识别量词（所有 / 一些 / 无），确定每个量词准确辖域；
   5. 套用标准翻译模板，补充括号标记辖域，生成纯闭谓词公式。
2. 复杂混合句式实战案例：嵌套量词 + 限定摹状词 + 条件句完整拆解；
3. 第二版新增修正：补充语言学相关翻译陷阱（时态、虚拟、限定 / 非限制性定语区分），修正初版形式化疏漏。

第十大板块：逻辑的边界（Horizons of Logic 42–44 节，外延一阶逻辑局限，拓展模态、内涵、语义哲学反思）

第 42 节：似然性（Likelihood）

1. 核心结论：概率、可能性、必然性、偶然性这类模态概念无法用一阶真值函项 + 量词表达，不属于基础谓词逻辑范畴。
2. 模态算子特性：“必然\(\square\phi\)、可能\(\Diamond\phi\)” 不是真值函项 ——\(\phi\)同为 T 时，\(\square\phi\)可 T 可 F（例：“我今天喝水” 为真，但不必然真；“2+2=4” 真且必然真），无固定真值表。
3. 表列法失效：模态句子不存在纯外延拆解规则，无法用本书表列机械判定一致性；需单独模态逻辑系统。
4. 概率补充：“很可能P” 同样非真值函项，真值无法由P单独决定，基础逻辑不处理概率推理。

第 43 节：内涵（Intension）

1. 内涵语境定义：命题态度动词（believe, know, hope, wish）引导从句，形成内涵语境；27 节纯粹指称规则在此失效。
2. 核心难题（弗雷格晨星悖论简化）：\(a=b\)为真，但 “我相信\(P(a)\)” 不能推出 “我相信\(P(b)\)”；同一替换律在内语境不成立。
3. 内涵 vs 外延区分
   • 外延：仅关注对象、真值（本书全部命题 / 谓词逻辑均为外延逻辑）；
   • 内涵：关注对象描述方式、认知意义、命题内容；
4. 边界划定：本书表列、真值表、谓词解释全部是外延工具，无法处理内涵命题态度语句，属于逻辑拓展分支（认知逻辑）。

第 44 节：语义学（Semantics，第二版大幅重写）

1. 全书语义框架复盘：本书基础语义三层核心工具 —— 可能情境、指称、真值，全部是外延语义，仅适配陈述句外延属性。
2. 框架三大固有短板
   1. 无法处理内涵命题态度（43 节）；
   2. 无法处理模态、概率（42 节）；
   3. 无法精确刻画模糊谓词边界（6 节边界案例问题）。
3. 哲学中立立场：本书不介入 “可能世界是否真实存在” 形而上学争论，仅将 “可能情境” 作为分析工具，不做本体论断言。
4. 逻辑分层总结收尾
   • 第一层：命题逻辑（真值函项，机械可判定）；
   • 第二层：带同一一阶谓词逻辑（可表列但无通用判定程序，处理对象、属性、数量）；
   • 第三层：拓展逻辑（模态、认知、概率、模糊逻辑，超出本书初等逻辑范围）；
5. 全书收尾观点：初等外延逻辑是日常推理、数学论证基础工具，但不能覆盖人类全部语言与推理形式，仅为逻辑入门基石。

全书整体逻辑脉络

1. 起点：摒弃传统 “逻辑 = 有效论证” 定义，以信念一致性为入门切口，降低理解门槛；
2. 语言铺垫：论证信念无法直接研究，必须依托陈述句；系统梳理歧义、指称、真值、边界模糊等自然语言缺陷，建立逻辑分析的语义约定（弱解读）；
3. 判定工具：提出统一的表列法，既可检测句子集一致性，又可转化检测论证有效性，打通两大逻辑核心问题；
4. 句法基础：引入现代句法（成分、树形标记、辖域、上下文无关文法），解释复合句子构造原理，为拆解复杂语句提供语言学支撑；
5. 命题逻辑体系：提炼五大真值函项，建立自然语言→符号公式的标准化翻译流程，配套机械表列演算；
6. 谓词逻辑拓展：从简单命题推进到指称、同一、二元关系、全称 / 存在量词，覆盖带名词、数量、对象关系的复杂语句；
7. 边界反思：点明外延真值逻辑的局限，区分模态、概率、命题态度等无法用基础表列处理的内涵逻辑领域；
8. 工具配套：全书习题 + 附录规则、答案，形成 “理论 – 练习 – 速查” 完整自学闭环。

全书核心特色总结

1. 入门友好：完全零基础导向，避开晦涩哲学预设，从日常信念、日常句子切入；
2. 统一工具：表列法贯穿命题、谓词逻辑，一套方法解决一致性、有效性两大核心问题；
3. 语言逻辑融合：大量结合现代语言学（乔姆斯基句法、框架测试、表层 / 底层结构），解释自然语言如何转化为逻辑形式；
4. 清晰语义约定：明确区分日常强解读与逻辑学弱解读，消除自然语言歧义带来的逻辑错误；
5. 平衡形式与哲学：既教授符号演算技术，又持续反思逻辑基础概念（可能情境、指称失败、真值边界），兼顾技术实操与哲学思辨。