纯笔记
第一章
P31 两大种类的论证： 演绎和归纳
任意演绎论证均断言其前提决定性地支持结论。相反，归纳论
证没有这种断言。
“有效性”的定义：一个演绎论证是有效的，即如果其前提是真的，则其结论必定是真的。
有效性这个术语仅仅对演绎论证是适当的。
不能做到其前提为其结论的真作担保的演绎论证是无效的。
P33 归纳论证的前提对其结论的支持都具有某种程度的或然性。
P36 真和假是单一的命题或陈述的属性，有效性和无效性是论证的
属性。
第五章 直言命题
P201 演绎理论： 1. 古典逻辑 或 亚里士多德逻辑
2. 现代逻辑 或 现代符号逻辑
P203 四种标准直言命题：
1. （A） 全称肯定命题：所有S都是P
2. （E） 全称否定命题：没有S是P
3. （I） 特称肯定命题：有S是P
4. （O） 特称否定命题：有S不是P
P207 质：如果一个命题肯定了类与类间的包含关系，不管是全部还
是部分地肯定，那么，它的质就是肯定的。
A命题和I命题的质是肯定的；E命题和O命题的质是否定的。
量：如果命题述及主项所指称的类的所有元素，那么它的量就
是全称的；只述及主项所指的类的某些元素，它的量是特的。
A命题和E命题的量是全称的；I命题和O命题的量是特称的。
周延：如果一个命题述及了某个词项所指称的类的全部元素，
则称该词项在这个命题中是周延的。
质 量 周延性
A 肯定 全称 主项周延，谓项不周延
E 否定 全称 主项、谓项周延
I 肯定 特称 主项、谓项不周延
O 否定 特称 主项不周延、谓项周延
标准式直言命题的 量 决定了主项的周延情况；
标准式直言命题的 质 决定了谓项的周延情况。
P233 直言命题的符号表达 （见图
http://book.douban.com/annotation/35305594/）
第六章 直言三段论
P250 揭示这种三段论荒谬性的最好方式，是构造一个形式相同但其
无效可直接显示出来的论证。
三段论的四种格：
1.中项在大前提中做主项，在小前提中做谓项
2.中项在两个前提中都做谓项
3.中项在两个前提中都做主项
4.中项在大前提中做谓项，在小前提中做主项
P262 三段论的规则：
1.避免四项
2.中项至少在一个前提中周延
3.在结论中周延的项在前提中也必须周延
4.避免出现两个否定前提
5.如果一个前提是否定的，那么结论必须是否定的
6.两个全称前提得不出特称结论
P274 标准式直言三段论的15个有效形式（见图http://book.douban.com/annotation/35305611/）
第八章 符号逻辑
P339 合取符号：
否定符号：
析取符号： ∨，“除非”也用 ∨ 表示
条件陈述：p q ，即 （p q） （如果p，那么q）， 即
为实质蕴涵关系，q蕴含于p
q是p的必要条件 → p q ； p是q的充分条件 → p q
P382 演绎论证的四个真值函项联结词：合取、析取、实质蕴涵、实
质等值（见图http://book.douban.com/annotation/35305640/）
P386 双重否定的符号式：p p
著名逻辑等价式：（p∨q）（ p q）
（p q）（ p ∨ q）
p q （ p ∨ q）
第九章 演绎方法
P400 九大基本有效推论规则（见图http://book.douban.com/annotation/35305662/）
P410 构造有效论证的方法：从结论不断反向回溯到给定的前提。
P428 十九条推理规则（见图http://book.douban.com/annotation/35305690/）
第十章 量化理论
P464 单称命题中的主项指称某特定个体，谓项指谓该个体所具有的
某种属性。 用a到w的小写字母来指谓个体，成为个体常元，
用大写字母来符号化个体可能具有的属性。
Hx中的x表示个体变元。
P467 （x）表示全称量词，（x）表示存在量词。
第十二章 因果推理
P544 一个特定事件发生的必要条件是指，在缺乏它的情况下，该事
件不能发生。 一个事件发生的充分条件是，它出现的情况下
事件必定发生。
P545 仅当在原因的必要条件含义上，我们才能合法地从结果中推出
原因。并且，仅当在原因的充分条件含义上，我们才能从原因
中推出结果。
P31 两大种类的论证： 演绎和归纳
任意演绎论证均断言其前提决定性地支持结论。相反，归纳论
证没有这种断言。
“有效性”的定义：一个演绎论证是有效的，即如果其前提是真的，则其结论必定是真的。
有效性这个术语仅仅对演绎论证是适当的。
不能做到其前提为其结论的真作担保的演绎论证是无效的。
P33 归纳论证的前提对其结论的支持都具有某种程度的或然性。
P36 真和假是单一的命题或陈述的属性，有效性和无效性是论证的
属性。
第五章 直言命题
P201 演绎理论： 1. 古典逻辑 或 亚里士多德逻辑
2. 现代逻辑 或 现代符号逻辑
P203 四种标准直言命题：
1. （A） 全称肯定命题：所有S都是P
2. （E） 全称否定命题：没有S是P
3. （I） 特称肯定命题：有S是P
4. （O） 特称否定命题：有S不是P
P207 质：如果一个命题肯定了类与类间的包含关系，不管是全部还
是部分地肯定，那么，它的质就是肯定的。
A命题和I命题的质是肯定的；E命题和O命题的质是否定的。
量：如果命题述及主项所指称的类的所有元素，那么它的量就
是全称的；只述及主项所指的类的某些元素，它的量是特的。
A命题和E命题的量是全称的；I命题和O命题的量是特称的。
周延：如果一个命题述及了某个词项所指称的类的全部元素，
则称该词项在这个命题中是周延的。
质 量 周延性
A 肯定 全称 主项周延，谓项不周延
E 否定 全称 主项、谓项周延
I 肯定 特称 主项、谓项不周延
O 否定 特称 主项不周延、谓项周延
标准式直言命题的 量 决定了主项的周延情况；
标准式直言命题的 质 决定了谓项的周延情况。
P233 直言命题的符号表达 （见图
http://book.douban.com/annotation/35305594/）
第六章 直言三段论
P250 揭示这种三段论荒谬性的最好方式，是构造一个形式相同但其
无效可直接显示出来的论证。
三段论的四种格：
1.中项在大前提中做主项，在小前提中做谓项
2.中项在两个前提中都做谓项
3.中项在两个前提中都做主项
4.中项在大前提中做谓项，在小前提中做主项
P262 三段论的规则：
1.避免四项
2.中项至少在一个前提中周延
3.在结论中周延的项在前提中也必须周延
4.避免出现两个否定前提
5.如果一个前提是否定的，那么结论必须是否定的
6.两个全称前提得不出特称结论
P274 标准式直言三段论的15个有效形式（见图http://book.douban.com/annotation/35305611/）
第八章 符号逻辑
P339 合取符号：
否定符号：
析取符号： ∨，“除非”也用 ∨ 表示
条件陈述：p q ，即 （p q） （如果p，那么q）， 即
为实质蕴涵关系，q蕴含于p
q是p的必要条件 → p q ； p是q的充分条件 → p q
P382 演绎论证的四个真值函项联结词：合取、析取、实质蕴涵、实
质等值（见图http://book.douban.com/annotation/35305640/）
P386 双重否定的符号式：p p
著名逻辑等价式：（p∨q）（ p q）
（p q）（ p ∨ q）
p q （ p ∨ q）
第九章 演绎方法
P400 九大基本有效推论规则（见图http://book.douban.com/annotation/35305662/）
P410 构造有效论证的方法：从结论不断反向回溯到给定的前提。
P428 十九条推理规则（见图http://book.douban.com/annotation/35305690/）
第十章 量化理论
P464 单称命题中的主项指称某特定个体，谓项指谓该个体所具有的
某种属性。 用a到w的小写字母来指谓个体，成为个体常元，
用大写字母来符号化个体可能具有的属性。
Hx中的x表示个体变元。
P467 （x）表示全称量词，（x）表示存在量词。
第十二章 因果推理
P544 一个特定事件发生的必要条件是指，在缺乏它的情况下，该事
件不能发生。 一个事件发生的充分条件是，它出现的情况下
事件必定发生。
P545 仅当在原因的必要条件含义上，我们才能合法地从结果中推出
原因。并且，仅当在原因的充分条件含义上，我们才能从原因
中推出结果。
有关键情节透露
