《方法论全书 2 应用逻辑学方法》

目 录1

本卷说明1

《方法论全书》总序 李志才1

第一部方法论原理3

方法论原理3

1方法的内在结构及其本质特征4

2方法的来源与发展16

3方法和方法论的类型21

4方法和方法论的评价27

5方法和方法论的运用32

参考文献35

第二部应用逻辑学方法38

〔一〕应用逻辑学方法概论38

1应用逻辑39

2逻辑应用50

〔二〕存在逻辑56

1弗雷格的存在理论58

2摹状词理论62

3 自由逻辑71

4关于“存在”的定义98

5存在理论种种104

参考文献109

〔三〕时态逻辑111

1 时态逻辑的语言112

2 语义115

3形成系统119

4时态逻辑的完全性136

5判定问题149

6带量词的时态逻辑158

7时态逻辑与模态逻辑161

参考文献169

1什么是认知逻辑170

〔四〕认知逻辑170

2认知逻辑历史概述176

3关于“知道”、“相信”的模态逻辑181

4认知模态逻辑的语义学191

5关于知道逻辑的可能组合算法196

参考文献199

〔五〕断定逻辑200

1什么是断定逻辑200

2断定逻辑系统A1,A2,A3,A4,A5201

3 系统A1,A2,A3,A4,A5的关系205

4弱断定208

5关于断定逻辑的三值逻辑209

6断定模态逻辑210

7断定与命题函项212

8断定逻辑与间接引语的语义悖论212

参考文献214

〔六〕条件句逻辑215

1 发展简史216

2条件句的共存理论218

3严格蕴涵和条件句219

4 可能世界的相对相似关系221

5极限假设和择类函数语义学224

6最小变化原理及系统VC和C2226

7 Pollock语义和系统SS229

8小变化原理和系统VW231

9球形邻域语义学233

10最大变化原理234

11条件句和模态236

12其他种类的条件句238

13重要语义性质及推演规则、公理和逻辑一览表239

参考文献241

1命令句的逻辑语义分析243

〔七〕命令句逻辑243

2命令逻辑的形式系统Imp248

3 Imp的形式语义解释255

4命令句逻辑的理论意义和现实意义260

参考文献262

〔八〕问题逻辑263

1问题及其种类263

2抑或问题269

3哪（些）个问题275

4复合问题284

5问题逻辑系统Z288

6问题逻辑理论概述295

参考文献302

〔九〕道义逻辑303

1一元道义逻辑305

2二元道义逻辑321

3道义逻辑语义学329

4 道义悖论341

参考文献361

〔十〕评价逻辑363

1评价的结构364

2评价词的作用370

3绝对评价逻辑公式的赋值条件374

4评价逻辑范式388

5绝对评价逻辑系统G390

6功利评价逻辑407

参考文献421

〔十一〕优先逻辑422

1优先逻辑概述422

2冯·莱特的优先逻辑（Ⅰ）423

3冯·莱特的优先逻辑（Ⅱ）436

4尼·雷谢尔的优先逻辑445

5结语455

参考文献456

〔十二〕量子逻辑457

1 引言457

2物理系统的抽象描述459

3经典命题系统466

4量子命题系统468

5形式量子逻辑484

6量子逻辑是一种逻辑吗？498

参考文献503

1 电子计算机的发展历史506

〔十三〕计算机逻辑506

2计算机的数制与计算机代码508

3计算机的算术运算逻辑518

4数字计算机的控制逻辑531

5计算机的存储器设计540

6计算机中的错误检测逻辑544

参考文献558

〔十四〕数字逻辑560

1逻辑代数561

2开关电路579

3组合逻辑587

4时序逻辑引论594

5时序逻辑的分析599

6时序逻辑的综合604

7异步时序逻辑的竞争与冒险616

参考文献620

〔十五〕动态逻辑621

1命题动态逻辑621

2一阶动态逻辑625

参考文献635

〔十六〕子句逻辑636

1合一消解推理系统636

2 Horn子句推理系统643

参考文献649

〔十七〕非单调逻辑650

1单调性与非单调性650

2缺省推理逻辑652

3非单调逻辑657

4限定论661

参考文献667

〔十八〕程序逻辑668

1计算机软件概略668

2逻辑与程序676

3信息处理682

4图灵机器与形式语言691

参考文献707

〔十九〕侦查逻辑708

1侦查的思维形式708

2侦查的逻辑方法730

3预审的逻辑755

4侦查假说769

参考文献785

〔二十〕法律逻辑786

1审判逻辑786

2法规逻辑806

参考文献830

〔二十一〕诊断逻辑831

1诊断思维现象分析831

2疾病诊断行程为一思维逻辑历程838

3诊断思维属性阐说852

4诊断思维特点858

5诊断思维原则867

6诊断思维模式与疾病推导方式876

参考文献884

1决策、思维、逻辑885

〔二十二〕决策逻辑885

2决策的基本逻辑模式889

3制定决策的逻辑程序892

4制定决策的逻辑方法899

参考文献912

〔二十三〕谈判逻辑913

1谈判和逻辑913

2形式逻辑在谈判中的运用918

3辩证逻辑对谈判的意义948

参考文献955

《应用逻辑学方法》卷术语、人名索引956