Abstract
Tense logic is a branch of contemporary logic which includes formal devices that allow us to deal with the temporal relations between propositions. The aim of our paper is threefold: 1) to reveal how Aristotelian philosophical ideas about time, truth, possibility and necessity were reinterpreted by the founder of contemporay tense logic Arthur Prior; 2) to discuss what novel solutions to the classical problem of future contingents are available using Priorean invention; 3) to describe how the tools of tense logic have transcended their original theoretical purposes.
Keywords: Tense Logic, Sea-Battle Paradox, Future Contingents, Arthur Prior, Aristotle
Publisher
Babes-Bolyai University Cluj-Napoca
Reference41 articles.
1. "1. Aristotle. The Complete Works of Aristotle, Volumes I and II., ed. Barnes, J., Princeton: Princeton University Press, 1984.
2. 2. Belnap N. & Green M., "Indeterminism and the Thin Red Line", in Philosophical Perspectives 8, 1994, pp. 365-88.
3. 3. Bigelow J., "Presentism and Properties", in Philosophical Perspectives, No. 10, 1996, pp. 35-52.
4. 4. Birkhoff G. & von Neumann J., "The Logic of Quantum Mechanics", in Annals of Mathematics (Second Series), No. 37 (4), 1936, pp. 823-843.
5. 5. Blank D. L. & Kretzmann N., Ammonius: On Aristotle On Interpretation 9 with Boethius: On Aristotle On Interpretation 9, London: Bloomsbury Academic, 1998.