网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 现代逻辑导引
分类 人文社科-哲学宗教-逻辑学
作者 杨长福//吕进//于宇//徐光霞
出版社 重庆大学出版社
下载
简介
目录

绪论

 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 自然语言逻辑

参考文献

后记

内容推荐

逻辑是保证人类正确思维的根本。《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容,主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容,主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容,主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍,主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用,也可供哲学、语言学、人工智能、计算机科学等方面的工作者使用,还可供对现代逻辑学感兴趣的读者自学使用。本书由杨长福、吕进等编著。

编辑推荐

现代逻辑是以数理逻辑为基础的,其内容的主要部分也是数理逻辑。但是,无论是数理逻辑,还是现代逻辑,它们都是逻辑学的组成部分。所以,按照这样的逻辑顺序,《现代逻辑导引》在介绍现代逻辑的内容之前,先对逻辑学,尤其是现代逻辑学的前身——经典逻辑学的内容进行了简略的介绍。遵循这样的思路,连同绪论在内,本书共安排了八个部分的内容,对现代逻辑的主要内容进行了较为详细地介绍。本书由杨长福、吕进等编著。

随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/2 10:07:41