第1章 時態(tài)邏輯概述
第1節(jié) 時態(tài)邏輯的思想淵源
一、古希臘到中世紀的時態(tài)邏輯思想萌芽
二、文藝復興時期到18世紀的低潮期
三、19世紀至20世紀中期對時態(tài)命題與時態(tài)論證的重新關注
第2節(jié) 時態(tài)邏輯的創(chuàng)立和發(fā)展
一、時態(tài)邏輯的創(chuàng)立
二、時態(tài)邏輯的發(fā)展
第3節(jié) 小結
第2章 普賴爾時態(tài)邏輯
第1節(jié) 普賴爾構造的邏輯系統(tǒng)
一、純時態(tài)邏輯系統(tǒng)
二、時態(tài)模態(tài)邏輯系統(tǒng)
第2節(jié) 時態(tài)邏輯牽涉的四個等級
一、牽涉等級的提出
二、時態(tài)邏輯牽涉的等級
三、進一步的討論
四、分析與評論
第3節(jié) 小結
第3章 時間、決定論與非決定論
第1節(jié) 上帝的預知與人的自由
一、從上帝的預知到未來必然性的論證
二、安瑟爾謨奧卡姆萊布尼茨處理方案
三、普賴爾對從上帝的預知到未來必然性的論證的分析
第2節(jié) 主論證、第奧多魯的解答與普賴爾的重構
一、主論證與第奧多魯的解答
二、普賴爾對第奧多魯解答之重構
三、對普賴爾重構的討論
四、分析與評論
第3節(jié) 線性時間與分支時間
一、線性時間觀點與線性時態(tài)邏輯系統(tǒng)簡介
二、邏輯中分支時間觀點的提出
三、普賴爾論分支時間
四、分支時間模型
五、分支時間的哲學意義
第4節(jié) 普賴爾對未來偶然性問題之解答
一、普賴爾對盧卡西維茨三值處理方案的批評
二、普賴爾基于二值的處理方案
三、奧卡姆主義的一種情況:真未來主義理論
第5節(jié) 小結
第4章 普賴爾對時間概念的分析
第1節(jié) 普賴爾對麥克塔加時間觀點的分析
一、麥克塔加反對時間實在性的論證
二、普賴爾對麥克塔加觀點的分析
三、進一步的討論
第2節(jié) 普賴爾的現在概念
一、現在概念
二、對普賴爾現在概念的討論
第3節(jié) 普賴爾論時間與存在
一、巴坎公式
二、普賴爾對巴坎公式的分析
三、進一步的討論
第4節(jié) 關于時間的自由思考
一、時間是實在的嗎
二、相對性
三、時間等級進化理論
第5節(jié) 小結
參考文獻
后 記