Abstract
If one is interested in reasoning counterfactually within a physical theory, one cannot adequately use the standard possible world semantics. As developed by Lewis and others, this semantics depends on entertaining possible worlds with miracles, worlds in which laws of nature, as described by physical theory, are violated. Van Fraassen suggested instead to use the models of a theory as worlds, but gave up on determining the needed comparative similarity relation for the semantics objectively. I present a third way, in which this similarity relation is determined from properties of the models contextually relevant to the truth of the counterfactual under evaluation. After illustrating this with a simple example from thermodynamics, I draw some implications for future work, including a renewed possibility for a viable deflationary account of laws of nature.
Similar content being viewed by others
Notes
This prefacing also allows one to separate the question of counterfactual reasoning within a theory from the question of its acceptance, and what that entails, contrary to what the above quotation from van Fraassen suggests. Moreover, it is neutral between the indicative and subjunctive readings because the semantics I propose is independent of the empirical (or metaphysical) adequacy of the theories whose models are employed. See also my discussion of Boyle in Sect. 6.
No assumptions about the metaphysical possibility of the states of affairs represented by the counterfactual antecedent are needed, either. Such a counterfactual will not be vacuous if its antecedent is true in some model. So, the present approach is viable for those who take some aspects of scientific reasoning to involve (metaphysical) counterpossibilities (Jenny 2018; Tan 2018).
Indeed, data from Ciardelli et al. (2018) indicate that at least the general populace does not make counterfactual judgments in accordance with any version of ordering semantics at all. They tended to use simple everyday language counterfactuals, however, so there is still room for the present reforming project when it comes to counterfactuals in physics.
Actually, Muller (2005) slightly modifies the strict conditional to change how it rules in cases of impossible antecedents, but this makes no difference to the point at issue.
See also Lewis (1973, Sect. 1.2) for further discussion of the problems that strict conditionals face as an explication of natural language counterfactual conditionals.
See also van Fraassen (1989, pp. 33–35).
Here I follow Lewis (1981), who gives a modified semantics compared with Lewis (1973, p. 49), allowing the comparative similarity relation to be merely partial. Swanson (2011) then presents a further sophistication based on the concept of a cutset, but I’ve suppressed this innovation since it doesn’t make a significant difference for present purposes.
Because context-independence is here taken only as a necessary condition for objectivity, blocking the argument by itself does not entail that counterfactual conditionals are objective.
This is because of the circularity involved in giving an account of the semantics of counterfactual conditions that invokes the truth of some other counterfactual conditional. Perhaps one could show that this still yielded an implicit definition of the semantics, but I am skeptical of this strategy’s prospects because one conditional appears in the object language and another in the metalanguage. Of course, this sort of circularity would not be a problem if one had other resources to which one could appeal. Indeed, if one were engaged in the project of saving the phenomena of scientific (or everyday) language use, as Muller (2005) [and Lewis (1973), respectively,] is, then one could use basic judgments of competent language users to determine these counterfactuals.
This of course can be greatly generalized; they need only be valued, for example, in some module, in order to define the weighted sum.
Maudlin does develop his account for probabilistic theories, whereas I do not in this essay. The points of comparison thus treat non-probabilistic theories.
On Maudlin’s account, this is a material conditional, not a material biconditional, for he adds that \(\phi \boxright \psi \) is false at w if for all such \(w'\), \(\psi \) is false at \(w'\). If \(\psi \) is true at some \(w'\) and false at others, \(\phi \boxright \psi \) is indeterminate. Thus, Maudlin’s proposal is actually for a three-valued logic. One oddity of this proposal is that it makes \(\phi \boxright \lnot \psi \) and \(\lnot (\phi \boxright \psi )\) logically equivalent. For convenience, I will set these differences aside in the remainder.
Maudlin (2007, p. 33) stresses that “the principal test of a semantic theory is how it accords with our intuitions” not just in evaluation, but in its justification: “the psychological question of how people evaluate counterfactuals, what processes underlie their intuitions” (Maudlin 2007, p. 33). Readers may decide for themselves whether the three-step process Maudlin presents resembles their cognitive processes in evaluating counterfactuals, as Maudlin asserts it does; in any case, what is important is that Maudlin’s goals are distinct from the present ones in this essay.
As Jaramillo and Lam (2018) document, for more complex theories such as general relativity, evaluating counterfactual conditionals is computationally intensive, even without spacetime curvature’s interaction with matter. Despite their claims to the contrary, however, these problems are entirely practical; in principle the same approach developed here applies to general relativity, too.
References
Carroll, J. W. (2016). Laws of nature. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (fall 2016 ed.). Stanford: Metaphysics Research Lab, Stanford University.
Ciardelli, I., Zhang, L., & Champollion, L. (2018). Two switches in the theory of counterfactuals. Linguistics and Philosophy, 41(6), 577–621.
Comesaña, J., & Sartorio, C. (2014). Difference-making in epistemology. Noûs, 48(2), 368–387.
Earman, J. (1986). A primer on determinism. Dordrecht: D. Reidel.
Fletcher, S. C. (2019). Similarity structure on scientific theories. In B. Skowron (Ed.), Topological philosophy. Berlin: de Gruyter. (forthcoming).
Garson, J. (2016). Modal logic. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (spring 2016 ed.). Stanford: Metaphysics Research Lab, Stanford University.
Giere, R. N. (1999). Science without laws. Chicago: University of Chicago Press.
Glennan, S. (2017). The new mechanical philosophy. Oxford: Oxford University Press.
Goodman, N. (1983). Fact, fiction, and forecast (4th ed.). Cambridge, MA: Harvard University Press.
Hawke, P. (2018). Theories of aboutness. Australasian Journal of Philosophy, 96(4), 697–723.
Jaramillo, J. L. & Lam, V. (2018). Counterfactuals in the initial value formulation of general relativity. The British Journal for the Philosophy of Science. http://dx.doi.org/10.1093/bjps/axy066. (forthcoming)
Jenny, M. (2018). Counterpossibles in science: The case of relative computability. Noûs, 52(3), 530–560.
Kratzer, A. (1981). The notional category of modality. In H. J. Eikmeyer & H. Rieser (Eds.), Words, worlds, and contexts: New approaches in word semantics (pp. 38–74). Berlin: de Gruyter.
Ladyman, J. (2000). What’s really wrong with constructive empiricism? van Fraassen and the metaphysics of modality. The British Journal for the Philosophy of Science, 51(4), 837–856.
Lewis, D. (1973). Counterfactuals. Oxford: Blackwell.
Lewis, D. (1981). Ordering semantics and premise semantics for counterfactuals. Journal of Philosophical Logic, 10(2), 217–234.
Lewis, D. (1986a). Chapter 17: Counterfactual dependence and time’s arrow. In Philosophical papers (Vol. 2, pp. 32–66). Oxford: Oxford University Press. (Repr. with postscripts).
Lewis, D. (1986b). Chapter 21: Causation. In Philosophical papers (Vol. 2, pp. 159–213). Oxford: Oxford University Press.
Lewis, D. (1988a). Relevant implication. Theoria, 54(3), 161–74.
Lewis, D. (1988b). Statements partly about observation. Philosophical Papers, 17(1), 1–31.
Lewis, D. (2001). Truth making and difference making. Noûs, 35(4), 602–15.
Mares, E. (2014). Relevance logic. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (spring 2014 ed.). Stanford: Metaphysics Research Lab, Stanford University.
Mares, E. D. (2004). Relevant logic: A philosophical interpretation. Cambridge: Cambridge University Press.
Mares, E. D., & Fuhrmann, A. (1995). A relevant theory of conditionals. Journal of Philosophical Logic, 24, 645–665.
Maudlin, T. (2007). Chapter 1: A modest proposal concerning laws, counterfactuals, and explanations. In The metaphysics within physics (pp. 5–49). Oxford: Oxford University Press.
Menzel, C. (2017). Possible worlds. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (winter 2017 ed.). Stanford: Metaphysics Research Lab, Stanford University.
Menzies, P. (2017). Counterfactual theories of causation. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (winter 2017 ed.). Stanford: Metaphysics Research Lab, Stanford University.
Muller, F. A. (2005). The deep black sea: Observability and modality afloat. The British Journal for the Philosophy of Science, 56(1), 61–99.
Osorio-Kupferblum, N. (2016). Aboutness. Analysis, 76(4), 528–546.
Perry, J. (1989). Chapter 8: Possible worlds and subject matter. The problem of the essential indexical and other essays (pp. 145–60). Palo Alto: CSLI Publications.
Stalnaker, R. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in logical theory (pp. 98–112). Oxford: Blackwell.
Strevens, M. (2004). The causal and unification approaches to explanation unified—causally. Noûs, 38(1), 154–176.
Strevens, M. (2008). Depth: An account of scientific explanation. Cambridge, MA: Harvard University Press.
Swanson, E. (2011). On the treatment of incomparability in ordering semantics and premise semantics. Journal of Philosophical Logic, 40(6), 693–713.
Tan, P. P. (2018). Counterpossible non-vacuity in scientific practice. Journal of Philosophy. https://sites.google.com/site/petertanphilosophy/CORRECT%20VERSION%20jphil%20formatted%20PDF%20oct%202.pdf (forthcoming).
van Fraassen, B. C. (1980). The scientific image. Oxford: Clarendon Press.
van Fraassen, B. C. (1989). Laws and symmetry. Oxford: Clarendon Press.
Woodward, J. (2017). Scientific explanation. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (fall 2017 ed.). Stanford: Metaphysics Research Lab, Stanford University.
Yablo, S. (2014). Aboutness. Princeton: Princeton University Press.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Earlier versions of this project, under the title, “Counterfactuals within Scientific Theories,” were presented in Dubrovnik, Istanbul, Helsinki, Munich, Florianópolis, Ames (at Iowa State), Minneapolis, and (under the present title) Kraków, whose audiences I would like to thank for their comments, in addition to those of Chris Willis, David Schroeren, and two encouraging, anonymous referees. This work was supported in part by a Marie Curie International Incoming Fellowship (PIIF-GA-2013-628533).
Rights and permissions
About this article
Cite this article
Fletcher, S.C. Counterfactual reasoning within physical theories. Synthese 198 (Suppl 16), 3877–3898 (2021). https://doi.org/10.1007/s11229-019-02085-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-019-02085-0