现代公共逻辑PDF电子书下载

绪论 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　模态命题演算的自然推理系统TN 227

12.2　自然推理系统S5N 230

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

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