In this paper we describe recent developments in the study of abduction and induction and their role in scientific modelling and knowledge formation. We present a central challenge that is emerging from this study, namely the problem of formulating and characterizing the boundaries of incompleteness for proving the ``reverse truth" that these two forms of reasoning provide. This challenge can have important implications in many fields, from the practice of Artificial intelligence and Machine Learning to scientific theory development in areas such as Systems Biology and Cognitive Science.
|Translated title of the contribution||Abduction, Induction, and the Logic of Scientific Knowledge Development|
|Title of host publication||Goedel Centenary 2006|
|Publisher||Kurt Goedel Society|
|Publication status||Published - 2006|
Bibliographical noteOther page information: -
Conference Proceedings/Title of Journal: Goedel Centenary 2006
Other identifier: 2000631