逻辑要义

作为柯匹《逻辑学导论》的简明读本，本书对逻辑基本概念和推理规则做了清晰简洁的介绍，并将这些规则融于各种时新实例中，以培养学生逻辑思考和推理能力，进而建立起在日常生活中分析、解决问题的能力，真正发现生活世界中的逻辑。对于一些较难理解或在学习和应用过程中可能会遇到的问题，都给出了“重要提示”。章末更有“章节摘要”对整章内容做一整体归纳和总结，方便学生掌握逻辑学基本规则。不管是教师教学还是初学入门者，都可从中获益，走出逻辑学无实际功用的误区，很终发现生活世界中存在的生动鲜活的逻辑。

欧文·M·柯匹（Irving M. Copi，1917—2002）， 美国有名逻辑教育家，曾先后执教于美国伊利诺伊大学、密歇根大学、普林斯顿大学和夏威夷大学。主要著作有：《符号逻辑》（Symbolic Logic，1954） 《逻辑类型论》（The Theory of Logical Types，1971） 《当代哲学逻辑》（Contemporary Philosophical Logic， 1978）《非形式逻辑》（Informal Logic，1992）等。
卡尔·科恩（Carl Cohen，1931— ），美国密歇根大学逻辑与哲学教授。科恩教授的著作被翻译成多种语言，其中，政治哲学著作《论民主》中译本于1988 年出版。
丹尼尔·E·弗莱格（Daniel E. Flage），詹姆斯·麦迪逊大学哲学教授，主攻现代哲学史、逻辑和批判性思维。
胡泽洪，华南师范大学政治与行政学院教授，博士生导师。主要从事逻辑哲学与语言逻辑研究。主要著作有《逻辑的哲学反思——逻辑哲学专题研究》《语言逻辑与言语交际》等，主要译著有《知识之树》（合译）等

致中国读者001
前言006
第1章基本的逻辑概念001
1.1什么是逻辑？002
1.2命题和语句002
1.3论证、前提和结论003
1.4论证和说明006
1.5论证的辨识008
1.6演绎和有效性015
1.7有效性和真假017
1.8归纳与概率020
1.9论证的分析021
1.10复杂的论证性语段024
第2章非形式谬误031
2.1什么是谬误？032
2.2相干性谬误033
2.3预设性谬误045
2.4歧义性谬误052
第3章直言命题063
3.1直言逻辑064
3.2直言命题与类064
3.3直言命题的符号表示和文恩图068
3.4周延性071
3.5存在含义073
3.6亚里士多德型对当方阵和直接推论075
3.7布尔型对当方阵080
3.8逻辑等值和直接推论081
第4章直言三段论093
4.1标准形式直言三段论094
4.2三段论论证的性质097
4.3用于检验三段论的文恩图方法099
4.4三段论规则和三段论谬误105
第5章日常语言中的论证115
5.1日常语言中的三段论论证116
5.2三段论论证中词项数量的归约116
5.3直言命题的标准化119
5.4统一翻译127
5.5省略三段论129
第6章符号逻辑135
6.1现代逻辑的符号语言136
6.2符号语101：命题逻辑的语言136
6.3作为复合命题分析工具的真值表146
6.4重言的、矛盾的和偶真的陈述形式151
6.5检验论证有效性之真值表156
6.6不接近真值表和逆向真值表165
6.7论证、条件句和重言式170
第7章演绎方法173
7.1与真值表相对的自然推演174
7.2有效性的形式证明174
7.3替换规则（1）182
7.4替换规则（2）188
7.5条件证明198
7.6间接证明202
第8章量词理论209
8.1命题逻辑不够用210
8.2符号语102：量词逻辑的语言210
8.3有效性证明218
8.4条件证明与间接证明225
8.5无效性的证明228
第9章归纳235
9.1归纳概述236
9.2类比论证239
9.3类比论证的评价241
9.4说明与假说246
9.5对很好说明的论证250
附录真值树259
A.1命题逻辑260
A.2量词逻辑266