Affiliation:
1. De La Salle University
Abstract
This paper explores a modal semantics Arthur Prior developed in his 1957 lecture, “Symbolism and Analogy.” Prior’s semantics employs a translational scheme where certain modal axioms are translated as sentences in an easily understood language. Using Prior’s semantics, we show that one can distinguish between modal logics like D, M, T, S4, and S5 without recourse to possible worlds. Finally, given the current conception of what a semantics ought to be, we consider whether Prior’s modal semantics is indeed a semantics.
Reference35 articles.
1. Carnap, R. (1946). Modalities and Quantification. The Journal of Symbolic Logic, 11(2), 33-64. https://doi.org/10.2307/2268610
2. Carnap, R. (1947). Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press.
3. Copeland, B. J. (2002). The Genesis of Possible Worlds Semantics. Journal of Philosophical Logic, 31(2), 99-137.
4. https://doi.org/10.1023/A:1015273407895
5. Copeland, B. J. (2016). Prior, Translational Semantics, and the Barcan Formula. Synthese, 193(11), 3507-3519. https://doi.org/10.1007/s11229-015-0955-2