可能世界与智慧PDF电子书下载

目录 1

丛书总序 1

前言 1

1．“地球必然围绕太阳旋转”与“地球上可能来过外星人” ——客观模态与主观模态 1

2．“金属导电或不导电是必然的”与“生物体必然要进行新陈代谢”——逻辑模态与非逻辑模态 4

3．“物质必然运动”与“物质运动是必然的”有区别吗——从物模态与从言模态 8

4．“他必然出庭作证”与“他应当出庭作证”——狭义模态与广义模态 11

5．“白丁香必然有香味”与“白丁香不可能没有香味”——模态命题的种类 14

6．各种各样的可能世界——模态命题的真值条件 25

7．这两个模态命题是什么关系——同素材模态简单性质命题之间的对当关系 32

8．从◇P真能一定推出◇？P真吗——模态简单性质命题对当关系推理 40

9．月球必然围绕太阳旋转吗——模态关系推理 45

10．那个动物是必然有还是可能有发达的大脑——模态性质三段论 49

11．结论最强的模态三段论（上）——纯必然型的一格和二格及其式 53

12．结论最强的模态三段论（下）——纯必然型的三格和四格及其式 60

13．结论最弱的模态三段论——纯可能型的格与式 70

14．这两个推理结论的模态相同吗——混合模态三段论的格与式 81

15．“结论从弱原则”有例外吗——必然实然型的格与式 94

16．可能实然模态三段论的结论都是可能模态吗——可能实然型的格与式 107

17．小党的推理是模态关系三段论吗——模态关系三段论的规则与类型 120

18．从“可能p并且可能q”能推出“可能‘p并且q’”吗——模态联言命题及推理 129

19．从“必然‘p或者q’”能推出“必然p或必然q”吗——模态选言命题及推理 135

20．“如果地球全部严重污染，则人类无法生存，是必然的”荒谬吗——模态充分条件假言命题及推理 144

21．被剥夺政治权利的人必然有选举权吗——模态必要条件假言命题及推理 150

22．“人不犯我，我不犯人，人若犯我，我必犯人”是模态充要条件假言命题吗——模态充要条件假言命题及推理 156

23．是红队必然获得冠军或蓝队必然获得冠军吗——模态复合命题等值关系及推理 164

24．亚里士多德—恩斯特·麻里—冯·莱特——规范逻辑及发展概况 171

25．“禁止酒后驾车”有真假吗——规范命题及其真值特征 175

26．“必须高速行驶”、“允许高速行驶”和“禁止高速行驶”——规范命题的种类 179

27．“自诉案件的被告人在诉讼过程中可以不提起反诉”是不妥吗——同素材简单规范命题之间的对当关系 190

28．从“Op不妥”能推出“O？p妥当”吗——简单规范推理 195

29．东里的两个互逆规范推理都是妥当的吗——复合规范推理 203

30．“过去曾建立计划经济体制”、“现在正建立完善市场经济体制”和“将来要实现完善市场经济体制”——时态命题及其种类 210

31．“唐山市将没有地震”与“并非唐山市将有地震”是什么关系——同素材简单时态命题之间的对当关系 222

32．为什么两个具有相同推理形式的结论却有真假之分——简单时态推理 231

33．这种形式的推理是有效式吗——复合时态推理 241

34．以命题为最小单位的模态形式——模态命题演算简介 253

参考文献 284