B815.6 /1-西安交通大学图书馆

B815.6 /1

发布日期:2007-04-16 浏览次

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

上一条：B848.4 /473
下一条：B825 /147

【关闭】