Abduction, Induction, and the Logic of Scientific Knowledge Development

Peter Flach, Kakas Antonis

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)


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 contributionAbduction, Induction, and the Logic of Scientific Knowledge Development
Original languageEnglish
Title of host publicationGoedel Centenary 2006
PublisherKurt Goedel Society
Publication statusPublished - 2006

Bibliographical note

Other page information: -
Conference Proceedings/Title of Journal: Goedel Centenary 2006
Other identifier: 2000631


Dive into the research topics of 'Abduction, Induction, and the Logic of Scientific Knowledge Development'. Together they form a unique fingerprint.

Cite this