可能世界与智慧

出版时间:2005-1  出版社:第1版 (2005年1月1日)  作者:王震宇  页数:284  字数:240000  
Tag标签:无  

内容概要

模态逻辑是逻辑学中的一个重要分支学科,是一种特殊的逻辑智慧。本书介绍了模态逻辑发展的概况以及传统模态逻辑的基本内容,区分了客观模态与主观模态、逻辑模态与非逻辑模态、从物模态与从言模态、狭义模态与广义模态,特别是详细介绍了真势模态的可能世界语义学理论、命题种类及推理有效式;同时也介绍了规范逻辑(道义逻辑)和时态逻辑以及模态命题逻辑演算的基本理论。本书的最大特点是通俗化,运用大量事例来讲解难懂的模态逻辑。

书籍目录

丛书总序前言1.“地球必然围绕太阳旋转”与“地球上可能来过外星人”  ——客观模态与主观模态2.“金属导电或不导电是必然的”与“生物必然要进行新陈代谢”    ——逻辑模态与非逻辑模态3.“物质必然运动”与“物质运动是必然的”有区别吗    ——从物模态与从言模态4.“他必然出庭作证”与“他应当出庭作证”    ——狭义模态与广义模态5.“白丁香必然有香味”与“白丁香不可能没有香味”    ——模态命题的种类6.各种各样的可能世界    ——模态命题的真值条件7.这两个模态命题是什么关系    ——同素材模态简单性质命题之间的对当关系8.从◇P真能一定推出◇┐P真吗   ——模态简单性质命题对当关系推理9.月球必然围绕太阳旋转吗    ——模态关系推理10.那个动物是必然有还是可能有发达的大脑    ——模态性质三段论11.结论最强的模态三段论(上)    ——纯必然型的一格和二格及其式12.结论最强的模态三段论(下)    ——纯必然型的三格和四格及其式13.结论最弱的模态三段论    ——纯可能型的格与式14.这两个推理结论的模态相同吗    ——混合模态三段论的格与式15.“结论从弱原则”有例外吗    ——必然实然型的格与式16.可能实然模态三段论的结论都是可能模态吗    ——可能实然型的格与式17.小党的推理是模态关系三段论吗    ——模态关系三段论的规则与类型18.从“可能p并且可能q”能推出“可能‘p并且q”吗    ——模态联言命题及推理19.从“必然‘p或者q’”能推出“必然p或必然q”吗    ——模态选言命题及推理20.“如果地球全部严重污染,则人类无法生存,是必然的”荒谬吗    ——模态充分条件假言命题及推理21.被剥夺政治权利的人必然有选举权吗    ——模态必要条件假言命题及推理……参考文献

图书封面

图书标签Tags

评论、评分、阅读与下载


    可能世界与智慧 PDF格式下载


用户评论 (总计0条)

 
 

 

250万本中文图书简介、评论、评分,PDF格式免费下载。 第一图书网 手机版

京ICP备13047387号-7