现代逻辑科学导引 下PDF电子书下载

D1 概率逻辑 1

1 演绎演算与归纳逻辑 1

2 概率逻辑的提出 2

3 概率演算的公理系统 4

3.1 概率演算中的几个重要定理 6

3.2 G.H.Von Wright的概率演算公理系统 8

4 对概率演算公理系统的解释与归纳推理 11

4.1 概率的频率解释与归纳推理(用莱辛巴哈的概率逻辑系统加以说明) 11

4.2 概率的逻辑解释与归纳推理(用卡尔纳普的概率逻辑系统以说明) 23

4.3 概率的主观解释与归纳推理 29

5 概率逻辑研究的若干进展 30

D2 条件化归纳逻辑 43

1 条件化的归纳逻辑 43

1.1 条件化归纳逻辑建立的历史背景 43

1.2 演绎的条件逻辑系统 45

1.3 对排除归纳法的条件化阐释和处理 50

1.4 条件化归纳逻辑的意义 61

2 条件化的模态逻辑 63

2.1 Von Wright关于几个逻辑术语的规定 63

2.2 Von Wright的条件化模态逻辑系统 66

2.3 Von Wright论条件化模态逻辑系统和古典模态逻辑系统的关系 74

2.4 Nicholas Rescher对条件化模态逻辑所作的补充和扩展 76

D3 归纳演算 84

1 归纳模态 84

2 归纳演算系统PΔ 86

3 归纳演算系统种种 90

4 归纳模态逻辑的语义学 93

5 PΔ的系统特征 97

E1 量子逻辑 99

1 向古典逻辑挑战的量子实验 99

2 不确定真值的由来及其物理含义 102

3 三值量子逻辑的联结词及其真值表 105

4 三值量子逻辑的一些重要的重言式 109

5 表示物理状态的希尔伯特空间 114

6 矢量子空间及其格LH的性质 118

7 作为逻辑演算的Lq格演算 122

8 量子逻辑能否作为一种逻辑而存在？ 126

E2 模糊逻辑 129

1 逻辑与不确定性的研究 129

2 模糊集 132

2.1 普通集合与模糊集合 132

2.2 模糊子集的运算 139

3 模糊逻辑的代数模型--De-Morgan代数 140

4 模糊变量与模糊逻辑公式(函数) 143

5 模糊逻辑真值表与范式 150

6 模糊逻辑公式的极小化 153

7 似然推理 155

8 模糊归纳推理 158

E3 逻辑与智能计算机 165

1 新一代智能计算机的要求 165

2 逻辑型程序语言 168

3 逻辑型语言与软件工程 176

4 逻辑型语言与人工智能 180

F1 存在逻辑 186

1 关于上帝存在的本体论证明 187

2 罗素的存在理论 190

3 Free逻辑 197

3.1 H.Leblanc和T.Hailperin的存在理论 198

3.2 模型集理论 206

3.3 Van.Fraassen对Free逻辑的语义解释 211

4 对“E!”的定义 217

F2 时态逻辑 228

1 时态算子F和P 228

2 时态算子F和P的语义解释 231

3 极小系统Kt 232

4 Kt的线性扩张 239

5 分枝时态逻辑 247

6 时态逻辑的可靠性和完全性 254

F3 拓扑逻辑 268

1 什么是拓扑逻辑 268

2 状况算子 268

3 三条基本公理 269

4 优先状况ξ和第四条公理 272

5 状况算子的重复限定和第五条公理 273

6 拓扑逻辑和时态逻辑的关系 278

7 拓扑逻辑的可能世界解释 281

8 模态逻辑和拓扑逻辑 282

9 拓扑逻辑中的多值结构 285

F4 认识论逻辑 290

1 认识模态命题形式 292

2 知道逻辑 293

2.1 “知道”的涵义 293

2.2 知道逻辑系统Ks4 294

2.3 知道逻辑系统Ksw 297

2.4 知道逻辑系统Kpr 299

2.5 知道逻辑系统KpM 300

2.6 知道逻辑的语义学 301

3 信念逻辑 304

3.1 “信念”的涵义 304

