《现代逻辑科学导引 下》求取 ⇩

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和P228

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

3 极小系统Kt232

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 知道逻辑系统Ks4294

2.3 知道逻辑系统Ksw297

2.4 知道逻辑系统Kpr299

2.5 知道逻辑系统KpM300

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 道义逻辑系统DT375

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