可能世界与智慧

出版时间：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.被剥夺政治权利的人必然有选举权吗    ——模态必要条件假言命题及推理……参考文献