《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容，主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容，主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容，主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍，主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用，也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用，还可供对现代逻辑学感兴趣的读者自学使用。
编辑推荐
《现代逻辑导引》由重庆大学出版社出版。 目录
绪论
A.1 逻辑学的对象和性质
A.2 逻辑思维的基本规律
A.3 逻辑思想与学习逻辑的方法
1命题逻辑
1.1 词项与命题
1.2 简单命题及其推理
1.3 复合命题及其推理
练习题
2 命题演算
2.1 命题演算概述
2.2 命题演算系统LP
2.3 命题演算系统LP的可靠性和完全性
练习题
3 谓词逻辑
3.1 谓词和量词
3.2 形式语言
3.3 命题的量化形式结构
3.4 谓词逻辑推理的规则
练习题
4 谓词演算
4.1 谓词演算
4.2 演绎定理
4.3 谓词演算的可靠性与完全性
练习题
5 模态逻辑
5.1 模态逻辑概述
5.2 可能世界语义学
5.3 框架、模型和有效性
练习题
6 模态命题演算
6.1 形式语言LPM
6.2 K,D和T系统
6.3 S4,S5和B系统
6.4 模态系统的可靠性与完全性
练习题
7 现代逻辑的现代发展
7.1 时态逻辑
7.2 认知逻辑
7.3 自然语言逻辑
参考文献
后记 文摘
版权页：
插图：
首先给出部分英语语句系统的语形分析，然后给出PTQ系统中的内涵逻辑语言，最后给出翻译规则，即根据翻译规则，自然语言的语形表达式可以翻译成内涵类型论语言。
（1）语形范畴。蒙太格受范畴语法的影响，把部分英语语句系统的语形看作是由一些基本范畴构成的。一个范畴应该由四部分组成：其一，有穷的基本范畴；其二，派生范畴定义；其三，一个词典；其四，语形演算的特殊组合规则。蒙太格在PTQ系统的语形规则中，使用了各种语形范畴，每一个复杂的表达式都是由两个合适的语形范畴生成的。他先给出了九个基本语形范畴，然后给出了每个范畴的基本表达式。基本表达式只相当于我们日常语言中的词或词组，通常说来具有独立意义的单位不是词或词组，而是语句。为了把这些词或词组组合成语句，蒙太格又给出了十七条语形规则，通过这些规则，基本表达式便可以生成句子。对于九个语形范畴的基本表达式，用集合的方式逐一列举，每一个范畴的基本表达式都是明确规定的，并且是有限的，因此，我们说PTQ系统只研究了有限的英语语句，并不是全部的自然语言。但是，由于该系统中包含了丰富的算子，已经十分接近自然语言，所以有着极其重大的理论价值。
| ISBN | 7562460825,978756246 |
|---|---|
| 出版社 | 重庆大学出版社 |
| 作者 | 杨长福 |
| 尺寸 | 16 |