Abstract
In [12] Richmond Thomason and Anil Gupta investigate a semantics for conditional logic that combines the ideas of [8] and [9] with a branching time model of tense logic. The resulting branching time semantics for the conditional is intended to capture the logical relationship between temporal necessity and the conditional. The central principle of this logical relationship is Past Predominance, according to which past similarities and differences take priority over future similarities and differences in determining the comparative similarity of alternative possible histories with respect to a given present moment.
In this paper I will use ordinary possible worlds semantics (i.e. Kripke frames) to solve the completeness problem for a system of logic that combines conditional logic with temporal necessity in the context of Past Predominance. Branching time models turn out not to be necessary for the articulation of Past Predominance, and this means that one can axiomatize Past Predominance without first having to solve a much more difficult problem: the completeness problem for the logic of temporal necessity in the context of branching time.
Thomason and Gupta argue in [12] that in addition to Past Predominance, temporal necessity and the conditional are logically related, by what have become known as the Edelberg Inferences, whose apparent validity motivates the very complicated theory presented at the end of [12]. I will conclude this paper by examining how the Edelberg inferences would be incorporated into the possible worlds based system presented in the earlier sections of this paper.
Similar content being viewed by others
References
N. D. Belnap, Jr., Restricted quantification and conditional assertion, in Truth, Syntax, and Modality, edited by H. Leblanc, North-Holland, Amsterdam, 1973, pp. 48–75.
D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2, D. Reidel, Dordrecht, 1984.
A. Gibbard and W. L. Harper, Counterfactuals and two kinds of expected utility, in [4]., pp. 153–190.
W. L. Harper, R. Stalnaker and G. Pearce (eds.), Ifs: Conditionals, Belief, Decision, Chance, and Time, D. Reidel, Dordrecht, 1980.
R. C. Jeffrey, The Logic of Decision, 2nd ed., University of Chicago Press, Chicago, 1983.
D. K. Lewis, Scorekeeping in a language game, Journal of Philosophical Logic 8 (1979), pp. 339–359.
E. Sosa (ed.), Causation and Conditionals, Oxford University Press, Oxford, 1975.
R. C. Stalnaker, A theory of conditionals, in Studies in Logical Theory, American Philosophical Quarterly Monograph Series, No. 2, Basil Blackwell, Oxford, 1968, pp. 98–112. Reprinted in [4] and in [7]; page references are to [7].
R. C. Stalnaker and R. H. Thomason, A semantic analysis of conditional logic, Theoria 36 (1970), pp. 23–42.
R. H. Thomason, Indeterminist time and truth-value gaps, Theoria 36 (1970), pp. 264–281.
R. H. Thomason, Combinations of tense and modality, in [2]., pp. 135–165.
R. H. Thomason and A. Gupta, A theory of conditionals in the context of branching time, in [4]., pp. 299–322.
B. C. van Fraassen, A temporal framework for conditionals and chance, in [4]., pp. 323–340.
Author information
Authors and Affiliations
Additional information
This article is based on the second chapter of my doctoral dissertation Studies in the Semantics of Modality, University of Pittsburgh, 1985. I thank my adviser Richmond Thomason for his patient help throughout the course of that project.
Rights and permissions
About this article
Cite this article
Cross, C.B. Temporal necessity and the conditional. Stud Logica 49, 345–363 (1990). https://doi.org/10.1007/BF00370369
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370369