方法论全书 2 应用逻辑学方法PDF电子书下载

目 录 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,A5 201

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和C2 226

7 Pollock语义和系统SS 229

8小变化原理和系统VW 231

9球形邻域语义学 233

10最大变化原理 234

11条件句和模态 236

12其他种类的条件句 238

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

参考文献 241

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

〔七〕命令句逻辑 243

2命令逻辑的形式系统Imp 248

3 Imp的形式语义解释 255

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

参考文献 262

〔八〕问题逻辑 263

1问题及其种类 263

2抑或问题 269

3哪（些）个问题 275

4复合问题 284

5问题逻辑系统Z 288

6问题逻辑理论概述 295

参考文献 302

〔九〕道义逻辑 303

1一元道义逻辑 305

2二元道义逻辑 321

3道义逻辑语义学 329

4 道义悖论 341

参考文献 361

〔十〕评价逻辑 363

1评价的结构 364

2评价词的作用 370

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

4评价逻辑范式 388

5绝对评价逻辑系统G 390

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