Principles of Philosophy was written in Latin by Rene Descartes. Published in 1644, it was intended to replace Aristotle's philosophy and traditional Scholastic Philosophy. This volume contains a letter of the author to the French translator of the Principles of Philosophy serving for a Preface and a letter to the most serene princess, Elizabeth, eldest daughter of Frederick, King of Bohemia, Count Palatine, and Elector of the Sacred Roman Empire. Principes de philosophie, by Claude Picot, under the supervision of Descartes, (...) appeared in 1647 with a letter-preface to Queen Christina of Sweden. (shrink)

Scientific discovery is often regarded as romantic and creative - and hence unanalyzable - whereas the everyday process of verifying discoveries is sober and more suited to analysis. Yet this fascinating exploration of how scientific work proceeds argues that however sudden the moment of discovery may seem, the discovery process can be described and modeled. Using the methods and concepts of contemporary information-processing psychology (or cognitive science) the authors develop a series of artificial-intelligence programs that can simulate the human thought (...) processes used to discover scientific laws. The programs - BACON, DALTON, GLAUBER, and STAHL - are all largely data-driven, that is, when presented with series of chemical or physical measurements they search for uniformities and linking elements, generating and checking hypotheses and creating new concepts as they go along. "Scientific Discovery examines the nature of scientific research and reviews the arguments for and against a normative theory of discovery; describes the evolution of the BACON programs, which discover quantitative empirical laws and invent new concepts; presents programs that discover laws in qualitative and quantitative data; and ties the results together, suggesting how a combined and extended program might find research problems, invent new instruments, and invent appropriate problem representations. Numerous prominent historical examples of discoveries from physics and chemistry are used as tests for the programs and anchor the discussion concretely in the history of science. Pat Langley is an Associate Professor in the Department of Information and Computer Science at the University of California, Irvine.Herbert Simon is a Professor in the Departments of Psychology, Computer Science, and Philosophy at Carnegie-Mellon University. Gary L. Bradshaw is an Assistant Professor in the Department of Psychology and Institute of Cognitive Science at the University of Colorado, Boulder. Jan M. Zytkow is an Associate Professor in the Computer Science Department at Wichita State University. (shrink)

More than a hundred years ago, the American philosopher C. S. Peirce suggested the idea of pragmatism as a logical criterion to analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, philosophers have usually offered a number of ways of construing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and thus (...) not analyzable. The “computational turn” gave us a new way to understand creative processes in a strictly pragmatic sense. Artificial Intelligence and Cognitive Science tools allow us to test concepts and ideas previously conceived in abstract terms. It is in the perspective of these actual models that we find the central role of abduction in the explanation of creative reasoning in science. What I call theoretical abduction certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good explanations of data, but fails to account for many cases of explanation occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper. (shrink)

Recent work in artificial intelligence, or AI, has produced programs capable of serious intellectual work in science. Results from AI are used to show that there exist mechanized procedures for discovering hypotheses and that these methods often lead to plausible hypotheses. The question to be answered is: By what methods can a computer program find plausible explanations of empirical data? To answer this, the common metaphor of search for describing several AI programs is examined followed by a look at examples (...) of programs actually constructed. Five types of search considered are: random, exhaustive, selective, heuristic, and opportunistic search. From there, the paper generalizes to some conclusions about mechanizing hypothesis formation. (shrink)

Philosophers have usually offered a number of ways of describing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and then not analysable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. The “computational turn” gives us a new way to understand creative processes in a strictly pragmatic sense. In fact, by exploiting artificial intelligence and cognitive science tools, computational philosophy allows (...) us to test concepts and ideas previously conceived only in abstract terms. It is in the perspective of these actual computational models that I find the central role of abduction in the explanation of creative reasoning in science. Creativity and discovery are no more seen as a mysterious irrational process, but, thanks to constructive accounts, as a complex relationship among different inferential steps that can be clearly analysed and identified. I maintain that the computational philosophy analysis of model-based and manipulative abduction and of external and epistemic mediators is important not only to delineate the actual practice of abduction, but also to further enhance the development of programs computationally adequate in rediscovering, or discovering for the first time, for example, scientific hypotheses or mathematical theorems. (shrink)

