时间逻辑PDF电子书下载

序论 逻辑学的各种符号 1

第一章 日常语言中的时间表示 6

一、时间表示(一) 6

二、时态和时相 8

三、时间表示(二) 13

第二章 古代和中世纪的时间逻辑 15

一、时间逻辑的历史 15

二、第奥多鲁斯 18

三、伪司各脱 21

四、芝诺 23

五、亚里士多德 26

第三章 时间的基本性质 30

—、物理学的时间 30

二、时间的数量化 38

三、离散的时间 40

四、时间命题 42

五、现象时间和命题时间 46

六、时间的连续性 50

第四章 组合逻辑 57

一、组合命题 57

二、真值函项 59

三、组合电路 62

四、限量命题 65

五、模态命题 67

第五章 时态 71

一、语法时态 71

二、时态算子(一) 75

三、时态算子(二) 82

四、分支时间 85

五、模态时态 87

第六章 时相(—) 90

一、基本时相 90

二、发生函项(一) 94

三、发生函项(二) 99

四、事后函项 104

五、二次事后函项 107

六、电路表示 113

七、事后发生函项 120

第七章 时相(二) 124

一、单项顺序真值函项 124

二、循环函项 126

三、延迟函项 130

四、区间函项 132

五、时相的一般表示 135

第八章 时间顺序(一) 138

一、时间接续词 138

二、二区间真值函项 140

三、三区间真值函项 147

四、发生后行 152

五、时相和时态 155

第九章 时间顺序(二) 159

一、并进后起(一) 159

二、并进后起(二) 165

三、电路表示 169

四、发生后行 171

五、完成后行 173

六、期间中同时 179

全书名词索引 183