Jim Scott - Academia.edu (original) (raw)
Uploads
Thesis Chapters by Jim Scott
The thesis provides a survey and analysis of three-dimensional and four- dimensional theories of ... more The thesis provides a survey and analysis of three-dimensional and four-
dimensional theories of time. These theories are considered both from the perspective of experienced time and of physical time. It is argued that experienced time is tensed and finite. It is further argued that physical time can be modeled by various theories, and that the choice of temporal theory is largely determined by the basic tenets of a particular theory of the external world.
Arthur Prior‟s tense logic and U-calculus are presented, and it is shown that tense logic models tensed time, while the U-calculus models tenseless time. Further, it is seen that the U-calculus can be reduced to tense logic.
Following the development of a general hybrid modal logic, a temporal hybrid modal logic is presented which is shown to model both tensed and tenseless time.
The thesis provides a survey and analysis of three-dimensional and four- dimensional theories of ... more The thesis provides a survey and analysis of three-dimensional and four-
dimensional theories of time. These theories are considered both from the perspective of experienced time and of physical time. It is argued that experienced time is tensed and finite. It is further argued that physical time can be modeled by various theories, and that the choice of temporal theory is largely determined by the basic tenets of a particular theory of the external world.
Arthur Prior‟s tense logic and U-calculus are presented, and it is shown that tense logic models tensed time, while the U-calculus models tenseless time. Further, it is seen that the U-calculus can be reduced to tense logic.
Following the development of a general hybrid modal logic, a temporal hybrid modal logic is presented which is shown to model both tensed and tenseless time.