Abstract
It is known that indicative and subjunctive conditionals interact differently with a rigidifying “actually” operator. The paper studies this difference in an abstract setting. It does not assume the framework of possible world semantics, characterizing “actually” instead by the type of logically valid formulas to which it gives rise. It is proved that in a language with such features all sentential contexts that are congruential (in the sense that they preserve logical equivalence) are extensional (in the sense that they preserve material equivalence). For a subjunctive conditional, the natural conclusion to draw is that it is non-congruential. It is much harder to defend the claim that an indicative conditional is non-congruential. The pressure to treat the indicative conditional as truth-functional is correspondingly greater. The implications of these results for attempts to interpret the indicative conditional as an epistemic or doxastic operator are assessed.
Similar content being viewed by others
Notes
One can observe that sentences such as (1i) and (2i) are truisms prior to taking any theoretical stance on whether indicative conditionals are truth-functional.
Of course, we do not expect \( {\varvec{\models^{*}}} \) p → Ap, since the conditional may have a true antecedent and a false consequent with respect to a counterfactual circumstance of evaluation.
Such an account of propositional attitudes would be incompatible with Stalnaker’s; his is coarse-grained and gives much less weight to the agent’s reaction to a sentence that expresses the proposition at issue, even when the agent understands the sentence.
The agent’s assumed rationality allows us to ignore objections to TAUTOLOGY that concern agents who are not omniscient about truth-functional logic.
References
Anderson, A. R. (1951). A note on subjunctive and counterfactual conditionals. Analysis, 12, 35–38.
Davies, M., & Humberstone, L. (1980). Two notions of necessity. Philosophical Studies, 38, 1–30.
Humberstone, L. (1986). Extensionality in sentence position. Journal of Philosophical Logic, 15, 27–54.
Humberstone, L. (1997). Singulary extensional connectives: A closer look. Journal of Philosophical Logic, 26, 341–356.
Jackson, F. (1981). Conditionals and possibilia. Proceedings of the Aristotelian Society, 81, 125–137.
Jackson, F. (1987). Conditionals. Oxford: Blackwell.
Stalnaker, R. C. (1975). Indicative conditionals. Philosophia, 5, 269–286.
Stalnaker, R. C. (1999). Context and content: Essays on intentionality in speech and thought. Oxford: Oxford University Press.
Williamson, T. (2006). Indicative versus subjunctive conditionals, congruential versus non-hyperintensional contexts. Philosophical Issues, 16, 310–333.
Williamson, T. (2007). The philosophy of philosophy. Oxford: Blackwell.
Acknowledgements
Thanks to participants in the 2008 First Formal Epistemology Festival in Konstanz for stimulating comments on an earlier version of this material, and to Franz Huber for written comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Williamson, T. Conditionals and Actuality. Erkenn 70, 135–150 (2009). https://doi.org/10.1007/s10670-008-9144-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-008-9144-8