Abstract
A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time points and then collect some of them to form time intervals of processes. Under this set-theoretic approach, the logic that governs the processes acquires a Boolean structure. However, in a distributed computer system or a relativistic universe where the message-passing time between different locations is not negligible, the logic has no choice but to accept time interval instead of time point as a primitive concept. The resulting logico-algebraic structure matches that of orthologic, which is known as the most simplified version of quantum logic, and the conventionality of simultaneity claim is reduced to the non-distributivity of the logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Baeten, J.C.M.: A brief history of process algebra. Theor. Comput. Sci. 335(2–3), 131–146 (2005)
Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society Colloquium Publications, vol. XXV. American Mathematical Society, Providence (1967)
Dalla Chiara, M.L.: Quantum Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, 2nd edn., pp. 129–228. Kluwer, Dordrecht (2001)
Galton, A.: Time and continuity in philosophy, mathematics, and artificial intelligence. Ars Semiot. 19(1–2), 101–119 (1996)
Goldblatt, R.: Logic of Time and Computation. CSLI Lecture Notes, No. 7, Stanford (1987)
Goranko, V., Montanari, A., Sciavicco, G.: A road map on interval temporal logics and duration calculi. J. Appl. Non-Class. Log. 14(1–2), 9–54 (2004)
Grünbaum, A.: Philosophical Problems of Space and Time, 2nd edn. Reidel, Boston (1973)
Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38(4), 935–962 (1991)
Humberstone, I.L.: Interval semantics for tense logic: some remarks. J. Philos. Log. 8, 171–196 (1979)
Lamport, L.: Time, clocks and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)
Malament, D.: Causal theories of time and the conventionality of simultaneity. Noûs 11, 293–300 (1977)
Norton, J.D.: Philosophy of space and time. In: Salmon, et al. (eds.) Introduction to the Philosophy of Science. Prentice-Hall, New York (1992)
Pierce, B.C.: Foundational calculi for programming languages. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, pp. 2190–2207. CRC Press, Boca Raton (1997)
Redhead, M.: The conventionality of simultaneity. In: Earman, J., Janis, A.I., Massey, G.I., Rescher, N. (eds.) Philosophical Problems of Internal and External Worlds: Essays on the Philosophy of Adolf Grünbaum, pp. 103–128. University of Pittsburgh, Pittsburgh (1993)
Reichenbach, H.: The Philosophy of Space and Time. Dover, New York (1957). English translation by M. Reichenbach and J. Freund
Russell, B.: Our Knowledge of the External World as a Field for Scientific Method in Philosophy. Allen and Unwin, London (1926)
Taylor, E.F., Wheeler, J.A.: Spacetime Physics: An Introduction to Special Relativity, 2nd edn. Freeman, New York (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tokuo, K. Logic of Simultaneity. Int J Theor Phys 48, 1290–1299 (2009). https://doi.org/10.1007/s10773-008-9900-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-008-9900-1