The book Model-Based Reasoning in Scientific Discovery, aims to explain how specific modeling practices employed by scientists are productive methods of ...

First published in 1749, Hartley's great work was abridged by Priestley in 1775 and reissued as a whole by Joseph Johnson in 1791. To Priestley, who founded his Unitarianism on the Observations, it seemed that Hartley was the greatest of human beings with the single exception of Jesus. Coleridge adopted his associationist theology in the mid 1790s, naming his eldest son David Hartley Coleridge, and passing on to Wordsworth the theory of mind that underlies 'Tintern Abbey', the early Prelude and (...) the 1800 Preface to Lyrical Ballads. An indispensable book. (shrink)

In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. It is a common occurrence in everyday life and crops up in such diverse places as medical diagnosis, scientific theory formation, accident investigation, language understanding, and jury deliberation. In recent years, it has become a popular and fruitful topic in artificial intelligence research. This volume breaks new ground in the scientific, philosophical, and technological study of abduction. It presents new (...) ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises non-inferentially, or that deduction and inductive generalization are enough to account for knowledge. Much AI research is hypothetical, so the importance of this book is that it reports key discoveries about abduction that have been made as a result of designing, building, testing, and analyzing actual working knowledge-based systems for medical diagnosis and other abductive tasks. The book tells the story of six generations of increasingly sophisticated generic abduction machines, RED-1, RED-2, PEIRCE, MDX2, TIPS, QUAWDS, and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. The final chapter argues that perception is logically abductive and presents a layered-abduction computational model of perceptual information processing. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science. (shrink)

Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside The Open Society and Its Enemies as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

This innovative book focuses on the development of the gene theory as a case study in scientific creativity.

The distinction between discovery and justification is ambiguous. This obscures the debate over a logic of discovery. For the debate presupposes the distinction. Real discoveries are well established. What is well established is justified. The proper distinctions are three: initial thinking, plausibility, and acceptability. Logic is not essential to initial thinking. We do not need good supporting reasons to initially think of an hypothesis. Initial thoughts need be neither plausible nor acceptable. Logic is essential, as Hanson noted, to both plausibility (...) and acceptability. An hypothesis needs good supporting reasons to be either plausible or acceptable. Such reasons need not be relative to the particular scientific theory undergoing test at the time. There is no fundamental difference between reasons relevant to plausibility and acceptability. The difference is one of degree. Acceptability requires more than plausibility. (shrink)

Reviews evidence which suggests that there may be little or no direct introspective access to higher order cognitive processes. Ss are sometimes unaware of the existence of a stimulus that importantly influenced a response, unaware of the existence of the response, and unaware that the stimulus has affected the response. It is proposed that when people attempt to report on their cognitive processes, that is, on the processes mediating the effects of a stimulus on a response, they do not do (...) so on the basis of any true introspection. Instead, their reports are based on a priori, implicit causal theories, or judgments about the extent to which a particular stimulus is a plausible cause of a given response. This suggests that though people may not be able to observe directly their cognitive processes, they will sometimes be able to report accurately about them. Accurate reports will occur when influential stimuli are salient and are plausible causes of the responses they produce, and will not occur when stimuli are not salient or are not plausible causes. (shrink)

Is a genuine logic of scientific discovery possible? In the essays collected here, Hintikka not only defends an affirmative answer; he also outlines such a logic. It is the logic of questions and answers. Thus inquiry in the sense of knowledge-seeking becomes inquiry in the sense of interrogation. Using this new logic, Hintikka establishes a result that will undoubtedly be considered the fundamental theorem of all epistemology, viz., the virtual identity of optimal strategies of pure discovery with optimal deductive strategies. (...) Questions to Nature, of course, must include observations and experiments. Hintikka shows, in fact, how the logic of experimental inquiry can be understood from the interrogative vantage point. Other important topics examined include induction, explanation, the incommensurability of theories, theory-ladenness of observations, and identifiability. (shrink)

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