3.2 绝对信念逻辑 305

3.3 相对信念逻辑 306

3.4 信念逻辑的语义学 308

4 混合的认识论逻辑 310

5 认识论逻辑悖论 311

F5 断定逻辑 321

1 断定逻辑历史概述 321

2 断定的逻辑特征 324

2.1 断定的非空性 325

2.2 断定的一致性 325

2.3 断定的承诺性 326

2.4 断定的结合性 326

2.5 断定的拒绝性 326

2.6 断定的团体无所不知性 326

2.7 断定的诚实性 327

2.8 断定的无所不知性 327

2.9 断定的普遍诚实性 327

2.10 断定的普遍无所不知性 327

2.11 断定的彼此一致性 327

2.12 断定的相互矛盾性 328

2.13 断定的强相互矛盾性 328

2.14 断定的团体怀疑性 328

2.15 断定的争议性 329

2.16 断定的相互争议性 329

2.17 断定的中立性 329

2.18 断定的重复性 329

2.19 断定的隐诚实性 330

2.20 断定的隐坦率性 330

2.21 断定的完全性 330

2.22 弱断定 330

3 断定逻辑的A＼1-A＼5系统 331

3.1 A＼1系统 331

3.2 A＼2系统 332

3.3 A＼3系统 333

3.4 对断定的几种性质的逻辑刻画 334

3.5 A＼4系统 336

3.6 A＼5系统 336

3.7 对弱断定的逻辑刻画 337

4 断定逻辑与三值逻辑、模态逻辑的关系 338

4.1 对断定逻辑的三值刻画 338

4.2 对断定逻辑的模态刻画 339

5 断定逻辑的应用 340

F6 问句逻辑 345

1 问句逻辑历史概述 345

2 问句的结构和种类 350

3 问句的逻辑特征 354

4 问句逻辑的应用 366

F7 道义逻辑 372

1 绝对道义逻辑 373

1.1 道义命题形式 373

1.2 道义逻辑系统DT 375

1.3 道义系统种种 380

2 相对道义逻辑 383

2.1 相对道义命题形式 383

2.2 相对道义逻辑系统 384

3 道义逻辑语义学 388

4 道义系统与alethic模态系统的关系 392

5 道义悖论 396

F8 优先逻辑 403

1 什么是优先逻辑 403

2 用公理方法构造的优先逻辑 404

2.1 优先与更好 405

2.2 五个基本原则及其解释 406

2.3 几种基本运算：合取、分配、扩张 410

2.4 优先重言式(P-tautolgy) 412

2.5 I、E的引入与PE逻辑 415

3 用语义方法构造的优先逻辑 418

3.1 好、坏与优先 418

3.2 可接受性标准 421

3.3 优先重言式 424

3.4 限定和非限定的量化 427

4 两优化先逻辑的相互比较 428

I9 自然语言逻辑 431

1 自然语言逻辑能够成为一门独立的科学吗？ 431

2 从亚里士多德到萨姆斯 433

3 莱布尼兹的理想及其逻辑后果 438

4 乔姆斯基革命与自然语言逻辑 443

5 内涵逻辑与范畴语法 451

6 供语言学家用的逻辑学 455

7 作为一门科学的自然语言逻辑 459

G1 逻辑方法 465

1 简史 465

2 逻辑方法及其原则 474

2.1 主要方法 474

2.2 基本原则 480

3 逻辑方法的应用 484

3.1 自然科学 484

3.2 艺术 490

3.3 语言学 492

3.4 计算机 494

3.5 信息论、控制论和系统论 497

H1 国外辩证逻辑研究 499

1 苏联辩证逻辑研究 499

1.1 历史简况 499

1.2 最近进展 502

2 东欧辩证逻辑研究 515

2.1 保加利亚 515

2.2 匈牙利 516

2.3 民主德国 517

2.4 波兰 518

2.5 罗马尼亚 519

2.6 捷克斯洛伐克 521

2.7 南斯拉夫 522

3 西方辩证逻辑研究 524

3.1 对“苏联逻辑”的评论 524

3.2 西方逻辑学家的辩证逻辑研究 527