目 录 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