The text is the Russian translation of W. Whewell’s work “Novum Organon Renovatum” (Preface and Book I Aphorisms concerning ideas), which is the third edition of the second volume of his major work “The philosophy of the Inductive Sciences founded upon their History”. In the text, W. Whewell proposes his theory of scientific method and classification of the necessary scientific ideas as a basis, from where every particular scientific discipline derives. By adopting the structure of the notorious Francis Bacon’s “Novum (...) Organon”, Whewell reverses the order of scientific genesis, opposing himself to inductivism – the most influential philosophical theory of his time. (shrink)

This book consists of a collection of essays written between 1965 and 1981. Some have been published elsewhere; others appear here for the first time. Although dealing with different figures and different periods, they have a common theme: all are concerned with examining how the method of hy pothesis came to be the ruling orthodoxy in the philosophy of science and the quasi-official methodology of the scientific community. It might have been otherwise. Barely three centuries ago, hypothetico deduction was in (...) both disfavor and disarray. Numerous rival methods for scientific inquiry - including eliminative and enumerative induction, analogy and derivation from first principles - were widely touted. The method of hypothesis, known since antiquity, found few proponents between 1700 and 1850. During the last century, of course, that ordering has been inverted and - despite an almost universal acknowledgement of its weaknesses - the method of hypothesis (usually under such descriptions as 'hypothetico deduction' or 'conjectures and refutations') has become the orthodoxy of the 20th century. Behind the waxing and waning of the method of hypothesis, embedded within the vicissitudes of its fortunes, there is a fascinating story to be told. It is a story that forms an integral part of modern science and its philosophy. (shrink)

The history of science is articulated by moments of discovery. Yet, these 'moments' are not simple or isolated events in science. Just as a scientific discovery illuminates our understanding of nature or of society, and reveals new connections among phenomena, so too does the history of scientific activity and the analysis of scientific reasoning illuminate the processes which give rise to moments of discovery and the complex network of consequences which follow upon such moments. Understanding discovery has not been, until (...) recently, a major concern of modem philosophy of science. Whether the act of discoyery was regarded as mysterious and inexplicable, or obvious and in no need of explanation, modem philosophy of science in effect bracketed the question. It concentrated instead on the logic of scientific explanation or on the issues of validation or justification of scientific theories or laws. The recent revival of interest in the context of discovery, indeed in the acts of discovery, on the part of philosophers and historians of science, represents no one particular method'ological or philosophical orientation. It proceeds as much from an empiricist and analytical approach as from a sociological or historical one; from considerations of the logic of science as much as from the alogical or extralogical contexts of scientific tho'¢tt and practice. But, in general, this new interest focuses sharply on the actual historical and contem porary cases of scientific discovery, and on an examination of the act or moment of discovery in situ. (shrink)

This volume thus clears the ground for the productive and fruitful integration of these new developments into philosophy of science.

When the New Organon appeared in 1620, part of a six-part programme of scientific inquiry entitled 'The Great Renewal of Learning', Francis Bacon was at the high point of his political career, and his ambitious work was groundbreaking in its attempt to give formal philosophical shape to a new and rapidly emerging experimentally-based science. Bacon combines theoretical scientific epistemology with examples from applied science, examining phenomena as various as magnetism, gravity, and the ebb and flow of the tides, and anticipating (...) later experimental work by Robert Boyle and others. His work challenges the entire edifice of the philosophy and learning of his time, and has left its mark on all subsequent philosophical discussions of scientific method. This volume presents a new translation of the text into modern English by Michael Silverthorne, and an introduction by Lisa Jardine that sets the work in the context of Bacon's scientific and philosophical activities. (shrink)

Based on the new and much acclaimed two volume Cambridge edition of The Philosophical Writings of Descartes by Cottingham, Stoothoff, and Murdoch, this anthology of essential texts contains the most important and widely studied of those writings, including the Discourse and Meditations and substantial extracts from the Regulae, Optics, Principles, Objections and Replies, Comments on a Broadsheet, and Passions of the Soul.

This historical compendium investigates scientific methods conceived between the Renaissance and the nineteenth century. Beginning with attacks on Scholasticism and the rist of the New Science, the authors explain the roles of both major andminor figures in describing scientific methods. Although the chapters are interrelated and contain explicit comparisons, each chapter is a complete study in itself. The authors' emphasis on writing for the non-specialist and their liberal use of primary sources make this an outstanding textbook.

