Tense Logic in Einstein-Minkowski Space-time.
This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logical priority of <em>proper time</em>. In addition, the extension of classical tense logic with an operator for predicate-term negation provides us with a framework for interpreting and defending the significance of future contingency in special relativity. The framework for future contingents developed here involves the dual falsehood of non-logical contraries, only one of which becomes true. This has several methodological, metaphysical and physical advantages over the alternative traditional frameworks for handling future contingents.
Available Versions of this Item
Tense Logic in Einstein-Minkowski Space-time. (deposited 23 Jul 2007)
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Actions (login required)