《逻辑学教程》求取 ⇩

第一章 绪论1

第一节 逻辑学的对象1

一、思维、语言与逻辑1

二、逻辑学的对象3

三、逻辑的类型6

第二节 逻辑学的性质、作用及体系9

一、逻辑学的性质9

二、逻辑学的作用11

三、逻辑学的体系12

一、形式化方法和非形式化方法13

第三节 逻辑学的研究方法13

二、公理化方法和自然演绎方法14

第四节 逻辑学的发展简史16

一、逻辑学的历史发展16

二、逻辑学的现代概况18

第二章 普通逻辑思维的基本规律20

第一节 逻辑思维基本规律概述20

一、逻辑思维基本规律的普遍性20

二、逻辑思维基本规律的确定性21

三、逻辑思维基本规律的客观性21

一、同一律的基本内容22

第二节 同一律22

二、同一律的逻辑要求和违反它的逻辑错误23

三、同一律的作用25

第三节 矛盾律26

一、矛盾律的基本内容26

二、矛盾律的逻辑要求和违反它的逻辑错误27

三、矛盾律的作用29

第四节 排中律30

一、排中律的基本内容30

二、排中律的要求和违反它的逻辑错误31

一、三条逻辑规律之间的联系32

三、排中律的作用32

第五节 逻辑思维基本规律之间的关系32

二、三条逻辑思维规律之间的区别33

第三章 命题逻辑37

第一节 命题逻辑概述37

一、命题、语句和判断37

二、复合命题推理概述39

第二节 常见的复合命题及其推理42

一、负命题及其推理42

二、联言命题及其推理44

三、选言命题及其推理46

四、假言命题及其推理50

五、其他常见的关于联结词的推理55

第三节 命题逻辑的自然演绎系统NP56

一、形式语言？56

二、推导规则58

三、NP系统中的语法推出关系59

※命题逻辑的一个公理系统PC69

第四节 命题逻辑语义有效性的判定71

一、真值函数和重言式71

二、NP系统语义有效性的判定74

三、NP系统的可靠性和完全性80

第四章 传统词项逻辑86

第一节 传统词项逻辑概述86

一、简单命题和词项86

二、传统词项逻辑与现代谓词逻辑86

第二节 词项87

一、词项的定义及特征87

二、词项的种类89

三、词项外延间的关系91

四、明确词项的逻辑方法93

一、直言命题的结构99

第三节 直言命题概述99

二、直言命题的种类100

三、直言命题形式的文恩图示100

四、直言命题主、谓项的周延性101

第四节 直言命题的直接推理102

一、直言命题对当关系推理102

二、直言命题的变形推理105

第五节 三段论106

一、三段论的定义106

二、判定三段论式有效性的方法107

三、三段论的规则108

四、三段论的导出规则110

第五章 现代谓词逻辑115

第一节 现代谓词逻辑概述115

一、命题逻辑与谓词逻辑115

二、个体词和谓词115

三、量词和量词的辖域118

第二节 谓词公式的语义解释121

一、谓词公式的真假121

二、谓词公式解释的步骤和规则122

三、谓词公式解释的作用124

一、关于全称量词的推理规则125

第三节 谓词逻辑的自然推理125

二、关于存在量词的推理规则127

三、一阶谓词逻辑的自然演绎系统——LNP系统130

※附录 ：谓词逻辑的公理系统135

第六章 模态逻辑145

第一节 模态逻辑概述145

一、模态逻辑的定义145

二、现代模态逻辑的内容和特点146

三、模态命题逻辑的自然推理系统TN150

一、规范模态逻辑的定义153

第二节 规范模态逻辑153

二、规范逻辑系统DT155

第三节 时态逻辑157

一、时态逻辑157

二、极小系统K1160

第七章 归纳逻辑165

第一节 归纳逻辑概述165

一、归纳逻辑的定义165

二、归纳逻辑的性质和作用166

三、归纳和演绎的关系167

一、完全归纳推理168

第二节 传统归纳逻辑168

二、简单枚举归纳推理169

三、类比归纳推理171

第三节 现代归纳逻辑175

一、概率归纳推理175

二、统计归纳推理182

第八章 科学逻辑方法188

第一节 科学逻辑方法概述188

一、逻辑与科学方法188

二、科学解释的逻辑方法189

三、科学预测的逻辑方法192

第二节 探求因果联系的逻辑方法193

一、穆勒“五法”194

二、溯因法198

第三节 假说的逻辑方法201

一、假说及其基本特征201

二、假说形成的逻辑方法203

三、假说检验的逻辑方法206

第九章 逻辑语用学213

第一节 逻辑语用学概述213

一、逻辑语用学的历史发展213

二、言语交际图式215

一、语言与言语概述217

第二节 语言与言语217

二、语境218

三、预设223

第三节 言语行为与合作原则226

一、言语行为理论226

二、合作原则与准则230

第四节 语用推理233

一、语用推理概述233

二、一种常见的语用推理——隐涵234

一、论证的定义及构成238

第一节 论证的概述238

第十章 论证238

二、论证与推理241

三、论证的作用241

第二节 论证的种类242

一、必然性论证和或然性论证243

二、直接论证和间接论证246

第三节 论证的评估和建构248

一、论证的评估248

二、论证的建构250

一、关于论题的规则252

第四节 论证的规则252

二、关于论据的规则253

三、关于论证方式的规则254

第五节 反驳256

一、反驳的定义及组成256

二、反驳的方法和种类257

第十一章 非形式谬误的逻辑辨析263

第一节 谬误概述263

一、谬误的定义263

二、辨析谬误的意义263

三、谬误的分类264

第二节 非形式谬误的辨析266

一、词项型谬误的逻辑辨析266

二、命题型谬误的逻辑辨析269

三、推理型谬误的逻辑辨析272

四、论证型谬误的逻辑辨析273

第三节 破斥诡辩274

一、诡辩的定义274

二、诡辩与谬误的关系274

三、诡辩的识别与破斥275

四、诡辩术与论辩技巧的区别278

主要参考书目281