《时间逻辑》求取 ⇩

序论 逻辑学的各种符号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