Skip to main content
Log in

Learning from Simple Indicative Conditionals

  • Original Article
  • Published:
Erkenntnis Aims and scope Submit manuscript

Abstract

An agent who receives information in the form of an indicative conditional statement and who trusts her source will modify her credences to bring them in line with the conditional. I will argue that the agent, upon the acquisition of such information, should, in general, expand her prior credence function to an indeterminate posterior one; that is, to a set of credence functions. Two different ways the agent might interpret the conditional will be presented, and the properties of the resulting indeterminate posteriors compared. The cause of the expansion from a single prior credence function to a set of credence functions forming the indeterminate posterior one will be explained. The expansion undermines the Bayesian dogma that the result of assimilating new information into a determinate prior credence functions is always a determinate posterior one.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1

Similar content being viewed by others

Notes

  1. This is intended to be an informal statement of what it means to learn something. I will not attempt to defend this definition in any way other than by stating that it, or something like it, is intuitively obvious.

  2. I am ignoring an important distinction here: if an agent is sure of some proposition, her credence in that proposition equals 1, but the opposite need not be true. When drawing a number from an infinite lottery, for example, the credence one has in drawing any particular number is 0, but that does not imply one should consider it impossible that that number will be drawn. The distinction is important only in Belief states with an infinite number of propositions, and it does not affect what I will say here about learning from conditionals.

  3. “¬” indicates negation, “\( \wedge \)” conjunction and “\( \vee \)” disjunction.

  4. I will treat the conclusion that, after acceptance of an indicative conditional, B cannot be false when A is true as uncontroversial. See also Edgington (1995 2.3) or Bennett (2003 p. 21).

  5. He does not explicitly state that his goal is a determinate posterior credence function, but it is clear from his article that he considers a complete theory of updating on simple indicative conditionals to be one that produces a determinate posterior Belief state.

  6. The logical symbol “\( \wedge \)” corresponds to the set-theoretic symbol “∩” for intersection. Logical negation corresponds to taking the complement, indicated by a superscript c added to the name of the complemented set. Consequently, the proposition A\( \wedge \neg \)B corresponds to the set A∩Bc.

  7. For example, it may contain worlds in which Unicorns exist. Their existence does not affect the truth of the indicative conditional, but makes that world epistemically impossible for Peter.

  8. The set theoretic version of the material conditional is Ac∪B.

  9. It is a general result that, if p indicates a credence function, p(A) ≥ p(A|\( \neg \)A\( \vee \)B) for any A and B. Equality occurs only if p(A) = 1 (Popper and Miller 1983).

  10. Strictly speaking, E cannot be as small as A∩B because Cr(\( \neg \)A) is not 0, but no harm is done by assuming that it can be that small.

  11. This implication does not exist in Stalnaker's first exposition of his theory (Stalnaker 1968), but becomes prominent in his specific application to indicative conditionals (Stalnaker 1975) where he introduces the requirement that f(P, w) is epistemically possible if w is. I will describe this implication in more detail in Sect. 3.1.

  12. Cr(B|A) ≈ 1 implies that Cr(¬B\( \wedge \)A) ≈ 0. Hence, Cr(¬(¬B\( \wedge \)A))  = Cr(\( \neg \)A\( \vee \)B) ≈ 1.

  13. See footnote 4.

  14. Water the aspidistras, according to Edgington (1995). In this case, A is “the butler did not do it”, and B “the gardener did it”.

  15. Neither, in fact does Adams', for Cr(\( \neg \)A\( \wedge \)B) = 1 − εCr(A) if Cr(B|A) = 1 − ε.

  16. I do not argue that all indicative conditionals should be interpreted that way. If someone tells me “if you drop that glass it will break”, I do interpret it as “if I drop this glass it will break and if I don't drop it it still would break if, counterfactually, I did drop it”.

  17. The case of Cr(¬B|A) being comparable to or less than ε is conceptually complex because it raises the question of what an agent should do when she is told a statement that, on Adams' account, she already agrees with. Furthermore, it is not clear how the agent should decide that she is in this position because the utterance of the statement does not tell her what ∈ is, other than that it is small in the opinion of the utterer. I will simply assume that Cr(\( \neg B|A \)) is not small by the agent's own light.

  18. This result leads, after inserting the expressions for u and v, to the same result as reported in (Huisman 2015).

