Abstract
The word ‘actually’ often refers to what is in fact the case, but it also often points to what would have been the case in a possible situation that is being envisaged. To capture such nuances, the formal languages discussed in the paper add subscripts to modal operators; in the model theory the subscripts allow an actuality operator to turn the evaluation of a formula to a world introduced by a preceding possibility or necessity operator having the same subscript. The paper covers both propositional and predicate logic and proves the completeness of axiomatizations that extend standard modal systems beginning with K.
Similar content being viewed by others
REFERENCES
Cresswell, M. J. (1990): Entities and Indices, Kluwer Academic Publishers, Dordrecht.
Crossley, J. N. and Humberstone, L. (1977): The logic of “actually”, Reports on Mathematical Logic 8: 11–29.
Forbes, G. (1985): The Metaphysics of Modality, Clarendon Press, Oxford.
Forbes, G. (1989): Languages of Possibility: An Essay in Philosophical Logic, Aristotelian Society Series 9, Basil Blackwell, Oxford.
Hodes, H. T. (1984): Axioms for actuality, J. Philos. Logic 13: 27–34.
Hughes, G. E. and Cresswell, M. J. (1996): A New Introduction to Modal Logic, Routledge, London.
Peacocke, C. (1978): Necessity and truth theories, J. Philos. Logic 7: 473–500.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Stephanou, Y. Indexed Actuality. Journal of Philosophical Logic 30, 355–393 (2001). https://doi.org/10.1023/A:1017915417449
Issue Date:
DOI: https://doi.org/10.1023/A:1017915417449