基础出版与定位
作者：格雷厄姆・普里斯特（Graham Priest），当代顶尖非经典逻辑、悖论研究学者；2000 年初版，2010 年插图修订版，属于「A Brief Insight」通识短书系列。
核心定位：区别于纯习题式逻辑教材（如《Logic For Dummies》），本书是哲学导向的现代逻辑导论，不侧重大量形式演算训练，而是以哲学难题、逻辑悖论为每章切入点，打通经典逻辑、非经典逻辑、模态、时间、概率、决策逻辑，梳理逻辑底层哲学争议。
写作特点
无复杂高等数学，仅最后概率 / 决策章节用到基础高中代数；
每章固定结构：抛出经典哲学谜题→给出一套标准逻辑解决方案→指出该方案存在的漏洞与反驳→配套课后习题；
广度优先，不深挖单一分支，覆盖逻辑全领域核心哲学问题；
配套术语词汇表、习题解答、参考文献、图片来源附录。
全书结构：前言 + 13 章核心逻辑专题 + 第 14 章逻辑发展史 + 附录（词汇、习题、习题答案、参考文献）。
前言（Preface）完整梳理
逻辑学科双重属性：最古老（公元前 4 世纪亚里士多德）、最现代的学科，与哲学、数学深度绑定；20 世纪初数学化革新，近半世纪在计算机、信息处理领域落地。
本书写作目标：不做标准化教科书，挖掘逻辑背后深层哲学根基，穿插基础形式符号工具。
章节统一叙事框架
1）开篇抛出哲学 / 逻辑谜题；
2）讲解一套主流分析方案；
3）提出对这套方案的质疑、反例与漏洞；
4）留给读者自主思辨，无唯一标准答案（大量逻辑领域至今存在学派分歧）。阅读门槛说明
仅需基础高中代数；核心难点是全新逻辑符号体系，类比学习一门简易语言；
阅读节奏慢，需反复停顿、重读思考，区别于小说阅读。
收尾章节价值：第 14 章将全书所有逻辑议题置于历史脉络，证明逻辑是持续演化的活学科；同时提供拓展阅读书目。
全书局限：全书重广度而非深度，大量细分逻辑分支未展开；但读完可建立现代逻辑完整底层认知。
第1章：有效性——什么从什么中得出？
核心问题： 什么是逻辑？什么是有效的推理？
段落梳理：
逻辑的定义： 逻辑学研究什么是好的理由以及为什么。推理由前提和结论组成。逻辑不关心前提在现实中是否为真，只关心结论是否从前提中得出。
有效性的分类：
演绎有效： 如果前提为真，结论必然为真（不可能前提真而结论假）。
归纳有效： 前提为结论提供合理依据，但非绝对 conclusive（如夏洛克·福尔摩斯的推理）。
“情况”的概念： 演绎有效性意味着“在所有前提为真的情况中，结论也为真”。但什么是“情况”？这引出了深刻的哲学问题。
认知能力的来源： 既然情况是无限的，我们如何能识别有效性？作者借用乔姆斯基的“先天语法”理论，提出疑问：逻辑规则是否也像语法一样硬连接在我们的大脑中？
本章主旨： 确立逻辑学的核心目标是理解演绎有效性，即前提与结论之间的必然联系。
第2章：真值函数——是与否？
核心问题： 直觉认为“女王很富有，所以要么女王很富有要么猪会飞”是无效的，但用真值表推导它却是有效的，直觉哪里出了错？
段落梳理：
引入符号： 用字母（如p, q）代表句子，忽略内容只看形式。引入否定（¬p）、析取（p∨q，即“或”）、合取（p&q，即“且”）。
真值与真值表： 句子有真值T（真）和F（假）。定义真值条件：¬a为真当且仅当a为假；a∨b为真当且仅当至少一个为真；a&b为真当且仅当两者皆真。由此画出真值表。
解决悖论： 情况给基本句子赋予T或F。通过真值表可以看出，“q, ¬q / p”这个推理是空泛有效的，因为前提q和¬q不可能同时为真，所以结论是什么无所谓。直觉出错是因为我们平时很少遇到这种空泛前提的推理。
真值函数的局限： 真值函数指复合句的真值完全由其组成部分决定。但英语中的“且”和“或”并非总是如此。例如“约翰撞了头且跌倒了”与“约翰跌倒了且撞了头”真值可能不同（涉及因果顺序）；“要么你现在来，要么我们会迟到”在得知即使晚来也不迟到时会被视为谎言（涉及内在联系）。
本章主旨： 介绍基本的真值函数机制，并指出其虽然在解决特定悖论上有效，但应用于自然语言时存在局限性。
第3章：名称与量词——虚无是某种东西吗？
核心问题： “马库斯给了我这本书”与“有人给了我这本书”的推理结构是怎样的？“无人”指代什么？
段落梳理：
主谓结构： 句子分为主语和谓语。名称（如“马库斯”）指称对象，谓语表达属性。句子nP为真，当且仅当n指称的对象具有P表达的属性。
量词的引入： “有人”、“每人”、“无人”不指称具体对象，它们是量词。
特称量词（∃x）：至少存在一个对象x使得xP为真。
全称量词（∀x）：所有对象x都使得xP为真。
“无人”即¬∃x xP。
宇宙论论证的谬误： 证明上帝存在的论证中，“一切事物都有原因”存在歧义：是∀x∃y xCy（每个事物都有某个原因）还是∃y∀x xCy（存在一个事物是所有事物的原因）？两者不等价，混淆这两者导致了逻辑谬误。
虚无的悖论： 如果宇宙是从“无”中诞生的，这个“无”似乎变成了某种实体（某物）。这表明“无”在某些语境下确实可以像事物一样起作用。
本章主旨： 区分名称与量词，揭示自然语言语法形式的欺骗性，并展示量词在哲学论证中的关键作用。
第4章：描述与存在——希腊人崇拜宙斯吗？
核心问题： “第一个登上月球的人”这样的限定摹状词如何运作？本体论论证有效吗？
段落梳理：
限定摹状词： 形式为“满足某条件的那个对象”，记作ιxcx。它像名称一样指称对象，但携带关于对象的信息。
本体论论证： 上帝是拥有所有完美属性（包括存在）的存在。因此上帝存在。这依赖于“特征化原则（CP）”：被描述为具有某属性的事物确实具有该属性。
CP的谬误： 如果CP总是成立，我们可以证明存在最大的整数（不存在），或者证明教皇结了婚（通过描述“与教皇结婚的人”）。
现代解释： 只有当存在唯一对象满足条件cx时，摹状词才指称该对象，CP才成立；否则它是“空名”，基于空名的句子为假。因此，本体论论证循环论证（乞题）：只有上帝存在，CP才成立，不能用它来证明上帝存在。
存在的问题： 如果空名使句子为假，那么“古希腊最强壮的神被希腊人崇拜”应该是假的，因为该神不存在。但这在现实中被认为是真的。这表明存在关于不存在事物的真理。
本章主旨： 分析限定摹状词的逻辑性质，推翻本体论论证，并引出“关于不存在对象的真理”这一难题。
第5章：自我指称——本章是关于什么的？
核心问题： “这句话是假的”引出了什么逻辑灾难？
段落梳理：
自我指称： 名称可以指称包含该名称的整个句子。这通常是良性的，但有时会导致悖论。
说谎者悖论： 句子λ：“这句话是假的”。如果λ为真，则它为假；如果λ为假，则它为真。它似乎既真又假。其变体：“这句话是真的”似乎既不真也不假。
罗素悖论： 考虑所有不包含自身的集合的集合R。如果R是R的成员，则它不是；如果R不是R的成员，则它是。它既属于又不属于自己。
多值逻辑的引入： 为了解决悖论，假设句子可以：只真、只假、既真又假、既不真也不假。通过调整真值表，发现这能解释说谎者悖论。
对第二章悖论的重解： 在新框架下，“q, ¬q / p”不再有效，因为q和¬q可以同时为真，此时p不为真，这符合我们的直觉。
未解之谜： 修改后的理论仍面临挑战。例如“这句话不为真”：如果它为真，则它不为真；如果它不为真，则它为真。这直接导致了矛盾，表明问题远未解决。
本章主旨： 自我指称悖论打破了传统的二元真值观，迫使逻辑学家引入多值或承认矛盾，这是逻辑学中最棘手的领域之一。
第6章：必然性与可能性——将要是的必须是吗？
核心问题： 模态算子（必然□，可能◇）如何运作？亚里士多德的宿命论论证成立吗？
段落梳理：
模态算子： □a表示“必然a”，◇a表示“可能a”。它们不是真值函数，因为a的真假不能决定□a的真假。
可能世界： 莱布尼茨提出，每个情况s伴随一组可能世界。◇a在s中为真，当且仅当a在至少一个可能世界中为真；□a在s中为真，当且仅当a在所有可能世界中为真。
亚里士多德的宿命论论证：
前提：我明天会出车祸（或者不会）。如果是真的，那么“我会出车祸”就不能不发生，即必然发生。
驳斥：论证利用了条件句的歧义。“如果a为真，那么必然b”（a → □b）与“必然地，如果a为真，那么b”（□(a → b)）是不同的。亚里士多德混淆了两者。
更强的宿命论论证： 过去的事情现在是必然的（不可更改）。如果100年前有人说“我明天会出车祸”是真的，那么这是一个关于过去的陈述，现在是必然的。因此，我明天出车祸是必然的。这个论证没有犯同样的逻辑错误，更难驳斥。
本章主旨： 介绍模态逻辑和可能世界语义学，并展示其在分析宿命论等哲学问题时的力量与面临的未解难题。
第7章：条件句——如果中包含什么？
核心问题： “如果a，那么c”（a→c）的逻辑性质是什么？
段落梳理：
实质条件句的困境： a→c似乎等价于¬(a & ¬c)。但这导致：如果c为真，则a→c为真；如果a为假，a→c也为真。这产生荒谬结果（如“如果悉尼是首都，那么布里斯班是首都”为真）。
条件句不是真值函数： 两个假命题构成的条件句可以为真也可以为假。
可能世界解释： a→c在情况s中为真，当且仅当在所有与s关联的a为真的可能世界中，c也为真。这解释了肯定前件式的有效性，也解释了为什么¬(a & ¬c)推不出a→c。
会话含义： 在现实中，当别人告诉你¬(g & ¬m)时，你倾向于推断g→m，这不是因为逻辑推导，而是因为说话的“相关性”暗示了两者有联系。这是一种归纳推理（会话含义）。
传递性与前件强化的反例： 条件句在逻辑上似乎支持传递性和前件强化，但在自然语言中存在明显反例（如“如果史密斯跳崖会死”推不出“如果史密斯带降落伞跳崖会死”）。
本章主旨： 条件句是逻辑学中最具争议的领域之一，可能世界语义学提供了最好的解释，但仍面临自然语言反例的挑战。
第8章：未来与过去——时间是真实的吗？
核心问题： 麦克塔加特如何试图证明时间是自相矛盾且不真实的？
段落梳理：
时态算子： 引入P（过去）、F（未来）、G（将总是）、H（曾总是）。它们不是真值函数，且可以叠加（如FP表示“将曾经是”）。
麦克塔加特悖论： 事件具有过去和未来的属性，但过去和未来是不相容的（不能同时既是过去又是未来）。为了解决这个矛盾，我们说事件在不同的时间是过去或未来的。但这引入了复合时态（如“曾是未来的”），而复合时态之间同样存在不相容性，需要引入更复杂的时态来解决，导致无限倒退，永远无法消除矛盾。
时态逻辑模型： 将情况排列在时间轴上，左边是过去，右边是未来。Pa在s中为真当且仅当a在s左侧某点为真；Fa为真当且仅当a在s右侧某点为真。
驳斥麦克塔加特： 在这个时间轴模型中，任何复合时态都可以在时间轴的特定位置为真，而不违反不相容性。模型证明了时态的一致性。
模型的局限： 这个模型是空间的，忽略了时间的“流动”。如果考虑时间流动，矛盾是否会重新出现？
本章主旨： 介绍时态逻辑的形式化工具，成功用数学模型反驳了时间不真实的论断，但留下了时间“流动”本质的哲学疑问。
第9章：同一与变化——事物永远是相同的吗？
核心问题： 事物如何能在发生变化的同时保持同一性？
段落梳理：
两种“是”： 区分谓述的“是”和同一的“是”（=）。同一是一个关系，每个对象只与自身具有同一关系。
莱布尼茨律： 如果x=y，那么x的任何属性也是y的属性。这在数学和日常推理中非常有用。
莱布尼茨律的反例：
认知逻辑反例：“玛丽知道赢家获奖”不等于“玛丽知道约翰获奖”。
属性精确度反例：同一条路既是柏油路又是土路（在不同位置）。通过细化属性（在某点是柏油）可解决。
时间与同一性（变形虫悖论）： 变形虫A分裂成B和C。分裂前B=A且C=A，所以B=C。分裂后B≠C。
逻辑推导：G(x=x)总是为真。根据莱布尼茨律，如果x=y，则G(x=y)。所以如果现在B=C，将来永远B=C。这与变形虫分裂矛盾。
试图解决：说B分裂前不存在？不对，B就是A，只是属性变了。说B只是A的一部分？不对，单细胞生物没有变形虫部分。
本章主旨： 莱布尼茨律看似简单，但在涉及认知语境和时间变化时面临深刻危机，特别是 objects 的分裂和融合问题挑战了传统的同一性概念。
第10章：模糊性——如何停止滑下斜坡？
核心问题： 谷堆悖论如何推翻传统的二元逻辑？
段落梳理：
谷堆悖论： 一粒沙不是堆，加一粒也不是堆。如果n粒不是堆，n+1粒也不是。因此，任何数量的沙都不是堆。这利用了模糊谓词的容差性（微小变化不改属性）。
模糊逻辑： 真值不是非黑即白的T/F，而是0到1之间的度。|¬a| = 1 - |a|；|a & b| = Min(|a|, |b|)；|a ∨ b| = Max(|a|, |b|)。
条件句的真值： 如果|a| ≤ |b|，|a→b| = 1；否则|a→b| = 1 - (|a| - |b|)。
可接受度阈值（ε）： 在特定语境中，我们设定一个真值阈值（如0.9以上算作“真”）。
解决悖论： 在模糊逻辑中，如果ε=1，肯定前件式有效，但前提an→an+1不成立（真值<1）；如果ε<1，前提成立，但肯定前件式无效（真值不断衰减）。无论哪种情况，悖论都被打破。
高阶模糊性： 模糊逻辑的遗留问题：确定真值从1降到<1的那个点，本身也是模糊的。问题只是被转移了，没有被根本消除。
本章主旨： 引入模糊逻辑作为处理自然语言模糊性的工具，成功化解了谷堆悖论，但也揭示了“真理度”边界的新的模糊性问题。
第11章：概率——缺失参考类的奇案
核心问题： 归纳推理的有效性如何通过概率来衡量？
段落梳理：
归纳推理： 福尔摩斯通过袖口磨损推断威尔逊大量书写。这是归纳推理，前提不保证结论，但使其更可能。
概率基础： pr(a)在0到1之间。公式：pr(¬a) = 1 - pr(a)；pr(a ∨ b) = pr(a) + pr(b) - pr(a & b)。概率不同于真值的度（后者是真值函数，前者不是）。
条件概率： pr(r|w) = pr(r & w) / pr(w)。表示在w发生的情况下r发生的概率。
归纳有效性的定义： 给定前提p，结论c的概率大于其否定的概率：pr(c|p) > pr(¬c|p)。
缺失参考类问题： 计算概率需要选定一个参考类（如伦敦所有人，或来看病的人）。选不同的参考类，概率不同。最精确的参考类是个人本身，但那样概率要么是0要么是1，归纳推理变得无用。这是保险精算师面临的终极难题。
本章主旨： 概率论为归纳有效性提供了量化工具，但参考类的选择问题揭示了归纳逻辑在哲学上的根本脆弱性。
第12章：逆概率——你不能对此漠不关心！
核心问题： 设计论论证（上帝存在）在概率上成立吗？
段落梳理：
设计论论证： 宇宙有秩序（o）。秩序不太可能偶然产生，所以存在造物主（g）。即 pr(o|g) 远大于 pr(o|¬g)。
逆概率公式： pr(g|o) = (pr(o|g) × pr(g)) / pr(o)。
论证的失败： 要让论证成立，需要 pr(g|o) > pr(¬g|o)。这要求先验概率 pr(g) ≥ pr(¬g)。但直观上，没有造物主的宇宙可能性远大于有造物主的宇宙（就像“今天不是星期一”的可能性大于“今天是星期一”）。因此设计论在概率上失效。
无差异原则： 当面对多种可能性且无理由区分时，赋予它们相同的概率（如轮盘赌A或B被动过手脚，各占1/2）。
无差异原则的悖论： 一辆车在50-100英里/小时之间行驶，到达时间在3-6点之间。按时间应用无差异原则，4:30前后概率相等；按速度应用，75英里前后的概率相等（对应到达时间4:00前后）。这导致矛盾的结论（4:30前和4:00前概率的冲突）。
本章主旨： 引入贝叶斯定理（逆概率），揭示设计论论证的逻辑缺陷，并探讨无差异原则在概率推理中的作用及其导致的悖论。
第13章：决策论——巨大的期望
核心问题： 在不确定情况下如何做出理性决策？帕斯卡赌注成立吗？
段落梳理：
帕斯卡赌注： 信上帝。如果上帝不存在，损失很小；如果存在，避免巨大惩罚。不信则面临下地狱的无限风险。因此信上帝是理性的。
期望值计算： E(a) = Σ [V(o) × pr(o)]。理性选择期望值最大的行动。帕斯卡赌注中，不信上帝的负面期望值无限大，所以应该信。
赌注的破绽： 忽略了其他嫉妒的神（如真主）。如果信了错的神，惩罚更重。把所有神加入表格计算后，信任何神的期望值都极差，不信反而是相对理性的选择。
魔鬼的提议（无限延迟悖论）： 魔鬼每天给你抛硬币离开地狱的机会，几率逐日增加（1/2, 3/4, 7/8…）。从期望值看，每天等待明天的期望值都大于今天抛掷。因此理性的选择是永远等待，结果永远留在地狱。这表明在涉及无限期望值时，决策论原则导致非理性结果（唯一的理性选择是非理性）。
本章主旨： 介绍决策论的期望值原则，展示其在实用推理中的应用，并暴露其在处理无限值和多重可能性时的致命缺陷。
第14章：一点历史与进一步阅读
逻辑学的三个大发展时期：
古希腊（公元前400-200年）： 亚里士多德创立三段论；麦加拉学派研究条件和悖论（如说谎者悖论）；斯多葛学派研究否定、析取和条件句。
中世纪（12-14世纪）： 邓斯·司各脱、奥卡姆等人在大学中发展和系统化了古希腊逻辑。
现代（19世纪末至今）： 弗雷格、罗素等人引入数学方法，创立了现代数理逻辑，彻底改变了逻辑学的面貌。
拓展阅读分类推荐：
分哲学逻辑、数理逻辑、悖论、模态、概率、决策理论六大类推荐入门与进阶书目。
各章历史溯源：
第1-3章：演绎/归纳区分源于亚里士多德；真值函数源于斯多葛和中世纪；量词理论是弗雷格的现代创举。
第4章：限定摹状词理论由罗素1905年提出。
第5章：说谎者悖论自古有之，罗素悖论发表于20世纪初。
第6章：模态逻辑现代研究始于C.I. Lewis，可能世界语义学由克里普克在1960年代完善。
第7章：条件句辩论从麦加拉学派延续至今。
第8章：时态逻辑由新西兰逻辑学家Arthur Prior在1960年代创立。
第9章：同一性概念可追溯至欧几里得和莱布尼茨。
第10章：模糊逻辑由波兰逻辑学家Łukasiewicz在1920年代发展。
第11-13章：概率论源于18世纪，决策论和贝叶斯定理在现代得到大发展。
附录内容
术语表： 提供了全书关键术语的精确定义（如前件、后件、模态算子、实质条件句等）。
习题： 每章附带一道练习题，涵盖符号化推理、真值表计算、概率计算等。
习题解答： 详细解答了每道习题，重申了各章的核心逻辑方法（如通过寻找反例证明无效性，通过真值表证明有效性）。
- 参考文献：全书引用哲学、逻辑经典著作完整书目。
- 图片版权：书中插图（拉斐尔《雅典学院》、刘易斯・卡罗尔插画、罗素、乔姆斯基、宇宙示意图等）版权与来源说明。
全书核心脉络与总结
《逻辑》一书通过十四个章节，展示了逻辑学如何从简单的推理有效性问题，逐步深入到人类认知和语言的核心困境。
核心脉络如下：
基础工具（1-3章）： 确立演绎有效性，引入真值函数和量词，构建形式逻辑的基本框架。
语言与存在的深层问题（4-5章）： 探讨名称、描述和自我指称，揭示自然语言如何导致存在论悖论和真值悖论，迫使逻辑突破二元论。
可能世界与时间（6-8章）： 引入模态和时态算子，用可能世界和时间轴模型来解释必然性、条件句和时间流逝，反驳宿命论和时间不真实论。
同一性与模糊性（9-10章）： 分析莱布尼茨律在变化中的失效，以及模糊谓词如何挑战经典逻辑，引入模糊逻辑作为补救。
归纳与决策（11-13章）： 离开演绎的确定性，探讨概率论如何支撑归纳推理和决策论，同时揭露参考类、先验概率和无限期望值带来的未解难题。
最终结论： 逻辑并非一套僵化的规则，而是一个充满争议、不断演化的活体学科。每一次试图用形式系统捕捉人类推理的尝试，都会遭遇新的悖论和反例。正是这种在数学严密性与哲学直觉之间的不断挣扎，构成了逻辑学的核心魅力。