序论 逻辑学的各种符号 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
- 《瞿麦物语》(日)伊吹有喜著;刘紫英译 2018
- 《丈夫使用手册》(韩)金相得著 2010
- 《时间逻辑》(日)杉原丈夫著;瞿麦生译 1986
- 《时间杀手》(法)米歇尔·普西著;陈睿,冯蕾译 2018
- 《逻辑教室 袁大头的推理游戏时间》袁长瑞著 2006
- 《历史与逻辑 作为逻辑历史学的宗教哲学》查常平著 2007
- 《死亡时间表》魏晓霞著 2002
- 《神经网络计算理论 逻辑分析和时间表示》郭雷,郭宝龙著 2000
- 《逻辑教室 袁大头的推理游戏时间》袁长瑞著 2006
- 《逻辑教室 袁大头的推理游戏时间》袁长瑞著 2010
- 《河北石家庄毗卢寺壁画》任国兴主编 2002
- 《河北省石家庄美术职业学校 河北省石家庄第三十五中学 基础教学·学生作品集》尚平均主编;高庆编著 2006
- 《最高人民法院新闻发布会实录 2012=records of supreme people's court press conferences 2012》 2222
- 《河北省石家庄地区文化志》石家庄市文化局 1994
- 《河北省地名志 石家庄地区分册》 1983
- 《河北石家庄毗卢寺壁画》金维诺主编 2001
- 《中国人民建设银行石家庄中心支行志》中国人民建设银行 1991
- 《新时期河北农村的变革 石家庄卷》中共河北省党史研究室,中共石家庄市党史研究室编 2000
- 《中华人民共和国国家标准 GB/T16623-1996 压配式实心轮胎=Pressed-on solid tyres》 2222
- 《河北移动通信公司石家庄分公司年鉴 1999》河北移动通信公司石家庄分公司 2000