应用逻辑学方法

目 录
本卷说明
《方法论全书》总序&李志才
第一部方法论原理
方法论原理
1方法的内在结构及其本质特征
2方法的来源与发展
3方法和方法论的类型
4方法和方法论的评价
5方法和方法论的运用
参考文献
第二部应用逻辑学方法
〔一〕应用逻辑学方法概论
1应用逻辑
2逻辑应用
〔二〕存在逻辑
1弗雷格的存在理论
2摹状词理论
3 自由逻辑
4关于“存在”的定义
5存在理论种种
〔三〕时态逻辑
1 时态逻辑的语言
2 语义
3形成系统
4时态逻辑的完全性
5判定问题
6带量词的时态逻辑
7时态逻辑与模态逻辑
〔四〕认知逻辑
1什么是认知逻辑
2认知逻辑历史概述
3关于“知道”、“相信”的模态逻辑
4认知模态逻辑的语义学
5关于知道逻辑的可能组合算法
〔五〕断定逻辑
1什么是断定逻辑
2断定逻辑系统A1,A2,A3,A4,A5
3 系统A1,A2,A3,A4,A5的关系
4弱断定
5关于断定逻辑的三值逻辑
6断定模态逻辑
7断定与命题函项
8断定逻辑与间接引语的语义悖论
〔六〕条件句逻辑
1 发展简史
2条件句的共存理论
3严格蕴涵和条件句
4 可能世界的相对相似关系
5极限假设和择类函数语义学
6最小变化原理及系统VC和C2
7 Pollock语义和系统SS
8小变化原理和系统VW
9球形邻域语义学
10最大变化原理
11条件句和模态
12其他种类的条件句
13重要语义性质及推演规则、公理和逻辑一览表
〔七〕命令句逻辑
1命令句的逻辑语义分析
2命令逻辑的形式系统Imp
3 Imp的形式语义解释
4命令句逻辑的理论意义和现实意义
〔八〕问题逻辑
1问题及其种类
2抑或问题
3哪（些）个问题
4复合问题
5问题逻辑系统Z
6问题逻辑理论概述
〔九〕道义逻辑
1一元道义逻辑
2二元道义逻辑
3道义逻辑语义学
4 道义悖论
〔十〕评价逻辑
1评价的结构
2评价词的作用
3绝对评价逻辑公式的赋值条件
4评价逻辑范式
5绝对评价逻辑系统G
6功利评价逻辑
〔十一〕优先逻辑
1优先逻辑概述
2冯·莱特的优先逻辑（Ⅰ）
3冯·莱特的优先逻辑（Ⅱ）
4尼·雷谢尔的优先逻辑
5结语
〔十二〕量子逻辑
1 引言
2物理系统的抽象描述
3经典命题系统
4量子命题系统
5形式量子逻辑
6量子逻辑是一种逻辑吗？
〔十三〕计算机逻辑
1 电子计算机的发展历史
2计算机的数制与计算机代码
3计算机的算术运算逻辑
4数字计算机的控制逻辑
5计算机的存储器设计
6计算机中的错误检测逻辑
〔十四〕数字逻辑
1逻辑代数
2开关电路
3组合逻辑
4时序逻辑引论
5时序逻辑的分析
6时序逻辑的综合
7异步时序逻辑的竞争与冒险
〔十五〕动态逻辑
1命题动态逻辑
2一阶动态逻辑
〔十六〕子句逻辑
1合一消解推理系统
2 Horn子句推理系统
〔十七〕非单调逻辑
1单调性与非单调性
2缺省推理逻辑
3非单调逻辑
4限定论
〔十八〕程序逻辑
1计算机软件概略
2逻辑与程序
3信息处理
4图灵机器与形式语言
〔十九〕侦查逻辑
1侦查的思维形式
2侦查的逻辑方法
3预审的逻辑
4侦查假说
〔二十〕法律逻辑
1审判逻辑
2法规逻辑
〔二十一〕诊断逻辑
1诊断思维现象分析
2疾病诊断行程为一思维逻辑历程
3诊断思维属性阐说
4诊断思维特点
5诊断思维原则
6诊断思维模式与疾病推导方式
〔二十二〕决策逻辑
1决策、思维、逻辑
2决策的基本逻辑模式
3制定决策的逻辑程序
4制定决策的逻辑方法
〔二十三〕谈判逻辑
1谈判和逻辑
2形式逻辑在谈判中的运用
3辩证逻辑对谈判的意义
《应用逻辑学方法》卷术语、人名索引