Abstract
I defend the truthmaker approach to counterfactuals against certain objections that Andrew Bacon has made in his paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
My response to Ondrej Majer, Vít Punčochář and Igor Sedlár also contains some discussion of the truthmaker semantics for counterfactuals.
- 2.
Bacon points out that Restricted Transitivity follows from the other finitary assumptions (Sect. 3.4) although, of course, someone who rejects some of those other assumptions may still wish to accept Restricted Transitivity.
- 3.
There is a slight problem with his formulation of the theorem. For the substitution principles that he gives are for the whole antecedent of a counterfactual and yet his proof requires that we make the substitutions within the antecedent. To rectify this problem, we cannot say that equivalents can always be substituted within an antecedent since we do not want the antecedent \(\neg ({\text{A}} \wedge ({\text{B}} \vee {\text{C}}))\) to be inter-substitutable with \(\neg (({\text{A}} \wedge {\text{B}}) \vee ({\text{A}} \wedge {\text{C}}))\). Perhaps the simplest fix is to extend the above rules of substitution by allowing that A ≈ A and that \({\text{A}} \vee {\text{B}} \approx {\text{A}}^{\prime } \vee {\text{B}}^{\prime }\) and A ∧ B ≈ Aʹ ∧ Bʹ whenever \({\text{A}} \approx {\text{A}}^{\prime } {\text{ and B}} \approx {\text{B}}^{\prime }\)
- 4.
I should also point out that, when writing Fine (2012a), I did not take seriously the possibility that a counterfactual with an impossible antecedent might be false. If this possibility is taken into account, then even the weak form of Disjunction might fail within the present context.
- 5.
There is also a brief discussion of the issue at the end of Sect. 7 of Fine (2018a).
- 6.
Some of the more general logical issues involved in not accepting Idempotence for conjunction are discussed in my response to Rothschild and Yablo.
- 7.
This issue, though in connection with conditional imperatives rather than counterfactuals, is discussed in Fine (2022).
- 8.
This is a large question and is also briefly discussed in the introduction to Fine (2018a). It is interesting to note, in this regard, that even such a keen advocate of the possible worlds approach as Stalnaker was willing to posit an impossible world in order to simplify the formulation of his semantics for the counterfactual in Stalnaker (1968, p. 34).
- 9.
I should add that it is also possible to piggy back the models of truthmaker semantics off of the models of the possible worlds semantics, as pointed out in Fine (2018b, 241–242), so that, in regard to the issue of intelligibility, there is no need ‘to go beyond the ontological or conceptual resources of the possible worlds semantics’.
- 10.
I shall not give details but the reader might like to bear in mind that the validity of Restricted Transitivity under the proposed semantics will turn on acceptance of the following condition on the transition relation (Fine 2012b, p. 240):
Incorporation If t → w u and uʹ ⊑ u then t ⊔ uʹ → w u.
- 11.
Not strictly a logical contradiction since there is no logical contradiction in my choosing m and n utiles for distinct m and n. But the puzzle is easily reformulated so as to result in as logical contradiction at this point in the argument.
- 12.
He cites Goldstein (2020) in support of his position (fn. 42). But Goldstein’s paper does not consider the kind of semantics typified by truthmaker semantics, which, in fact, is also able to provide an easy explanation of the phenomena—as in the paper, Anglberger et al., (2016), which Bacon also cites.
- 13.
- 14.
Of course, this might seem a little ad hoc and what we must do in general when the counterfactual consequences of an antecedent are not determinate is to consider all of its maximally possible consequences.
- 15.
Interesting questions arise when some of the actions a1, a2, …, an are allowed to be the same. This is a case, I believe, in which it may be helpful to have a semantics for disjunction, of the sort mentioned in footnote 3, which takes into account how many times a statement is made true by a given truth-maker.
References
Anglberger, A. A. J., Korbmacher, J., Faroldi, F. L. G. (2016). An exact truthmaker semantics for permission and obligation. In O. Roy, A. Tamminga, M. Willer (Eds.), Deontic Logic and Normative Systems (pp. 16–31). College Publications.
Bernardete, J. A. (1964). Infinity: An Essay in Metaphysics. Clarendon Press.
Briggs, R. (2012). Interventionist counterfactuals. Philosophical Studies, 160(1), 139–166.
Fine, K. (2012a). A Difficulty for the Possible Worlds Analysis of Counterfactuals. Synthese, 189(1), 29–57.
Fine, K. (2012b). Counterfactuals without possible worlds. Journal of Philosophy, 109(3), 221–246.
Fine, K. (2014). Permission and possible worlds. Dialectica, 68(3), 317–336.
Fine, K. (2017). A theory of truthmaker content I: Conjunction, disjunction and negation. Journal of Philosophical Logic, 46(1), 626–674.
Fine, K. (2018a). Compliance and command I—Categorical imperatives. Review of Symbolic Logic, 11(4), 609–633.
Fine, K. (2018b). Compliance and command II—Imperatives and deontics. Review of Symbolic Logic, 11(4), 634–664.
Fine, K. (2023). Compliance and command III: Conditional imperatives. Review of Symbolic Logic, to appear
Goldstein, S. (2020). Free choice impossibility results. Journal of Philosophical Logic, 49, 249–282.
Korbmacher, J. (2017). Truth-makers and probabilities: The case for truth-maker Bayesianism. Posted on Academia.
Kraemer, S. (2022) Mighty belief revision. Journal of Symbolic Logic, 51(5), 1175–1123.
Stalnaker, R. C. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in Logical Theory (pp. 98–112). Basil Blackwell.
Yablo, S. (2000). A reply to new zero. Analysis, 60(2), 148–151.
Yablo, S. (2021) World domination in decision theory and formal epistemology. Pre-print posted on ResearchGate.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Fine, K. (2023). ‘Defense of a Truthmaker Approach to Counterfactuals’: Response to Andrew Bacon’s ‘Counterfactuals, Infinity and Paradox’. In: Faroldi, F.L.G., Van De Putte, F. (eds) Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Outstanding Contributions to Logic, vol 26. Springer, Cham. https://doi.org/10.1007/978-3-031-29415-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-031-29415-0_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-29414-3
Online ISBN: 978-3-031-29415-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)