点此购买报价¥18.60目录:图书,工业技术,自动化、计算机技术,计算技术、计算机技术,计算机软件,程序设计、软件工程,综合,
品牌:何向东
基本信息
·出版社:人民出版社
·页码:401 页码
·出版日:2005年
·ISBN:7010053227
·条码:9787010053226
·版次:1
·装帧:平装
·开本:32开 32开
内容简介
模态逻辑是哲学逻辑的重要分支,自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书对国内外已有的广义模态逻辑成果进行了比较全面的梳理和归纳,阐明了狭义模态逻辑的基础,并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入广义模态逻辑的范围;论述了模态逻辑与自然语方、计算机科学、教育科学、理学和工学等学科的关系;强调了模态逻辑在各个领域的具体应用,尤其丰富和发展了“教育逻辑”的内涵。本书既有对广义模态逻辑理论的系统阐述,又有应用前景的分析和展望,内容丰富、资料翔实,具有较高的专业理论水平和学术价值,是该专业领域的重要学术参考书。
作者简介
何向东,西南大学教授,博士生导师。逻辑学博士点、硕士点负责人,原西南师范大学副校长。教育部高校哲学学科教学指导委员,全国哲学社会科学基金项目学科评审专家,教育部普通高校本利教学工作评估专家委员会委员,中国逻辑学会副会长,重庆市社科联副主席,重庆市逻辑学会会长。1993年起享受国务院颁发的政府特殊津贴。重庆市首届学术技术(逻辑学)带头人。苏州大学兼职博士生导师。在《哲学研究》、《自然辩证法研究》、大学学报等刊物及论文集上发表学术论文70多篇;出版专著、教材、译著、工具书、文集等10多部;主持省部级、国家级教学、科研课题12项;获省部级以上教学、科研成果奖10余项。其中优秀教学成果(管理类)国家级二等奖3项。
编辑推荐
本书是一部以广义模态逻辑为研究对象的理论专著,内容涉及真理模态逻辑、认知逻辑、规范逻辑及其应用、时间逻辑、命令逻辑、模态逻辑与自然语言、模糊逻辑与理学、工学等,适合广义模态逻辑理论研究者。
目录
前言
绪论
0.1 什么是广义模态逻辑
0.2 古典命题逻辑系统P
0.3 古典谓词逻辑系统Q
0.4 集合论的初步知识
……[看更多目录]
点此购买报价¥18.60