《现代公共逻辑》求取 ⇩

绪论1

0.1　逻辑学的对象1

0.2　传统逻辑4

0.3　现代逻辑6

0.4　两个元逻辑规律9

0.5　掌握逻辑工具13

概念逻辑17

第一章　概念17

1.1　概念概述17

1.2　概念的种类19

1.3　概念的外延关系21

1.4 概念的限制和概括25

1.5　定义27

1.6 划分32

1.7　概念的解释36

第二章 集合41

2.1　集合和元素41

2.2　包含关系43

2.3　全集和空集44

2.4　集合运算45

2.5　传统逻辑对概念处延关系的预设48

2.6　集合运算的规律48

2.7　逻辑代数51

命题逻辑53

第三章　复合命题53

3.1　二值原子命题53

3.2　复合命题及其真值54

3.3　否定词和负命题57

3.4　合取词和联言命题59

3.5　析取词和相容选言命题61

3.6　蕴涵词和充分条件命题、必要条件命题62

3.7　互蕴词和充要条件命题、不相容选言命题65

3.8　真值形式的计算——导出真值表67

3.9　真值函项72

第四章　复合命题推理77

4.1　永真式，永真蕴涵式，联言推理77

4.2　假言推理79

4.3　选言推理82

4.4　赋值归谬法和前提的协调性84

4.5　二难推理和假言选言推理88

4.6　推理模式和代入规则89

4.7　等值推理和负言推理90

4.8　反证法、归谬法及其他推理95

第五章　命题演算101

5.1　公理系统101

5.2　命题演算自然推理系统的出发点102

5.3　辅助的推理规则及其证明106

5.4　定理的证明109

5.5　引入前提的一般方法121

5.6　永真式的证明123

5.7　重言式系统简介128

5.8　其他命题逻辑系统简介131

第六章　命题逻辑的系统特征6.1　范式135

6.2　不等价的真值函项的种数140

6.3　语义的可靠性和完备性143

6.4　语法的协调性和完全性145

6.5　公理的独立性147

6.6　可判定性149

谓词逻辑152

第七章 传统性质命题及其推理7.1　性质命题的形式结构152

7.2　性质命题的对当关系154

7.3　性质命题主谓项的周延性156

7.4　性质命题的直接推理158

7.5　三段论160

7.6　判定三段论的一般步骤165

7.7　三段论的格和式166

7.8　单称三段论167

第八章　关系逻辑172

8.1　关系命题172

8.2 自返性、对称性、传递性173

8.3　相等关系（等词逻辑）175

8.4　混合关系推理177

8.5　完全归纳法179

8.6　侔式推理（倚靠法）180

8.7　量词换位法180

第九章　谓词逻辑概述183

9.1　个体词和谓词183

9.2　量词和论域185

9.3 自由变元和约束变元187

9.4　谓词逻辑的命题形式和推理形式189

9.5　谓词公式的解释191

9.6　无效式的算术解释方法192

9.7　谓词逻辑的判定问题193

第十章　谓词演算196

10.1　谓词演算自然推理系统的初始规则196

10.2　定理及其证明199

10.3　等词和摹状词210

10.4　范式212

10.5　可靠性，完备性，协调性213

模态逻辑216

第十一章　模态逻辑概述216

11.1　模态命题216

11.2　模态逻辑方阵218

11.3　复合模态命题推理220

11.4 模态A、E、I、O命题对当关系222

11.5　模态三段论223

第十二章　模态演算227

12.1　模态命题演算的自然推理系统TN227

12.2　自然推理系统S5N230

12.3　模态谓词演算的自然推理系统QTBN232

12.4　可靠性、完备性、协调性233

应用逻辑237

第十三章　多值逻辑237

13.1　多值逻辑概述237

13.2　卢卡西维茨的三值逻辑238

13.3　卢卡西维茨的多值逻辑240

13.4 卢氏多值逻辑与古典二值逻辑的关系244

第十四章　规范逻辑246

14.1　规范逻辑概述246

14.2　简单规范命题247

14.3　规范逻辑方阵248

14.4　规范三段论249

14.5　规范关系三段论250

14.6　复合规范命题及其推理251

14.7　规范逻辑与模态逻辑的关系252

第十五章 时间逻辑255

15.1　时间逻辑概述255

15.2　时间命题255

15.3　时间组合逻辑256

15.4　时态逻辑257

15.5　时相逻辑259

第十六章　认知逻辑262

16.1　认知逻辑概述262

16.2　知道逻辑262

16.3　知道命题263

16.4　“知道”推理265

16.5　相信逻辑267

16.6　相信命题及其推理268

16.7　断定逻辑270

第十七章　优先逻辑273

17.1　优先逻辑概述273

17.2　优先命题273

17.3　优先推理276

17.4　优先逻辑系统简介278

第十八章　多量逻辑280

18.1　多量逻辑概述280

18.2　多量命题逻辑方阵281

18.3　多量命题的换质换位281

18.4　多量三段论282

18.5　多量词演算简介283

18.6　有关“少数”的推理284

第十九章　模糊逻辑285

19.1　模糊逻辑概述285

19.2　模糊集合285

19.3　模糊命题及其真值287

19.4　似然推理290

19.5　模糊逻辑的应用292

第二十章　次协调逻辑20.1　次协调逻辑概述294

20.2　斯科塔的次协调逻辑系统295

20.3　卢特雷和梅尔的次协调逻辑系统297

20.4　次协调逻辑的哲学意义299

第二十一章 自然语言逻辑21.1 自然语言逻辑概述301

21.2　语句的语形分析303

21.3　语句的语义分析306

21.4　语境和语用学309

21.5　预设309

21.6　疑问句逻辑311

21.7　命令句逻辑313

21.8　感叹句逻辑314

21.9　语用含义315

归纳逻辑318

第二十二章　经验归纳法318

22.1　归纳逻辑概述318

22.2　枚举归纳法321

22.3　回溯法322

22.4　求因果法之一：求同法324

22.5　求因果法之二：求异法325

22.6　求因果法之三：求同求异并用法326

22.7　求因果法之四：共变法327

22.8　求因果法之五：剩余法328

第二十三章　类比法和模拟法23.1　类比法概述331

23.2　功能类比332

23.3　因果类比332

23.4　对称类比333

23.5　模拟法概述334

23.6　几何模拟336

23.7　物理模拟337

23.8　数学模拟338

23.9　功能模拟338

23.10　智能模拟339

第二十四章　概率法、统计法、预测法24.1　概率法概述341

24.2　积事件概率，和事件概率343

24.3　全概率，逆概率344

24.4　二项概率345

24.5　统计法概述346

24.6　预测法概述348

24.7　定性预测法349

24.8　定量预测法350

论证逻辑354

第二十五章　论证354

25.1　论证概述354

25.2　演绎论证和归纳论证357

25.3　直接论证和间接论证358

25.4　辩护和反驳359

25.5　论证的规则361

25.6　谬误和诡辩363

第二十六章　假说368

26.1　假说概述368

26.2　假说的形成368

26.3　假说的检验371

26.4　假说和决策373

第二十七章　悖论和哥德尔不完全性定理27.1　悖论概述375

27.2　解决悖论的尝试377

27.3　哥德尔不完全性定理378

附录：模拟试题381

后记387