推论是我们常用的思考方式，是我们获得知识的重要方法，也是我们平日生活与行为高度依赖的心智活动。逻辑学是一门研究推论结构与特征的形式科学。本书介绍的是各种形式逻辑学的基础：初阶符号逻辑，亦即基础逻辑，包括命题逻辑以及述词逻辑两大部分。

作者简介

彭孟尧

　　台湾大学哲学系教授

　　研究专长：心与认知哲学、知识论、形上学、逻辑、教育哲学

　　着有《符号逻辑》、《哲学入门》、《教育哲学》、《人心难测》、知识论》、《心与认知哲学》，及中英论文多篇

　　译有《罗素早期的逻辑哲学》

再版序　iii
作者序　v

第1章　逻辑的基本观念　1
1-1　命题与论证　2
1-2　逻辑的形式特性　7
1-3　有效性与真确性　9
1-4　矛盾　13
本章综合练习　16

第2章　逻辑语言与自然语言　19
2-1　自然语言与命题逻辑的语言　20
2-2　自然语言的符号化──否定句　25
2-3　自然语言的符号化──连言句　26
2-4　自然语言的符号化──选言句　31
2-5　自然语言的符号化──条件句与等值句　35
2-6　日常语言中论证的符号化　39
本章综合练习　41

第3章　命题逻辑的符号系统　43
3-1　命题逻辑的语法　44
3-2　命题套式与命题函数　47
3-3　命题逻辑的语意──真值表　51
3-4　复合命题真值表的建构　58
本章综合练习　63

第4章　命题的逻辑分类与逻辑关系　65
4-1　命题的逻辑分类　66
4-2　命题的逻辑关系　71

第5章　归谬原理　81
5-1　归谬真值表　82
5-2　树枝法　91
5-3　树枝法与恆真句　98

第6章　命题逻辑论证有效性的决定　105
6-1　反例法　106
6-2　真假值指定法　110
6-3　真值表法　115
6-4　归谬真值表法　118
6-5　树枝法　121

第7章　有效论证的证明：直接证法　125
7-1　逻辑证明　126
7-2　蕴涵规则（一）　128
7-3　蕴涵规则（二）　136
7-4　反推的技巧　144
7-5　等值规则（一）　150
7-6　等值规则（二）　158
本章综合练习　166

第8章　有效论证的证明：条件证法与反证法　171
8-1　条件证法　172
8-2　加强型条件证法　181
8-3　反证法　184
8-4　恆真句的证明　189

第9章　述词逻辑的符号系统　193
9-1　单称命题　194
9-2　函数—引元分析　198
9-3　述词逻辑的语言　202
9-4　日常语言的述词逻辑表达　210

第10章　述词逻辑论证有效性的决定　221
10-1　命题的真假值　222
10-2　反例法　224
10-3　释模与通称命题的展开　226
10-4　释模法　234

第11章　述词逻辑的证明　243
11-1　全称个例化规则　244
11-2　存在通则化规则　252
11-3　存在个例化规则　258
11-4　全称通则化规则　265
11-5　量限号互换规则　270
11-6　逻辑真理的证明　272
本章综合练习　276

第12章　关系述词逻辑　281
12-1　关系的逻辑表达式　282
12-2　对称性、递移性与自反性　288
12-3　关系述词论证的证明　294
12-4　等同　298
12-5　确定描述词　306
习题解答　309
名词索引　365
推论规则　378

表次

表1：前提提示词与结论提示词　4
表2：逻辑运算子　21
表3：逻辑运算子中英对照表　23
表4：命题逻辑中命题的符号化策略　39
表5：命题逻辑中论证的符号化策略　40
表6：真值函数（逻辑运算子）的真值表　53
表7：复合命题真值表的建构步骤　59
表8：命题的逻辑关系　72
表9：树枝法的运作方式　91
表10：树枝法　96
表11：证明技巧　164
表12：通称命题中英文对照表　211
表13：释模法的运作程序　236