《形式逻辑原理》求取 ⇩

第一章 绪论1

第一节 形式逻辑研究的对象1

1．1．1事物、思维和语言1

前言页1

1．1．2思维形态和思维形式3

1．1．3什么是形式逻辑7

第二节 形式逻辑的性质10

1．2．1形式逻辑的客观性10

1．2．2形式逻辑不是哲学10

1．2．3思维形式及其规律具有全人类性11

1．3．1形式逻辑是由已知到未知的认识办法12

第三节 形式逻辑的作用12

1．3．2遵守逻辑规律的要求是正确地进行思维的必要条件14

1．3．3形式逻辑也是揭露诡辨的重要武器16

第二章 概念17

第一节 什么是概念17

2．1．1概念是反映事物及其特有属性的思维形态17

2．1．2概念与语词20

2．1．3与概念有关的引号用法23

第二节 概念的内涵和外延26

2．2．1什么是概念的内涵和外延26

2．2．2真实概念和虚假概念29

2．2．3概念外延间的关系30

2．2．4内涵和外延的反变关系 限制和扩大33

第三节 几种不同类型的概念35

2．3．1单独概念和普遍概念35

2．3．2集合概念37

2．3．3正概念和负概念38

2．3．4相对概念39

第四节 集合和集合的运算39

2．4．1集合 集合之间的一些关系39

2．4．2空集和全集44

2．4．3集合的基本运算45

2．4．4集合运算的规律47

第五节 定义49

2．5．1什么是定义49

2．5．2定义的组成和表达50

2．5．3不同种类的定义51

2．5．4定义的规则60

第六节 划分64

2．6．1什么是划分64

2．6．2划分的规则65

2．6．3二分法和举例66

2．6．4划分与定义67

3．1．1什么是命题69

第三章 命题69

第一节 命题形式69

3．1．2命题与语句70

3．1．3命题与判断72

3．1．4命题形式、常项和变项74

3．1．5变项的作用76

第二节 联接词77

3．2．1引言77

3．2．2“或者”77

3．2．3“要么，要么”80

3．2．4“并且”83

3．2．5 “并非”84

3．2．6德摩根律86

3．2．7 “如果，那么”87

3．2．8“只有，才（能）”91

3．2．9充分条件和必要条件93

3．2．10假言命题的否定96

3．2．11联接词的多次出现和多项联接词96

第三节 量项99

3．3．1全称量项99

3．3．2特称量项102

3．3．3对几种句型的分析104

3．3．4对当关系105

3．3．5任何两命题形式之间的真假关系109

3．3．6周延问题111

3．3．7单称命题114

3．3．8传统逻辑关于选言命题、假言命题形式的分析115

3．3．9一些其它的命题形式117

3．3．10关系命题和关系的特点119

3．3．11关系命题的量项及其次序125

第四节 模态词130

3．4．1模态命题与非模态命题130

3．4．2不同的模态131

3．4．3 “必然P”、“可能P”及其否定132

3．4．4模态对当关系133

3．4．5关于命题形式的几点总结性意见135

第四章 演绎推理138

第一节 关于联接词的推理138

4．1．1引言138

4．1．2关于“或者”及“要么，要么”的一些推理 推理形式的有效性140

4．1．3关于“并且”的一些推理 演绎推理的某些特点143

4．1．4关于“并非”的一些推理 置换规则146

4．1．5关于“如果，则”和“只有，才”的一些推理147

4．1．6关于传统逻辑中某些推理形式的讨论149

4．1．7二难推理151

4．1．8其它一些关于联接词的推理 蕴涵引入律154

4．1．9关于联接词的推理形式的有效性的判定方法157

第二节 关于量项的推理159

4．2．1引言159

4．2．2直接推理160

4．2．3换位法161

4．2．4换质法164

4．2．5换质位法166

4．2．6戾换法167

4．2．7三段论 三段论的格和式169

4．2．8检验三段论的有效性的方法，三段论的规则174

4．2．9包含单称命题的三段论180

4．2．10非标准形式的三段论 省略三段论和联锁推理181

4．2．11关于演绎推理的几个问题186

第五章 演绎推理（续）190

第一节 命题逻辑190

5．1．1传统逻辑的局限190

5．1．2真值形式和重言式192

5．1．3命题逻辑的推理规则195

5．1．4重言式的证明200

第二节 谓词逻辑206

5．2．1谓词逻辑的命题形式和公式206

5．2．2谓词逻辑的常真公式 谓词逻辑的推理规则214

5．2．3常真公式的证明224

5．2．4关于谓词逻辑的公式是否常真的判定问题242

第六章 归纳方法249

第一节 什么是归纳方法249

第二节 观察、实验和科学分类250

6．2．1观察和实验250

6．2．2科学分类254

第三节 完全归纳法和简单枚举法257

6．3．1完全归纳法257

6．3．2简单枚举法258

6．4．1什么是因果联系259

第四节 寻求因果联系的初步方法259

6．4．2求同法261

6．4．3求异法263

6．4．4求同求异并用法及其推广形式266

6．4．5共变法272

6．4．6剩余法274

6．4．7比较实验法275

6．4．8求异比较并用法280

第五节 概率和统计方法简介282

6．5．1求算术平均数282

6．5．2概率283

6．5．3分层抽样和统计概括287

6．5．4抽样求异并用法和抽样比较并用法290

第六节 类比法292

第七节 假说295

6．7．1什么是假说295

6．7．2假说的发展过程297

第八节 归纳方法的综合应用301

第七章 形式逻辑的基本规律306

第一节 同一律306

7．1．1什么是同一律306

7．1．2必须正确地理解和运用同一律307

7．1．3违反同一律要求的逻辑错误309

7．2．1什么是矛盾律312

第二节 矛盾律312

7．2．2必须正确地理解和运用矛盾律313

7．2．3违反矛盾律要求的逻辑错误315

第三节 排中律317

7．3．1什么是排中律317

7．3．2必须正确地理解和运用排中律318

7．3．3违反排中律要求的逻辑错误320

第四节 形式逻辑基本规律的一般性质321

7．4．1同一律、矛盾律和排中律是形式逻辑的基本规律321

7．4．2形式逻辑基本规律的客观基础323

7．4．3关于“充足理由律”326

8．1．1什么是论证333

第八章 论证333

第一节 论证及其作用333

8．1．2论证是富有创造性的思维活动339

8．1．3论证的作用341

第二节 几种不同类型的论证方式344

8．2．1分情况证明345

8．2．2选言证明（或称淘汰法）346

8．2．3独立证明348

8．2．4归谬法349

8．2．5反证法（又称间接证明）350

8．2．6喻证法351

8．2．7几种论证方式的综合运用354

第三节 论证的规则355

8．3．1关于论题的规则356

8．3．2关于论据的规则358

8．3．3关于论证方式的规则360

第四节 揭露和驳斥诡辩363

8．4．1什么是诡辩363

8．4．2最常见的诡辩术365

8．4．3对诡辩的揭露和驳斥375

附录《论辩的魂灵》释析378

符号汇编388