PhilSci Archive

Tense Logic in Einstein-Minkowski Space-time

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

WarningThere is a more recent version of this item available.
[img]
Preview
PDF
Tense_Logic_on_Einstein-Minkowski_Space-time.pdf

Download (163kB)

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Harrington, James
Keywords: spacetime, tense logic, indeterminacy, future contingents, relativity
Subjects: Specific Sciences > Physics > Relativity Theory
General Issues > Determinism/Indeterminism
Depositing User: JAMES HARRINGTON
Date Deposited: 23 Jul 2007
Last Modified: 16 Nov 2010 12:44
Item ID: 3449
URI: http://philsci-archive.pitt.edu/id/eprint/3449

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item