Research on computational models of scientific discovery investigates both the induction of descriptive laws and the construction of explanatory models. Although the work in law discovery centers on knowledge‐lean approaches to searching a problem space, research on deeper modeling tasks emphasizes the pivotal role of domain knowledge. As an example, our own research on inductive process modeling uses information about candidate processes to explain why variables change over time. However, our experience with IPM, an artificial intelligence system that implements this (...) approach, suggests that process knowledge is insufficient to avoid consideration of implausible models. To this end, the discovery system needs additional knowledge that constrains the model structures. We report on an extended system, SC‐IPM, that uses such information to reduce its search through the space of candidates and to produce models that human scientists find more plausible. We also argue that although people carry out less extensive search than SC‐IPM, they rely on the same forms of knowledge—processes and constraints—when constructing explanatory models. (shrink)

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. (shrink)

This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1984.

The way in which knowledge progresses, and especially our scientific knowledge, is by unjustified anticipations, by guesses, by tentative solutions to our problems, by conjectures. These conjectures are controlled by criticism: that is, by attempted refutations, which include severely critical tests. They may survive these tests; but they can never be positively justified: they can neither be established as certainly true nor even as 'probable'. Criticism of our conjectures is of decisive importance: by bringing out our mistakes it makes us (...) understand the difficulties of the problems which we try to solve. This is how we become better acquainted with our problem, and able to propose more mature solutions: the very refutation of a theory - that is, of a tentative solution to our problem - is always a step forward that takes us nearer the truth. And this is how we can learn from our mistakes. As we learn from our mistakes our knowledge grows, even though we may never know - that is, know for certain. Since our knowledge can grow, there can be no reason here for despair of reason. And since we can never know for certain, the can be no authority here for any claim to authority, for conceit over our knowledge, or for smugness. The essays and lectures of which this book is composed apply this thesis to many topics, ranging from problems of the philosophy and history of the physical and social sciences to historical and political problems. (shrink)

Many kinds of creativity result from combination of mental representations. This paper provides a computational account of how creative thinking can arise from combining neural patterns into ones that are potentially novel and useful. We defend the hypothesis that such combinations arise from mechanisms that bind together neural activity by a process of convolution, a mathematical operation that interweaves structures. We describe computer simulations that show the feasibility of using convolution to produce emergent patterns of neural activity that can support (...) cognitive and emotional processes underlying human creativity. (shrink)

In “The Toolbox of Science” (1995) together with Towfic Shomar we advocated a form of instrumentalism about scientific theories. We separately developed this view further in a number of subsequent works. Steven French, James Ladyman, Otavio Bueno and Newton Da Costa (FLBD) have since written at least eight papers and a book criticising our work. Here we defend ourselves. First we explain what we mean in denying that models derive from theory – and why their failure to do so should (...) be lamented. Second we defend our use of the London model of superconductivity as an example. Third we point out both advantages and weaknesses of FLBD’s techniques in comparison to traditional Anglophone versions of the semantic conception. Fourth we show that FLBD’s version of the semantic conception has not been applied to our case study. We conclude by raising doubts about FLBD’s overall project. (shrink)

Philosophy Compass, Volume 17, Issue 1, January 2022.

Philosophy Compass, Volume 17, Issue 1, January 2022.

In the paper I explore the relations between a relatively new and quickly expanding branch of artificial intelligence –- the automated discovery systems –- and some new views advanced in the old debate over scientific realism. I focus my attention on one such system, GELL-MANN, designed in 1990 at Wichita State University. The program's task was to analyze elementary particle data available in 1964 and formulate an hypothesis (or hypotheses) about a `hidden', more simple structure of matter, or to put (...) it in contemporary terms –- the discovery of quarks. The central thesis of my paper is that systems like GELL-MANN not only discover (or rediscover) the hidden structure of matter, but also provide independent strong evidence in favor of scientific realism about entities involved in that structure. I make an attempt to show how an argument for scientific realism about sub-microscopic entities can be constructed that would parallel Ian Hacking's `argument from coincidence' presented with respect to microscopic objects in his famous book Representing and Intervening. (shrink)

Artificial Intelligence and Scientific Method examines the remarkable advances made in the field of AI over the past twenty years, discussing their profound implications for philosophy. Taking a clear, non-technical approach, Donald Gillies shows how current views on scientific method are challenged by this recent research, and suggests a new framework for the study of logic. Finally, he draws on work by such seminal thinkers as Bacon, Gdel, Popper, Penrose, and Lucas, to address the hotly-contested question of whether computers might (...) become intellectually superior to human beings. (shrink)

We call for a new philosophical conception of models in physics. Some standard conceptions take models to be useful approximations to theorems, that are the chief means to test theories. Hence the heuristics of model building is dictated by the requirements and practice of theory-testing. In this paper we argue that a theory-driven view of models can not account for common procedures used by scientists to model phenomena. We illustrate this thesis with a case study: the construction of one of (...) the first comprehensive model of superconductivity by London brothers in 1934. Instead of theory-driven view of models, we suggest a phenomenologically-driven one. (shrink)