Essentials of logic

简目
致中国读者001
前言006
第1章基本的逻辑概念001
1.1什么是逻辑？002
1.2命题和语句002
1.3论证、前提和结论003
1.4论证和说明006
1.5论证的辨识008
A.前提指示词和结论指示词008
B.语境中的论证011
c.非陈述形式的前提011
D.未陈述的命题012
1.6演绎和有效性015
1.7有效性和真假017
1.8归纳与概率020
1.9论证的分析021
A.解析论证021
B.图解论证022
C.交织的论证023
1.10复杂的论证性语段024
第2章非形式谬误031
2.1什么是谬误？032
2.2相干性谬误033
R1.诉诸无知033
R2.诉诸不当权威035
R3.人身攻击038
R4.诉诸情感039
R5.诉诸怜悯040
R6.诉诸威力041
R7.结论不相干042
2.3预设性谬误045
P1.复杂问语045
P2.虚假原因046
P3.窃取论题047
P4.偶性047
P5.轻率概括（逆偶性）048
P6.隐藏证据049
P7.假二分法050
2.4歧义性谬误052
A1.一词多义052
A2.歧读053
A3.重读054
A4.合举055
A5.分举056
第3章直言命题063
3.1直言逻辑064
3.2直言命题与类064
3.3直言命题的符号表示和文恩图068
3.4周延性071
3.5存在含义073
3.6亚里士多德型对当方阵和
直接推论075
A.矛盾关系075
B.反对关系076
C.下反对关系076
D.差等关系077
3.7布尔型对当方阵080
3.8逻辑等值和直接推论081
A.换位081
B.换质083
C.换质位085
第4章直言三段论093
4.1标准形式直言三段论094
A.大项、小项和中项094
B.式095
C.格095
4.2三段论论证的性质097
4.3用于检验三段论的文恩图方法099
4.4三段论规则和三段论谬误105
规则1：避免四词项 105
规则2：中项必须至少在一个前提中周延106
规则3：在结论中周延的词项必须在相关的前提中周延107
规则4：避免两个否定前提 108
规则5：如果有一个前提是否定的，那么结论必须是否定的108
规则6：从两个全称前提得不出特称结论109
第5章日常语言中的论证115
5.1 日常语言中的三段论论证116
5.2三段论论证中词项数量的归约116
5.3直言命题的标准化119
A.单称命题119
B.谓项是形容词或形容词短语的 直言命题120
C.动词不是标准形式联项“是”的直言命题121
D.语词不按标准顺序排列的直言命题122
E.量词不标准的直言命题122
F.区别命题123
G.不带量词的命题124
H.不具有标准形式但有逻辑等值的标准形式供选的命题 124
I.除外命题125
J.另外的复杂量词125
5.4统一翻译127
5.5省略三段论129
第6章符号逻辑135
6.1现代逻辑的符号语言136
6.2符号语101：命题逻辑的语言136
A.否定138
B.合取138
C.析取139
D.实质蕴涵（实质条件句）139
E.双条件句（实质等值）140
F.分组记号 140
6.3作为复合命题分析工具的真值表146
6.4重言的、矛盾的和偶真的陈述形式151
6.5检验论证有效性之真值表156
A.若干常见的有效论证形式 159
B.常见的无效论证形式 161
C.较复杂的论证162
6.6不完全真值表和逆向真值表165
A.不完全真值表 165
B.逆向真值表167
6.7论证、条件句和重言式170
第7章演绎方法173
7.1与真值表相对的自然推演174
7.2有效性的形式证明174
7.3替换规则（1）182
7.4替换规则（2）188
拇指规则：进行演绎证明的策略193
7.5条件证明198
7.6间接证明202
……
第8章量词理论209
第9章归纳235
重要词汇273
译后记291
出版后记292