Explanation Of The Minimal Temporal Logic

This thesis mainly discusses the minimal temporal logic and it is carried out in two stages: one is to explain rules and axioms in the minimal temporal logic system,and the other is to analyze the empirical explanations made by the system to investigate the reason why experience can be logic truth.Among current scholarships on the relation between experience and necessity,there are opinions that only a priori knowledge can be truth.The author uses minimal temporal logic as a cut to elaborate on why experience can also be truth.The thesis consists of three chapters.The first chapter introduces the background of the minimal temporal logic,interprets the constraints of classic logics on dynamic propositions and thus points out the necessity of the minimal temporal logic,as a branch of modal logic.The second chapter mainly deals with rules and axioms in the minimal temporal logic system and tests are employed to show how minimal temporal logic handles dynamic propositions.The third chapter elucidates in detail the relationship between the minimal temporal logic system and empirical analysis.It also discusses how experience becomes necessary truth,thus refutes the view that only a priori knowledge could be necessary truth and concludes that experience can also become necessary truth.Finally,at the end of the thesis,a question about the logical truths in the system is to be explained.