References

  • Adams, E. (1975). The logic of conditionals. D. Reidel Publishing Company: Dordrecht.

  • Bennett, J. (2003). A philosophical guide to conditionals. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Bradley, R. (2002). Indicative conditionals. Erkenntnis, 56, 345–378.

    Article  Google Scholar 

  • Bradley, S., & Steele, K. (2014). Uncertainty, learning and the ‘problem’ of dilation. Erkenntnis, 79, 1287–1303.

    Article  Google Scholar 

  • Davis, W. (2013). Implicature. In E. N. Zalta (Ed.), Stanford encyclopedia of philosophy (Spring 2013 Edition). http://plato.stanford.edu/archives/spr2013/entries/implicature/.

  • Diaconis, P., & Zabell, S. L. (1982). Updating subjective probability. Journal of the American Statistical Association, 77, 822–830.

    Article  Google Scholar 

  • Douven, I. (2012). Learning conditional information. Mind and Language, 27, 239–263.

    Article  Google Scholar 

  • Edgington, D. (1991). Do conditionals have truth conditions? In F. Jackson (Ed.), Conditionals (pp. 176–201). Oxford: Oxford University Press.

    Google Scholar 

  • Edgington, D. (1995). On conditionals. Mind, 414, 235–329.

    Article  Google Scholar 

  • Grice, H. P. (Ed.), (1975). Indicative conditionals. In Studies in the way of words (pp. 58–85). Cambridge: Harvard University Press.

  • Huddleston, R., & Pullum, G. K. (2005). A student’s introduction to English grammar. Cambridge: University Press.

    Book  Google Scholar 

  • Huisman, L. (2015). On indeterminate updating of credences. Philosophy of Science, 81, 537–557.

    Article  Google Scholar 

  • Jeffrey, R. C. (1983). The logic of decision (2nd ed.). Chicago: University of Chicago Press.

    Google Scholar 

  • Levi, I. (1974). On indeterminate probabilities. The Journal of Philosophy, 71, 391–418.

    Article  Google Scholar 

  • Popper, K. R., & Miller, D. (1983). A proof of the impossibility of inductive probability. Nature, 302, 687–688.

    Article  Google Scholar 

  • Seidenfeld, T., & Wasserman, L. (1993). Dilation for sets of probabilities. The Annals of Statistics, 21, 1139–1154.

    Article  Google Scholar 

  • Stalnaker, R. C. (1968). A theory of conditionals. In Studies in Logical Theory, American Philosophical Quarterly Monograph Series, 2, 98–112, reprinted in Harper et al. (1981). Ifs, Dordrecht, Reidel.

  • Stalnaker, R. (1975). Indicative conditionals. Philosophia, 5, 269–286.

    Article  Google Scholar 

  • Stalnaker, R. (1984). Inquiry. Cambridge, MA: MIT Press.

    Google Scholar 

  • Stalnaker, R. (2011). Conditional propositions and conditional assertions. In A. Egan & B. Weatherson (Eds.), Epistemic modality. Oxford: Oxford University Press.

    Google Scholar 

  • White, R. (2010). Evidential symmetry and mushy credence. Oxford Studies in Epistemology, 3, 161–186.

    Google Scholar 

Download references

Acknowledgments

This article has benefitted greatly from several discussions with Stefan Lukits.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Leendert M. Huisman.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Huisman, L.M. Learning from Simple Indicative Conditionals. Erkenn 82, 583–601 (2017). https://doi.org/10.1007/s10670-016-9833-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10670-016-9833-7

Keywords

Navigation