

Author: Alai Mario
Publisher: Springer Publishing Company
ISSN: 0924-6495
Source: Minds and Machines, Vol.14, Iss.1, 2004-02, pp. : 21-42
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Epistemologists have debated at length whether scientific discovery is a rational and logical process. If it is, according to the Artificial Intelligence hypothesis, it should be possible to write computer programs able to discover laws or theories; and if such programs were written, this would definitely prove the existence of a logic of discovery. Attempts in this direction, however, have been unsuccessful: the programs written by Simon’s group, indeed, infer famous laws of physics and chemistry; but having found no new law, they cannot properly be considered discovery machines. The programs written in the ‘Turing tradition’, instead, produced new and useful empirical generalization, but no theoretical discovery, thus failing to prove the logical character of the most significant kind of discoveries. A new cognitivist and connectionist approach by Holland, Holyoak, Nisbett and Thagard, looks more promising. Reflection on their proposals helps to understand the complex character of discovery processes, the abandonment of belief in the logic of discovery by logical positivists, and the necessity of a realist interpretation of scientific research.
Related content


Minds and Machines, Vol. 17, Iss. 1, 2007-03 ,pp. :


By Miller David Milstein Jacob Stein Cathryne
Autonomous Robots, Vol. 22, Iss. 4, 2007-05 ,pp. :


The 60th birthday of A.I. Kibzun
Automation and Remote Control, Vol. 72, Iss. 7, 2011-07 ,pp. :

