Skip to main content
Log in

Verisimilitude and Belief Revision. With a Focus on the Relevant Element Account

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

Abstract

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

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. A finite Lewis sphere model is a sequence SL = (Si: 0 ≤ i ≤ n) of subsets of possible worlds, called spheres Si, which satisfy the nesting condition S0 \( \subseteq \) S1 \( \subseteq \) S2 \( \subseteq \)…etc. SL is centered iff S0 = {w*}, where w* is the actual world (cf. Lewis 1973; note that for infinite Lewis' sphere models one has to require closure under infinite union and intersection of spheres).

  2. This fact is intuitively clear; a proof of it is found in lemma 5 of Schurz and Weingartner (2010).

  3. Note that the concept of a “completely false theory” cannot be applied to Popper’s account which identifies conjunctive parts with arbitrary consequences, because every theory A has some true consequences (e.g., a ∨ truth, for all a ∈ A).

  4. In Schurz and Weingartner (2010) this result is taken to show that Zwart and Franssen's impossibility result in (2007) does not apply to the relevant elements account.

  5. If contractions are applied to sets of relevant elements, forming intersections of equally best maxichoice contractions is not sufficient, because it is not guaranteed that the disjunction of two sentences in which two maxichoice contractions of Ar by \( \neg \)e disagree is in the intersection (while this is guaranteed if maxichoice contractions are applied to deductively closed sets). One would rather have to add disjunctions to those intersections. For example, assume Ar = {\( \neg \)p1, \( \neg \)p2, p3}, e = p1∨p2, then two possible maxichoice contractions are (Ar\\( \neg \)e)1 = {\( \neg \)p1, p3} and (Ar\\( \neg \)e)2 = {\( \neg \)p2, p3}, and their disjunction would be {\( \neg \)p1\( \neg \)p2, p3}. More generally, we define the maxichoice-disjunction-operation applied to a maxichoice contraction (Ar\\( \neg \)e)1 as follows: identify some element a1 which is in (Ar\\( \neg \)e)1 but not in some other maxichoice contraction (Ar\\( \neg \)e)2 and some element a2 which is in (Ar\\( \neg \)e)2 but not in (Ar\\( \neg \)e)1, and replace a1 in (Ar\\( \neg \)e)1 by the disjunction a1∨a2 (under the proviso that a1∨a2 is still relevant in the so replaced set; otherwise simply omit a1 from the set). Every set of relevant elements which can be obtained from an iterative application of maxichoice-disjunction-operations to a maxichoice contraction of Ar by \( \neg \)e is called a disjunctive maxichoice contraction. The extended version of def. (13) would then (in a first attempt) run as follows:

    (13*) (A − \( \neg \)e) : = Cn(Ar\\( \neg \)e), where Ar\\( \neg \)e is a simple or disjunctive maxichoice contraction of Ar by \( \neg \)e.

References

  • Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change. Journal of Symbolic Logic, 50, 510–530.

    Article  Google Scholar 

  • Cevolani, G., & Festa, R. (2009). Scientific change, belief dynamics and truth approximation. La Nuova Critica, 51(52), 27–59.

    Google Scholar 

  • Cevolani, G., Crupi, V., & Festa, R. (2010). Verisimilitude and belief change for conjunctive theories. In this volume.

  • Gärdenfors, P. (1988). Knowledge in flux. Cambridge: MIT Press.

    Google Scholar 

  • Gemes, K. (2007). Verisimilitude and content. Synthese, 154l, 293–306.

    Article  Google Scholar 

  • Grove, A. (1988). Two modelling for theory change. Journal of Philosophical Logic, 17, 157–170.

    Article  Google Scholar 

  • Hansson, S. O. (1999). A textbook of belief dynamics. Dordrecht: Kluwer.

    Google Scholar 

  • Hilpinen, R. (1976). Approximate truth and truthlikeness. In M. Przelecki, et al. (Eds.), Formal methods in the methodology of empirical sciences (pp. 19–42). Dordrecht: Reidel.

    Google Scholar 

  • Kuipers, T. A. F. (1982). Approaches to descriptive and theoretical truth. Erkenntnis, 18, 343–378.

    Article  Google Scholar 

  • Kuipers, T. A. F. (2000). From instrumentalism to constructive realism. Dordrecht: Kluwer.

    Google Scholar 

  • Levi, I. (1991). The fixation of belief and its undoing. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Lewis, D. (1973). Counterfactuals. Oxford: B. Blackwell.

    Google Scholar 

  • Miller, D. (1974). Popper’s qualitative theory of verisimilitude. British Journal for the Philosophy of Science, 25, 166–177.

    Article  Google Scholar 

  • Miller, D. (1978). On the distance from the truth as a true distance. In J. Hintikka, et al. (Eds.), Essays on mathematical and philosophical logic (pp. 166–177). Dordrecht: Reidel.

    Google Scholar 

  • Mott, P. (1978). Verisimilitude by means of short theorems. Synthese, 38, 247–273.

    Article  Google Scholar 

  • Niiniluoto, I. (1987). Truthlikeness. Dordrecht: Reidel.

    Book  Google Scholar 

  • Niiniluoto, I. (1999). Belief revision and truthlikeness. In B. Hansson et al. (Eds.) Internet Festschrift for Peter Gärdenfors. Retrieved February 20, 2009, from http://www.lucs.lu.se/spinning.

  • Oddie, G. (1981). Verisimilitude reviewed. British Journal for the Philosophy of Science, 32, 237–265.

    Article  Google Scholar 

  • Popper, K. (1963). Conjectures and refutations. London: Routledge.

    Google Scholar 

  • Schurz, G. (1991). Relevant deduction. Erkenntnis, 35, 391–437.

    Google Scholar 

  • Schurz, G. (2005). Kuipers’ account to H-D confirmation and truthlikeness. In R. Festa, A. Aliseda, & J. Peijnenburg (Eds.), Confirmation, empirical progress, and truth approximation (pp. 141–159). Amsterdam: Rodopi.

    Google Scholar 

  • Schurz, G. (2010). Abductive belief revision. In E. Olsson & S. Enqvist (Eds.), Belief revision meets philosophy of science. NY: Springer.

    Google Scholar 

  • Schurz, G., & Weingartner, P. (1987). Verisimilitude defined by relevant consequence-elements. In T. A. Kuipers (Ed.), What is closer-to-the-truth? (pp. 47–78). Amsterdam: Rodopi.

    Google Scholar 

  • Schurz, G., & Weingartner, P. (2010). Zwart and Franssen’s impossibility theorem holds for possible-world-accounts but not for consequence-accounts to verisimilitude. Synthese, 172, 415–436.

    Article  Google Scholar 

  • Tichý, P. (1974). On Popper’s definition of verisimilitude. The British Journal for the Philosophy of Science, 27, 25–42.

    Article  Google Scholar 

  • Tichý, P. (1976). Verisimilitude redefined. British Journal for the Philosophy of Science, 27, 25–42.

    Article  Google Scholar 

  • Zwart, S. D., & Franssen, M. (2007). An impossibility theorem for verisimilitude. Synthese, 158, 75–92.

    Article  Google Scholar 

Download references

Acknowledgments

For valuable help I am indepted to Theo Kuipers, Erik Olsson, Graham Oddie, Roberto Festa and Gustavo Cevolani.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gerhard Schurz.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schurz, G. Verisimilitude and Belief Revision. With a Focus on the Relevant Element Account. Erkenn 75, 203–221 (2011). https://doi.org/10.1007/s10670-011-9291-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10670-011-9291-1

Keywords

Navigation