Detectives and scientists are in the business of reasoning from observations to explanations. This they often do by raising cunning questionsduring their inquiries. But to substantiate this claim we need to know how questions arise and how they are nurtured into more specific hypotheses. I shall discuss what the problem is, and then introduce the so-called interrogative model of inquiry which makes use of an explicit logic of questions. On this view, a discovery processes can be represented as a model-based (...) game in which an inquirer subjects a source of information to a series of strategically organized questions. Strategic principles and why-questions are especially important in heuristical reasoning. Why-questions have their own peculiar nature among questions. They indicate that the inquirer's expectations are somehow disappointed, and that is cognitively challenging. In a finished argument why-questions can be omitted, but in the search for more specific questions they are highly important. As a detetective example I shall analyze Sherlock Holmes reasoning in Silver Blace, the scientific one is A.R. Wallace's discovery of the principle of natural selection. In both of these examples the meaning of questions, especially of well-chosen why-questions, of strategic principles, and of highly structured background knowledge come to the fore. Good questions frequent those who have orderly expectations, based on experience and expertise (detectives!) or highly structured background theories (scientists!). (shrink)

As the seventeenth century progressed, there was a growing realization among those who reflected on the kind of knowledge the new sciences could afford (among them Kepler, Bacon, Descartes, Boyle, Huygens) that hypothesis would have to be conceded a much more significant place in natural philosophy than the earlier ideal of demonstration allowed. Then came the mechanics of Newton's Principia, which seemed to manage quite well without appealing to hypothesis (though much would depend on how exactly terms like "force" and (...) "attraction" were construed). If the science of motion could dispense with causal hypothesis and the attendant uncertainty, why should this not serve as the goal of natural philosophy generally? The apparent absence of causal hypothesis from the highly successful new science of motion went far towards shaping, in different ways, the account of scientific knowledge given by many of the philosophers of the century following, notable among them Berkeley, Hume, Reid, and Kant. This "Newtonian" interlude in the history of the philosophy of science would today be accounted on the whole a byway. The Principia, despite its enormous achievement in shaping subsequent work in mechanics, was from the beginning too idiosyncratic from an epistemic standpoint to serve as model for the natural sciences generally. (shrink)

Although on opposite sides of the logic of discovery debate, Laudan and Simon share a thesis of divorce between discovery (invention) and justification (appraisal); but unlike some other authors, they do not base their respective versions of the divorce-thesis on the empirical/logical distinction. Laudan argues that, in contemporary science, invention is irrelevant to appraisal, and that this irrelevance renders epistemically pointless the inventionist program. Simon uses his divorce-thesis to defend his account of invention, which he claims to be non-inductive--so evading (...) the problem of induction. Underlying both authors' positions are inadequate conceptions of inductive inference. Laudan here ignores the role in contemporary science of plausibility arguments, which provide a crucial link between invention and appraisal, and thence an epistemic rationale for inventionism. Simon's account of invention does covertly call upon inductive principles from the context of appraisal, and this is what gives his program epistemic import; otherwise he would be vulnerable to Laudan's "no rationale" critique. The tensions in both authors reveal the falsity of the divorce-thesis, and the essential function of induction in both appraisal and invention of hypotheses. (shrink)

Review of T. Nickles (ed), Scientific Discovery: Case Studies.

There are various ``classical'' arguments against abduction as a logic of discovery,especially that (1) abduction is too weak a mode of inference to be of any use, and (2) in basic formulation of abduction the hypothesisis already presupposed to be known, so it is not the way hypotheses are discovered in the first place. In this paper I argue, by bringing forth the idea of strategies,that these counter-arguments are weaker than may appear. The concept of strategies suggests, inter alia, that (...) many inferential moves are taken into account at the same time. This is especially important in abductive reasoning, which is basically a very weak mode of inference. The importance of strategic thinking can already be seen in Charles S.Peirce's early treatments of the topic, and N.R.Hanson's later writings on abduction although they did not use the concept of``strategies.'' On the whole, I am arguing that the focus should be more on methodological processes, and not only on validity considerations, which have dominated the discussion about abduction. (shrink)