Harrington, James (2007) Tense Logic in Einstein-Minkowski Space-time. [Preprint]

There is a more recent version of this item available.

Preview

PDF Download (159Kb) | Preview

Abstract

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)[Currently Displayed]
  • Predicate-term negation and the indeterminacy of the future. (deposited 20 Jun 2011 11:32)
  • Tense Logic in Einstein-Minkowski Space-time. (deposited 16 Nov 2010 07:44)

Actions (login required)