现代逻辑导引
出版时间:
2011-05
版次:
1
ISBN:
9787562460824
定价:
29.80
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
240页
字数:
253千字
正文语种:
简体中文,英语
13人买过
-
《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容,主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容,主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容,主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍,主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用,也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用,还可供对现代逻辑学感兴趣的读者自学使用。 绪论
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.2K,D和T系统
6.3S4,S5和B系统
6.4模态系统的可靠性与完全性
练习题
7现代逻辑的现代发展
7.1时态逻辑
7.2认知逻辑
7.3自然语言逻辑
参考文献
后记
-
内容简介:
《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容,主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容,主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容,主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍,主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用,也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用,还可供对现代逻辑学感兴趣的读者自学使用。
-
目录:
绪论
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.2K,D和T系统
6.3S4,S5和B系统
6.4模态系统的可靠性与完全性
练习题
7现代逻辑的现代发展
7.1时态逻辑
7.2认知逻辑
7.3自然语言逻辑
参考文献
后记
查看详情
-
八五品
重庆市沙坪坝区
平均发货11小时
成功完成率84.87%
-
现代逻辑导引
正版二手书,批量上传有误差,套装请联系客服再下单,均有笔记不影响使用,无赠品、光盘、MP3等
八五品
山东省济南市
平均发货12小时
成功完成率89.61%
-
现代逻辑导引
正版二手,批量上传数据有误差,套装请咨询客服,均有笔记不影响使用,无赠品、光盘、MP3等
八五品
山东省枣庄市
平均发货12小时
成功完成率86.56%
-
现代逻辑导引
正版二手,均有笔记不影响使用,无赠品、光盘、MP7932等。如需购买套装书,请联系客服核实,批量上传数据有误差,套装书售后运费自理,还请见谅!
八五品
山东省枣庄市
平均发货9小时
成功完成率88.07%
-
八五品
重庆市沙坪坝区
平均发货11小时
成功完成率74.94%
-
八五品
重庆市沙坪坝区
平均发货11小时
成功完成率74.94%
-
九五品
北京市通州区
平均发货32小时
成功完成率84.93%
-
八五品
山东省枣庄市
平均发货9小时
成功完成率95.74%
-
七五品
北京市海淀区
平均发货26小时
成功完成率74.24%