第1章 时态逻辑概述
第1节 时态逻辑的思想渊源
一、古希腊到中世纪的时态逻辑思想萌芽
二、文艺复兴时期到18世纪的低潮期
三、19世纪至20世纪中期对时态命题与时态论证的重新关注
第2节 时态逻辑的创立和发展
一、时态逻辑的创立
二、时态逻辑的发展
第3节 小结
第2章 普赖尔时态逻辑
第1节 普赖尔构造的逻辑系统
一、纯时态逻辑系统
二、时态模态逻辑系统
第2节 时态逻辑牵涉的四个等级
一、牵涉等级的提出
二、时态逻辑牵涉的等级
三、进一步的讨论
四、分析与评论
第3节 小结
第3章 时间、决定论与非决定论
第1节 上帝的预知与人的自由
一、从上帝的预知到未来必然性的论证
二、安瑟尔谟奥卡姆莱布尼茨处理方案
三、普赖尔对从上帝的预知到未来必然性的论证的分析
第2节 主论证、第奥多鲁的解答与普赖尔的重构
一、主论证与第奥多鲁的解答
二、普赖尔对第奥多鲁解答之重构
三、对普赖尔重构的讨论
四、分析与评论
第3节 线性时间与分支时间
一、线性时间观点与线性时态逻辑系统简介
二、逻辑中分支时间观点的提出
三、普赖尔论分支时间
四、分支时间模型
五、分支时间的哲学意义
第4节 普赖尔对未来偶然性问题之解答
一、普赖尔对卢卡西维茨三值处理方案的批评
二、普赖尔基于二值的处理方案
三、奥卡姆主义的一种情况：真未来主义理论
第5节 小结
第4章 普赖尔对时间概念的分析
第1节 普赖尔对麦克塔加时间观点的分析
一、麦克塔加反对时间实在性的论证
二、普赖尔对麦克塔加观点的分析
三、进一步的讨论
第2节 普赖尔的现在概念
一、现在概念
二、对普赖尔现在概念的讨论
第3节 普赖尔论时间与存在
一、巴坎公式
二、普赖尔对巴坎公式的分析
三、进一步的讨论
第4节 关于时间的自由思考
一、时间是实在的吗
二、相对性
三、时间等级进化理论
第5节 小结
参考文献
后 记
鄂公网安备 42010302001612号 