Abstract
Earlier chapters deal with abductive inferences to explanations which are deductive or inductive-probabilistic. This more or less standard account has so far ignored the fact that explanatory and predictive success in science is often approximate. Therefore, the analysis of abduction should cover also approximate explanations, which is illustrated by Newton’s explanation of Kepler’s harmonic law (Sect. 8.1). The notions of approximate truth (closeness to being true), verisimilitude (closeness to complete qualitative or quantitative truth) and legisimilitude (closeness to the true law) are defined in Sect. 8.2. This leads us to generalize Peirce’s model of abduction to cases where the conclusion states that the best theory is truthlike or approximately true, with illustrations from idealized theories and models (Sect. 8.3). In a comparative formulation, if theory Y is a better explanation of the available evidence E than theory X, then conclude for the time being that Y is more truthlike than X. To justify such abduction, we need a method of estimating degrees of truthlikeness by their expected values. Another tool is the notion of probable approximate truth. Then, in order to answer to Laudan’s challenge, the probabilistic link between empirical success and truth has to be replaced with a fallible bridge from the approximate empirical success of a theory to its truthlikeness (Sect. 8.4). Section 8.5 gives some remarks on abductive belief revision, which is related to cases where the evidence is conflict with the theory. This theme extends Aliseda’s way of linking belief revision models with abductive reasoning.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Sloughter (1996) argues that plausibility in Peirce’s probabilistic abduction (see e.g. (1.9)) can be measured by the significance level in R. A. Fisher’s theory of statistics. Significance level tells how unlikely the evidence must be for the null hypothesis to be rejected, so that in a sense the improbability of data given a null hypothesis measures their discrepancy. This idea is related to the likelihood principle (7.3). But Slaughter does not discuss the controversial aspects of Fisher’s “fiducial” inference, which attempts to reach something like doxastic probabilities without Bayesian priors.
- 2.
- 3.
Rott (1989) compares several ways of analyzing approximations and idealizations in the Kepler-Newton case .
- 4.
For details, see Niiniluoto (1987), Ch. 11.
- 5.
Alternatively the target could be the true state description in a monadic language L, where a state description specifies which Q-predicate each individual in L satisfies. All sentences of L have a normal form as a disjunction of state descriptions. For the treatment of truthlikeness of singular statements along these lines, see Niiniluoto (1987), Ch. 8.
- 6.
This measure can be applied also to nomic monadic constituents , which claim that some Q-predicates are physically possible and some physically impossible. In the definition of legisimilitude , it is natural to take the true nomic constituent as the target. This is in harmony with the modal treatment of quantitative laws which express the physically possible combinations of quantitative properties (see Niiniluoto 1987, 95, 112). The theories of Kuipers (2000) can be interpreted as nomic constituents (see Niiniluoto 1987, 381).
- 7.
- 8.
Rowbottom (2015) argues that scientific progress is possible in the absence of increasing verisimilitude . He asks us to imagine that the scientists in a specific area of physics have found the maximally verisimilar theory C*. Then it may seem that no more progress is possible, but yet this general true theory could be used for further predictions and applications. One reply to this argument is that predictions from C* constitute new cognitive problems for the scientists. Moreover, on the basis of conceptual pluralism , in Rowbottom’s thought experiment it would still be possible for the physicists to achieve further progress by extending their conceptual framework and replacing the target C* with a stronger truth in order to find a still deeper truths about their research domain.
- 9.
Chang Liu (1999) has made the pertinent observation that this treatment of singular approximation is “flat” in the sense that it assumes a global metric in a uniform state space Q and thus does take into account the influence of true laws on the structure of Q. For example, a claim that the velocity of light slightly exceeds the value 300.000 km/s cannot be approximately true, since it is physically impossible by the theory of relativity. As a possible reply, one could argue that the state space Q should be a neutral framework for comparing various kinds of hypotheses independently of assumed background knowledge. As false hypotheses can be truthlike, why could not physically impossible claims be approximately true? Perhaps a more interesting line of thought is suggested by Liu’s another remark: if e.g. a linear law L is assumed to hold in R2, the singular truth x* is a point on L, and the hypothesis y lies outside L, then the distance of y from x* should depend also on its closeness to L. This idea would allow that physical possibilities influence the metric structure of the state space in the same way as the distribution of masses generate non-Euclidean geometries of physical space in relativity theory. In Liu’s example, the circles of Euclidean metrics around the point x* would be replaced by ellipses with L as its major axis.
- 10.
Cf. the discussion of approximate predictions in Niiniluoto (1999a), 195–196.
- 11.
In this case, the better theory has larger expected predictive success, if the values of argument x are chosen randomly. Cf. the Expected Success principle in Kuipers (2000) , 310.
- 12.
This reformulation allows us to re-evaluate Duhem’s and Popper’s criticism of induction: Newton’s laws are not derived from Kepler’s laws by induction but by the modified model of abduction.
- 13.
- 14.
Twelve volumes on idealization have appeared in the book series Poznan Studies in the Philosophy of Science between 1990 and 2005.
- 15.
Independently of my proposal, originally presented in 1983, Michael Shaffer has treated idealization statements as counterfactuals. See Shaffer (2007).
- 16.
Idealized theories are sometimes called “models”, so that one may consider explanation by idealized models. (Magnani and Bertolotti (2017) includes several survey articles on models and modeling.) Such models may be either sets of mathematical equations or structures which are interpretations of theoretical statements. In the latter sense, models may be compared to real systems by similarity metrics which are special cases of truthlikeness measures. For example, Weisberg (2013) uses the same method of “feature matching” as Cevolani et al. (2013) . Cf. also Niiniluoto (1987), 335–338.
- 17.
- 18.
See the survey in Niiniluoto (2018).
- 19.
- 20.
In Sect. 9.2 we shall return to a specific form of downward inference, the no miracle argument for the success of science.
- 21.
The standard Bayesian trick to allow that P(E/H) > 0 is to add to regression models H a random error with a Gaussian probability distribution (cf. (4.5)). See Bandyopadhyay and Boik (1999) .
- 22.
The function PA can be used to explicate the notion of “probable approximate correct” or PAC-learning in machine learning (see Niiniluoto 2005b).
- 23.
Our reply is thus different from Abner Shimony’s (1970) “tempered personalism”, which argues that all “seriously proposed” hypotheses should have non-zero probabilities.
- 24.
Zamora Bonilla’s (1996) alternative solution is to measure directly the distance between a theory and empirical laws, so that for such evidence-relative notion of truthlikenesss he does not need the objective notions of truth and truthlikeness at all. Schippers (2015) develops a “two-sided” coherence measure (cf. Sect. 6.4) for the distance between theory and evidence .
- 25.
Popper’s proposal of interpreting his degrees of corroboration - variants of the relevance measures of confirmation (see Sect. 6.2) – as indicators of verisimilitude (see Popper 1972, 103) fails precisely on this point, since such degrees have the value zero as soon as the hypothesis is falsified by evidence.
- 26.
Such approximate steps may occur in inter-theoretic reduction, so that their probabilistic analysis should be complemented by the notion of PA. See e.g. the notion of “analogy ” in Dizadji-Bahmani et al. (2011) .
- 27.
The Bayesian decision method of point and interval estimation by minimizing expected loss can be reinterpreted in terms of maximizing expected truthlikeness , but then the sum (25) has to be replaced by an integral (see Niiniluoto 1987, 426–441).
- 28.
Similar arguments can be applied to existential-universal generalizations which make some positive claims and some negative claims about the Q-predicates , but may leave some Q-predicates with question marks (see Niiniluoto 1987, 337; 2005a, 269). Such statements, which include constituents as a special case, are called c-theories by Cevolani et al. (2013) .
- 29.
The convergence results (36) and (37) can be relativized to a true background theory B, so that ver(H/E&B) converges to the truth given ES and B, but as fallibilists we cannot be completely certain that B is true.
- 30.
Connections between theoretical and observational predicates have been called “reduction sentences” (Carnap), “rules of correspondence” (Nagel) , and “bridge principles” (Hempel) (see Niiniluoto 1999a, 112). For example, in Wilson’s cloud chamber a curved trail of ionized gas particles is a manifestation of the negative electric charge of an electron.
- 31.
This definition of contraction uses an idea proposed by Adam Grove .
- 32.
However, Isaac Levi’s work on belief revision is based on his treatment of truth and information as epistemic utilities (see Sect. 7.1), but Levi explicitly denies the relevance of truthlikeness considerations.
- 33.
- 34.
See papers in the special issue “Belief Revision Aiming at Truth Approximation” of Erkenntnis 75:3 (2011). See also Cevolani et al. (2013).
Bibliography
Aliseda, A. (2006). Abductive reasoning: Logical investigations into discovery and explanation. Dordrecht: Springer.
Bandyopadhyay, P. S., & Boik, R. J. (1999). The curve fitting problem: A Bayesian rejoinder. Philosophy of Science (Proceedings), 66, S390–S402.
Batterman, R. W. (2002). The devil in the details: Asymptotic reasoning in explanation, reduction, and emergence. Oxford: Oxford University Press.
Batterman, R. W., & Rice, C. (2014). Minimal model explanations. Philosophy of Science, 81, 349–376.
Cevolani, G. (2013). Truth approximation via abductive belief change. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzt010.
Cevolani, G., Festa, R., & Kuipers, T. (2013). Verisimilitude and belief change for nomic conjunctive theories. Synthese, 190, 3307–3324.
Cohen, L. J. (1980). What has science to do with truth? Synthese, 45, 489–510.
D’Alfonso, S. (2011). Supplementing belief revision for the aim of truthlikeness. The Reasoner, 5, 143–145.
de Donato Rodriguez, X. (2007). Idealization, abduction, and progressive scientific change. Theoria: An International Journal for Theory, History and Foundations of Science, 22, 331–338.
Dizadji-Bahmani, F., Frigg, R., & Hartmann, S. (2011). Confirmation and reduction: A Bayesian account. Synthese, 179, 321–338.
Duhem, P. (1954). The aim and structure of physical theory. Princeton: Princeton University Press.
Festa, R. (1999). Bayesian confirmation. In M. Galavotti & A. Pagnini (Eds.), Experience, reality, and scientific explanation (pp. 55–87). Dordrecht: Kluwer.
Frigg, R., Bradley, S., Machete, R., & Smith, L. (2013). Probabilistic forecasting: Why model imperfection is a poison pill. In H. Andersen et al. (Eds.), New challenges to philosophy of science (pp. 479–491). Dordrecht: Springer.
Gärdenfors, P. (1988). Knowledge in flux: Modelling the dynamics of epistemic states. Cambridge, MA: MIT Press.
Hacking, I. (1983). Representing and intervening. Cambridge: Cambridge University Press.
Hansson, S. O. (1999). A textbook of belief dynamics. Dordrecht: Kluwer.
Hempel, C. G. (1965). Aspects of scientific explanation. New York: The Free Press.
Kuipers, T. (1999). Abduction aiming at empirical progress or even truth approximation leading to a challenge for computational modelling. Foundations of Science, 4, 307–323.
Kuipers, T. (2000). From instrumentalism to constructive realism: On some relations between confirmation, empirical progress, and truth approximation. Dordrecht: Kluwer.
Kuipers, T. (2009). Comparative realism as the best response to antirealism. In C. Glymour et al. (eds.), Logic, methodology, and philosophy of science 13 (pp. 221-250). London: King's College.
Kuipers, T. (2014). Empirical progress and nomic truth approximation revisited. Studies in History and Philosophy of Science, 46, 64–72.
Laudan, L. (1984). Science and values: The aims of science and their role in scientific debate. Berkeley: University of California Press.
Leplin, J. (2004). A theory’s predictive success can warrant belief in the unobservable entities it postulates. In C. Hitchcock (Ed.), Contemporary debates in philosophy of science (pp. 117–132). Oxford: Blackwell.
Levi, I. (1967). Gambling with truth. New York: Alfred A. Knopf.
Liu, C. (1999). Approximation, idealization, and laws of nature. Synthese, 118, 229–256.
Magnani, L., & Bertolotti, T. (Eds.). (2017). Springer handbook of model-based science. Dordrecht: Springer.
McMullin, E. (1985). Galilean idealization. Studies in History and Philosophy of Science Part A, 16 (3), 247-273
Merritt, D. (2017). Cosmology and convention. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 57, 41-52
Mill, J. S. (1843). A system of logic: Ratiocinative and inductive. London: John W. Parker.
Morrison, M. (2000). Unifying scientific theories: Physical concepts and mathematical structures. Cambridge: Cambridge University Press.
Niiniluoto, I. (1984). Is science progressive? Dordrecht: D. Reidel.
Niiniluoto, I. (1987). Truthlikeness. Dordrecht: D. Reidel.
Niiniluoto, I. (1990a). Measuring the success of science. In A. Fine, M. Forbes, & L. Wessels (Eds.), PSA 1990 (Vol. 1, pp. 435–445). East Lansing: Philosophy of Science Association.
Niiniluoto, I. (1990b). Theories, approximations, idealizations. In J. Brzezinski et al. (Eds.), Idealization I: General problems (pp. 9–57). Amsterdam: Rodopi.
Niiniluoto, I. (1998). Verisimilitude: The third period. The British Journal for the Philosophy of Science, 49, 1–29.
Niiniluoto, I. (1999a). Critical scientific realism. Oxford: Oxford University Press.
Niiniluoto, I. (1999b). Defending abduction. Philosophy of Science (Proceedings), 66, S436–S451.
Niiniluoto, I. (2005a). Abduction and truthlikeness. In R. Festa, A. Aliseda, & J. Peijnenburg (Eds.), Confirmation, empirical progress, and truth-approximation (pp. 255–275). Amsterdam: Rodopi.
Niiniluoto, I. (2005b). Inductive logic, verisimilitude, and machine learning. In P. Hajek, L. Valdés-Villanueva, & D. Westerståhl (Eds.), Logic, Methodology and philosophy of science: Proceedings of the twelfth international congress (pp. 295–314). London: College Publications.
Niiniluoto, I. (2011b). Revising beliefs towards the truth. Erkenntnis, 75, 165–181.
Niiniluoto, I. (2014b). Approximation of laws. In G. Guo & C. Liu (Eds.), Scientific explanation and methodology of science (pp. 148–155). Singapore: World Scientific.
Niiniluoto, I. (2017). Optimistic realism about scientific progress. Synthese, 194, 3291–3309.
Niiniluoto, I. (2018). Explanation by idealized theories. Kairos. Journal of Philosophy & Science, 20, 43-63.
Niiniluoto, I., & Tuomela, R. (1973). Theoretical concepts and hypothetico-inductive inference. Dordrecht: D. Reidel.
Nowak, L. (1980). The structure of idealization. Dordrecht: D. Reidel.
Oddie, G. (1986). Likeness to truth. Dordrecht: D. Reidel.
Popper, K. R. (1963). Conjectures and refutations. London: Hutchinson.
Popper, K. R. (1972). Objective knowledge: An evolutionary approach. Oxford: Oxford University Press. (Revised edition 1979).
Roos, T., & Heikkilä, T. (2009). Evaluating methods for computer-assisted stemmatology using artificial benchmark data sets. Literary and Linguistic Computing, 24, 417–433. https://doi.org/10.1093/llc/fqp002.
Rott, H. (1989). Approximation versus idealization: The Kepler-Newton case. In J. Brzezinski et al. (Eds.), Idealization II: Forms and applications (pp. 101–124). Amsterdam: Rodopi.
Rowbottom, D. (2015). Scientific progress without increasing verisimilitude: In response to Niiniluoto. Studies in History and Philosophy of Science, 51, 100–104.
Shaffer, M. (2007). Idealization, counterfactuals, and the correspondence principle. In J. Brzezinski et al. (Eds.), The courage of doing philosophy: Essays presented to Leszek Nowak (pp. 179–204). Amsterdam: Rodopi.
Shimony, A. (1970). Scientific inference. In R. G. Colodny (ed.), The nature and function of scientific theories (pp. 79-172). Pittsburgh: University of Pittsburgh Press.
Schippers, M. (2015). Coherence and (likeness to) truth. In U. Mäki et al. (Eds.), Recent Developments in the Philosophy of Science: EPSA13 in Helsinki (pp. 3–16). Cham: Springer.
Schurz, G. (2011b). Abductive belief revision. In E. Olsson & S. Enqvist (Eds.), Belief revision meets philosophy of science (pp. 77–104). New York: Springer.
Sloughter, D. C. (1996). Peirce and Fisher on the place of probability in abductive inference. Philosophia Scientiae, 1, 133–142.
Stanford, P. K. (2006). Exceeding our grasp: Science, history, and the problem of unconceived alternatives. Oxford: Oxford University Press.
Suppes, P. (1962). Models of data. In E. Nagel et al. (Eds.), Logic, methodology and philosophy of science: Proceedings of the 1960 international congress (pp. 252–261). Stanford: Stanford University Press.
Tuomela, R. (1973). Theoretical concepts. Berlin: Springer-Verlag.
van Fraassen, B. (1989). Laws and symmetry. Oxford: Oxford University Press.
Wayne, A. (2011). Expanding the scope of explanatory idealization. Philosophy of Science, 78 (5), 830-841.
Weisberg, M. (2013). Getting serious about similarity. Philosophy of Science, 79, 785–794.
Zamora Bonilla, J. P. (1996). Truthlikeness without truth: A methodological approach. Synthese, 93, 343–372.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Niiniluoto, I. (2018). Abduction and Truthlikeness. In: Truth-Seeking by Abduction. Synthese Library, vol 400. Springer, Cham. https://doi.org/10.1007/978-3-319-99157-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-99157-3_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99156-6
Online ISBN: 978-3-319-99157-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)