北京市社会科学理论著作出版基金资助出版
本书在阐述抽象理论的同时，注意给出较详细的解释与说明，包括对一些“非常基本的”概念和问题的解释与说明，适用于文科类读者。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
略显啰嗦，但是最基本内容都讲了，适合哲学系学习模态逻辑入门。
评分略显啰嗦，但是最基本内容都讲了，适合哲学系学习模态逻辑入门。
评分略显啰嗦，但是最基本内容都讲了，适合哲学系学习模态逻辑入门。
评分关爱学生，深入浅出，写法上基本是为只预设基本命题逻辑知识的自学者设计的。按照形式系统-形式语义学-完全性的标准框架展开，末尾又回到哲学问题，尤其是作为无心插柳成果的模态逻辑最初面对的严格蕴含问题。模态命题逻辑的完全性证明由语义图方法给出，在模态谓词逻辑部分给出了典范模型以及各种必要的铺垫，却只差一步没有证明强完全性，算是一个小遗憾。部分个人色彩比较强的定义上有些小瑕疵，如定义为公式集上全函数的推理规则并不是一个良定义；代入规则的框架有效性处给出的赋值以及整个证明完全是错误的；模态逻辑错杂的可靠性与完全性定义的选择上用了很多篇幅来探讨思路，最终效果仍然不佳。可以结合chellas一起食用。
评分有一些错误...
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有