可能世界与智慧
2005-1
第1版 (2005年1月1日)
王震宇
284
240000
无
模态逻辑是逻辑学中的一个重要分支学科，是一种特殊的逻辑智慧。本书介绍了模态逻辑发展的概况以及传统模态逻辑的基本内容，区分了客观模态与主观模态、逻辑模态与非逻辑模态、从物模态与从言模态、狭义模态与广义模态，特别是详细介绍了真势模态的可能世界语义学理论、命题种类及推理有效式；同时也介绍了规范逻辑（道义逻辑）和时态逻辑以及模态命题逻辑演算的基本理论。本书的最大特点是通俗化，运用大量事例来讲解难懂的模态逻辑。
丛书总序前言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.被剥夺政治权利的人必然有选举权吗 ——模态必要条件假言命题及推理……参考文献
无