Diodorean modality in Minkowski spacetime |
| |
Authors: | Robert Goldblatt |
| |
Affiliation: | (1) Victoria University of Wellington, New Zealand |
| |
Abstract: | The Diodorean interpretation of modality reads the operator as it is now and always will be the case that. In this paper time is modelled by the four-dimensional Minkowskian geometry that forms the basis of Einstein's special theory of relativity, with event y coming after event x just in case a signal can be sent from x to y at a speed at most that of the speed of light (so that y is in the causal future of x).It is shown that the modal sentences valid in this structure are precisely the theorems of the well-known logic S4.2, and that this system axiomatises the logics of two and three dimensional spacetimes as well.Requiring signals to travel slower than light makes no difference to what is valid under the Diodorean interpretation. However if the is now part is deleted, so that the temporal ordering becomes irreflexive, then there are sentences that distinguish two and three dimensions, and sentences that can be falsified by approaching the future at the speed of light, but not otherwise. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|