Abstract
This chapter primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as observational, referential and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The chapter concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It is plausible to add a fourth subtask, essentially alongside 2: search for a revision Y of X such that Y is closer to ‘the structural truth’ than X. However, so far we have not succeeded in making sense of this notion of truth, let alone of ‘closer to structural truth’.
- 2.
Note the return to the general symbolization in this section, where X may indicate an inclusion, an exclusion or a two-sided theory .
- 3.
- 4.
See Sect. 4.4.2.
- 5.
For a general survey of computational philosophy of science, see Chap. 11 of Kuipers (2000). It includes also an impression of Paul Thagard’s later quasi-connectionist approach to theory selection with the program ECHO (Thagard 1992). For a constructive critical evaluation, see also Vreeswijk (2005).
- 6.
- 7.
Meheus (2005), presents a more ambitious approach than Aliseda (below): “search the maximally successful hypotheses from the set of background assumptions ant the set of observational statements”.
- 8.
- 9.
See Chap. 9 for the way in which aesthetic considerations may be functional for empirical progress and truth approximation.
References
Aliseda, A. (1997). Seeking explanations: Abduction in logic, philosophy of science and artificial intelligence. Dissertation Stanford. Amsterdam: ILLC Dissertations Series (1997-04).
Aliseda, A. (2005). Lacunae, empirical progress, and semantic tableaux. In A. Aliseda, R. Festa, & J. Peijnenburg (Eds.), Confirmation, empirical progress and truth approximation. Essays in debate with Theo Kuipers (Vol. 1, pp. 169–189). Amsterdam: Rodopi (Reply by T. Kuipers, 190–192).
Aliseda, A. (2006). Abductive reasoning. Logical investigations into discovery and explanation. Synthese Library 330. Dordrecht: Springer (Extended and revised version of Aliseda, 1997).
Andersen, H. (2009). Unexpected discoveries, graded structures, and the difference between acceptance and neglect. In J. Meheus & T. Nickles (Eds.), Models of discovery and creativity (pp. 1–27). Dordrecht: Kluwer Academic Publishers.
Darden, L. (1991). Theory change in science: Strategies from Mendelian genetics. Oxford: Oxford University Press.
Forbus, K. (1984). Qualitative process theory. Artificial Intelligence, 24, 85–186.
Gärdenfors, P. (1988). Knowledge in flux: Modeling the dynamics of epistemic states. Cambridge: MIT Press.
Gemes, K. (1994). A new theory of content. Journal of Philosophical Logic, 23, 596–620.
Konolige, K. (1990). A general theory of abduction. In Automated abduction, Working notes. Spring symposium series of the AAA (pp. 62–66). Stanford: Stanford University.
Konolige, K. (1996). Abductive theories in artificial intelligence. In G. Brewka (Ed.), Principles of knowledge representations (pp. 129–152). Stanford: CSLI Publications, Stanford University.
Kuipers, T. (1993). On the architecture of computational theory selection. In R. Casati & G. White (Eds.), Philosophy and the cognitive sciences (pp. 271–278). Kirchberg: Austrian Ludwig Wittgenstein Society.
Kuipers, T. (2000). From instrumentalism to constructive realism. On some relations between confirmation, empirical progress, and truth approximation. Synthese Library 287. Dordrecht: Kluwer Academic Publishers.
Kuipers, T., Vos, R., & Sie, H. (1992). Design research programs and the logic of their development. Erkenntnis, 37(1), 37–63.
Lakatos, I. (1976). Proofs and refutations: the logic of mathematical discovery. Cambridge: Cambridge University Press.
Mayer, C., & Pirri, F. (1993). First order abduction via tableau and sequent calculi. Bulletin of the IGPL, 1, 99–117.
McAllister, J. (1996). Beauty and revolution in science. Ithaca: Cornell University Press.
Meheus, J. (2005). Empirical progress and ampliative abductive logics. In A. Aliseda, R. Festa, & J. Peijnenburg (Eds.), Confirmation, empirical progress and truth approximation. Essays in debate with Theo Kuipers (Vol. 1, pp. 193–217). Amsterdam: Rodopi (Reply by T. Kuipers, 218–220).
Pirri, F. (1995). Abduction. PhD Dissertation. Paris: Université de Paris VI, Pierre et Marie Curie.
Shrager, J., & Langley, P. (Eds.). (1990). Computational models of scientific discovery and theory formation. San Mateo: Kaufmann.
Thagard, P. (1988). Computational philosophy of science. Cambridge: MIT Press.
Thagard, P. (1992). Conceptual revolutions. Princeton: Princeton University Press.
van den Bosch, A. (1999). Inference to the best manipulation – A case study of qualitative reasoning. Foundations of Science, 4(4), 483–495.
van den Bosch, A. (2001). Rationality in discovery. Amsterdam: ILLC Publications.
van den Bosch, A.. (2005). Structures in neuropharmacology. In A. Aliseda, R. Festa, & J. Peijnenburg (Eds.), Cognitive structures in scientific inquiry. Essays in debate with Theo Kuipers (Vol. 2, pp. 343–359). Amsterdam: Rodopi (Reply by T. Kuipers, 360–364).
Vreeswijk, G. (2005). Direct connectionistic methods for scientific theory formation. In A. Aliseda, R. Festa, & J. Peijnenburg (Eds.), Cognitive structures in scientific inquiry. Essays in debate with Theo Kuipers (Vol. 2, pp. 375–403). Amsterdam: Rodopi (Reply by T. Kuipers, 404–406).
Zwart, S. (1998). Approach to the truth. Verisimilitude and truthlikeness. PhD-thesis. Amsterdam: ILLC.
Zwart, S. (2001). Refined verisimilitude. Synthese Library 307. Dordrecht: Kluwer Academic Publishers.
Author information
Authors and Affiliations
Additional information
Revised version of: "Abduction aiming at empirical progress or even at truth approximation, leading to challenge for computational modelling ", Scientific Discovery and Creativity, eds. J. Meheus , T. Nickles, special issue of Foundations of Science. Vol. 4.3, 1999, 307–23. Acknowledgements: I would like to thank Atocha Aliseda , Johan van Benthem , Alexander van den Bosch , Hidde de Jong and the editors for their helpful and interesting comments.
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kuipers, T.A.F. (2019). Abduction Aiming at Empirical Progress or Even Truth Approximation: A Challenge for Computational Modelling. In: Nomic Truth Approximation Revisited. Synthese Library, vol 399. Springer, Cham. https://doi.org/10.1007/978-3-319-98388-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-98388-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98387-5
Online ISBN: 978-3-319-98388-2
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)