In the above pages I have sketched a history of the genesis and comparative evaluation of the repressor model of genetic regulation of enzyme induction. I have not attempted in this article to carry out an analysis of the more scientifically interesting fully developed Jacob-Monod operon theory of genetic regulations but such an analysis of the operon theory would not, I believe, involve any additional logical or epistemological features than have been discussed above. I have argued that the above account (...) of the development of a theory of enzyme induction involved inferential moves and well-characterized desiderata, of both empirical and non-empirical character, in the genesis and evaluation of new hypotheses and theories. I have also contended that the reasoning displayed in the genesis of a theory is in a large measure identical to that utilized in evaluating a theory. Both of these conclusions are at variance with the views of philosophers such as H. Reichenbach, Sir Karl Popper, and C.G. Hempel who have argued that the genesis of new hypotheses is primarily an irrational affair and that only the context of justification is susceptible of rational reconstruction. In the alternative view presented here, scientific discovery and scientific justification represent the application in contexts, which are primarily telically distinguishable, of a fundamentally unitary logic of scientific inquiry. (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 paper examines the research leading from the initial discovery of a disease in 1957 to its complete description twenty years later. The analysis reveals four stages in the discovery process and attempts to pinpoint the key characteristics of each of those stages. It is suggested that the early stages in the process have some of the characteristics depicted by T. H. Kuhn about the logic of discovery whereas the later stages exemplify the characteristics of the (...) logic of discovery propounded by Karl Popper. (shrink)

There is renewed interest in the logic of discovery as well as in the position that there is no reason for philosophers to bother with it. This essay shows that the traditional, philosophical arguments for the latter position are bankrupt. Moreover, no interesting defense of the philosophical irrelevance or impossibility of the logic of discovery can be formulated or defended in isolation from computation-theoretic considerations.

Popper is well known for rejecting a logic of discovery, but he is only justified in rejecting the same type of logic of discovery that is denied by consequentialism. His own account of hypothesis generation, based on a natural selection analogy, involves an error-eliminative logic of discovery and the differences he admits between biological and conceptual evolution suggest an error-corrective logic of discovery. These types of logics of discovery are based on (...) principles of plausibility that are used in the generation as opposed to the preliminary evaluation of hypotheses. The normative relevance of these principles is grounded in the distinction between strategic and definitory rules. (shrink)

Traditional logical empiricist and more recent historicist positions on the logic of discovery are briefly reviewed and both are found wanting. None have examined the historical detail now available from recent research on Darwin, from which there is evidence for gradual transition in descriptive and explanatory concepts. This episode also shows that revolutionary research can be directed by borrowed metascientific objectives and heuristics from other disciplines. Darwin's own revolutionary research took place within an ontological context borrowed from non (...) evolutionary predecessors with methodological objectives borrowed from and justified by their success in Newton's physics. The logic of discovery is not a special form of inference from observation to theory, but rather a theory of the rationality of research, including principles bearing upon the rational choice of problems, or epistemic objectives, and heuristic, or means to solving the problems. Such choices can be justified only locally in the context of a relatively stable background ontology and substantive epistemology, not globally for all science. (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 1985.

Popper is well known for rejecting a logic of discovery, but he is only justified in rejecting the same type of logic of discovery that is denied by consequentialism. His own account of hypothesis generation, based on a natural selection analogy, involves an error-eliminative logic of discovery and the differences he admits between biological and conceptual evolution suggest an error-corrective logic of discovery. These types of logics of discovery are based on (...) principles of plausibility that are used in the generation as opposed to the preliminary evaluation of hypotheses. The normative relevance of these principles is grounded in the distinction between strategic and definitory rules. (shrink)

This is a new release of the original 1930 edition.

A widely endorsed thesis in the philosophy of science holds that if evidence for a hypothesis was not known when the hypothesis was proposed, then that evidence confirms the hypothesis more strongly than would otherwise be the case. The thesis has been thought to be inconsistent with Bayesian confirmation theory, but the arguments offered for that view are fallacious. This paper shows how the special value of prediction can in fact be given Bayesian explanation. The explanation involves consideration of the (...) reliability of the method by which the hypothesis was discovered, and thus reveals an intimate connection between the 'logic of discovery' and confirmation theory. (shrink)

It is noted that Popper separates the creation of concepts, conjectures, hypotheses and theories—the context of invention—from the testing thereof—the context of justification—arguing that only the latter is susceptible of rigorous logical analysis. Efforts on the part of others to shift or eradicate the demarcation established by this distinction are discussed and the relationship of these considerations to the claims of “strong artificial intelligence” is pointed out. It is argued that the mode of education of scientists, as well as reports (...) of celebrated scientists, support Popper's judgement in this matter. An historical episode from Faraday's later career is used to illustrate the historiographical strength of Lakatos' “methodology of research programs.”. (shrink)

Three decades ago Laudan posed the challenge: Why should the logic of discovery be revived? This paper tries to answer this question arguing that the logic of discovery should be revived, on the one hand, because, by Gödel’s second incompleteness theorem, mathematical logic fails to be the logic of justification, and only reviving the logic of discovery logic may continue to have an important role. On the other hand, scientists use heuristic (...) tools in their work, and it may be useful to study such tools systematically in order to improve current heuristic tools or to develop new ones. As a step towards reviving the logic of discovery, the paper follows Aristotle in asserting that logic must be a tool for the method of science, and outlines an approach to the logic of discovery based on the analytic method and on ampliative inference rules. (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.

The logic of discovery, accepting the seriousness of ultimate questions, ends in faith with an answer which, for the Christian, is not a statement but a person.

The problem of Galileo's logical methodology has long interested scholars. In this volume William A. Wallace offers a solution that is completely unexpected, yet backed by convincing documentary evidence. His analysis starts with an early notebook Galileo wrote at Pisa, appropriating a Jesuit professor's exposition of the Posterior Analystics of Aristotle, and ends with one of the last letters Galileo wrote, stating that in logic he has been a Peripatetic all his life. Wallace's detective work unearths the complete (...) class='Hi'>logic course from which the notebook was excerpted, then proceeds to show how its terminology and methodology continue to surface in Galileo's later writings in which he founds his new sciences of the heavens and of local motion. The result is a tour de force that commends itself not only to Galileo's scholars and to logicians, philosophers, and historians, but to anyone interested in the epistemic roots of modern science. (shrink)

Llull and Leibniz both subscribed to conceptual atomism: the belief that the majority of concepts are compounds constructed from a relatively small number of primitive concepts. Llull worked out techniques for finding the logically possible combinations of his primitives, but Leibniz criticized Llull’s execution of these techniques. This article argues that Leibniz was right about things being more complicated than Llull thought but that he was wrong about the details. The paper attempts to correct these details.

Is there such a thing as a ‘Logic of Discovery’? Do we even have a consistent idea of such a thing? The approved answer to this seems to be “No.” Thus Popper argues “The initial stage, the act of conceiving or inventing a theory, seems to me neither to call for logical analysis nor to be susceptible of it.” Again, “… there is no such thing as a logical method of having new ideas, or a logical reconstruction of (...) this process.” Reichenbach writes that philosophy of science “… cannot be concerned with [reasons for suggesting hypotheses], but only with [reasons for accepting hypotheses].” Braithwaite elaborates: “The solution of these historical problems involves the individual psychology of thinking and the sociology of thought. None of these questions are our business here.”. (shrink)

It is widely believed that if a piece of evidence for a theory was known at the time the theory was proposed, then it does not confirm the theory as strongly as it would if the evidence had been discovered after the theory was proposed. I shall call this view the predictivist thesis. Those who have endorsed it include Leibniz (1678), Huygens (1690, preface), Whewell (1847 vol. 2, p. 64f.), Peirce (1883), Duhem (1914, ch. II, §5), Popper (1965, p. 241f.), (...) Lakatos (1970, p. 123), and Kuhn (1977, p. 322). On the other hand, the thesis has been rejected by a number of philosophers, including Mill (1872 bk. III, ch. 14, §6), Keynes (1921, p. 305), Rosenkrantz (1977, p. 169f.), Horwich (1982, pp. 108-117) and Schlesinger (1987). Others, while not rejecting the predictivist thesis, nevertheless regard the justification of the thesis as problematic; these include Hempel (1966, p. 38) and Gardner (1982). (shrink)

. Heuristic is a central concept of Lakatos' philosophy both in his early works and in his later work, the methodology of scientific research programs. The term itself, however, went through significant change of meaning. In this paper I study this change and the ‘metaphysical’ commitments behind it. In order to do so, I turn to his mathematical heuristic elaborated in Proofs and Refutations. I aim to show the dialogical character of mathematical knowledge in his account, which can open a (...) door to hermeneutic studies of mathematical practice. (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)

In this paper, I focus on the important semantic components involved in analogy in hopes of providing an epistemic ground for predicating names of God analogously. To this task, I address a semantic/epistemic problem, which concludes that the doctrine of analogy lacks epistemological grounding insofar as it presupposes a prior understanding of God in order to sufficiently alter a given concept to be proportionate to God. In hopes of avoiding this conclusion, I introduce Aquinas’s specifically semantic aspects that follow after (...) the real distinction between a thing’s esse and its essence or form in the context of analogy and show that the ratio of a term can be altered in a way proportionate to a consideration of the mode of being of God. (shrink)