|
题名:
|
可能世界的名字 ke neng shi jie de ming zi / 刘新文,祝瑞著 , |
|
ISBN:
|
978-7-5161-9962-6 价格: CNY48.00 |
|
语种:
|
chi |
|
载体形态:
|
162页,[2]页图版 图 (部分彩图) 25cm |
|
出版发行:
|
出版地: 北京 出版社: 中国社会科学出版社 出版日期: 2017 |
|
内容提要:
|
本书主要有以下内容: 第一, 比较全面研究了作为模态逻辑新分支的混合逻辑, 这些研究对象是以这一族逻辑中的极小系统为主; 第二, 在介绍可证性逻辑新阶段发展成果--核证逻辑的基础上, 建立了混合的核证逻辑的极小系统, 解决了国际著名逻辑学家Melvin Fitting在2010年提出的未解决问题。本书中的内容, 不仅推动了国际、国内逻辑学界相关问题的研究进展, 对于国内哲学界了解可能世界语义学、可证性等哲学概念的发展也具有重要意义。 |
|
主题词:
|
逻辑学 研究 |
|
中图分类法:
|
B81 版次: 5 |
|
主要责任者:
|
刘新文 liu xin wen 著 |
|
主要责任者:
|
祝瑞 zhu rui 著 |
|
责任者附注:
|
刘新文, 男, 1972年生, 江西莲花人。研究方向: 现代逻辑。祝瑞, 男, 1988年生, 陕西石泉人, 研究方向: 现代逻辑。 |