Abduction aiming at empirical progress or even truth approximation leading to a challenge for computational modelling

Foundations of Science

Volumn 4, Issue 3, 1999, Pages 325-336

  Kuipers, Theo A F ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Abduction; Empirical progress; Truth approximation; Truthlikeness

Indexed keywords

EID: 53149114533     PISSN: 12331821     EISSN: 15728471     Source Type: Journal    
DOI: 10.1023/a:1009680025897     Document Type: Article

References (20)

1. A. Aliseda: 1997, Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. Dissertation Stanford, ILLC Dissertations Series (1997-04), Amsterdam.
2. H. Andersen: to appear, Unexpected Discoveries, Graded Structures, and the Difference between Acceptance and Neglection. In J. Meheus and T. Nickles (eds.), Scientific Discovery and Creativity. Kluwer, Dordrecht.
3. A. van den Bosch: 1999, Qualitative Drug Lead Discovery. Foundations of Science 4(4) (to appear).
4. L. Darden: 1991, Theory Change in Science: Strategies from Mendelian Genetics. Oxford UP, Oxford.
5. K. Forbus: 1984, Qualitative Process Theory. Artificial Intelligence 24: 85-186.
6. P. Gärdenfors: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA.
7. K. Gemes: 1994, A New Theory of Content. Journal of Philosophical Logic 23: 596-620.
8. K. Konolige: 1990, A General Theory of Abduction. In Automated Abduction, Working Notes. Spring Symposium Series of the AAA. Stanford University, Stanford, pp. 62-66.
9. K. Konolige: 1996, Abductive Theories in Artificial Intelligence. In G. Brewka (ed.), Principles of Knowledge Representations. CSLI Publications. Stanford University, Stanford.
10. T. Kuipers: 1993, On the Architecture of Computational Theory Selection. In R. Casati and G. White (eds.), Philosophy and the Cognitive Sciences. Austrian Ludwig Wittgenstein Society, Kirchberg, pp. 271-278.
11. T. Kuipers: 1997, The Dual Foundation of Qualitative Truth Approximation. Erkenntnis 47.2: 145-179.
12. T. Kuipers: 1999, From Instrumentalism to Constructive Realism. On some Relations between Confirmation, Empirical Progress and Truth Approximation. Manuscript, to appear in 2000 in the Synthese Library, Kluwer, Dordrecht.
13. T. Kuipers, R. Vos and H. Sie: 1992, Design Research Programs and the Logic of their Development. Erkenntnis 37.1: 37-63.
14. I. Lakatos: 1976, Proofs and Refutations. Cambridge University Press, Cambridge.
15. M. Mayer and F. Pirri: 1993, First Order Abduction via Tableau and Sequent Calculi. Bulletin of the IGPL 1: 99-117.
16. J. McAllister: 1996, Beauty and Revolution in Science. Cornell UP, Ithaca.
17. F. Pirri: 1995, Abduction. PhD Dissertation, Université de Paris VI, Pierre et Marie Curie, Paris.
18. J. Shrager and P. Langley (eds.): 1990, Computational Models of Scientific Discovery and Theory Formation. Kaufmann, San Mateo.
19. P. Thagard: 1988, Computational Philosophy of Science. MIT Press, Cambridge.
20. S. Zwart: 1988, Approach to the Truth. Verisimilitude and Truthlikeness. Dissertation Groningen, ILLC Dissertations Series (1998-02), Amsterdam. A revised version will appear in the Synthese Library of Kluwer AP, Dordrecht.