It is often claimed that there can be no such thing as a logic of scientific discovery, but only a logic of verification. By 'logic of discovery' is usually meant a normative theory of discovery processes. The claim that such a normative theory is impossible is shown to be incorrect; and two examples are provided of domains where formal processes of varying efficacy for discovering lawfulness can be constructed and compared. The analysis shows how one can treat operationally and formally (...) phenomena that have usually been dismissed with fuzzy labels like 'intuition' and 'creativity'. (shrink)

Does the viability of the discovery program depend on showing either (1) that methods of generating new problem solutions, per se, have special probative weight (the per se thesis); or, (2) that the original conception of an idea is logically continuous with its justification (anti-divorce thesis)? Many writers have identified these as the key issues of the discovery debate. McLaughlin, Pera, and others recently have defended the discovery program by attacking the divorce thesis, while Laudan has attacked the discovery program (...) by rejecting the per se thesis. This disagreement over the central issue has led to communication breakdown. I contend that both friends and foes of discovery mistake the central issues. Recognizing a form of divorce helps rather than hurts the discovery program. However, the per se thesis is not essential to the program (nor is the related debate over novel prediction); hence, the status of the per se thesis is a side issue. With these clarifications in hand, we can proceed to the next stage of the discovery debate--the development (or revival) of a generative conception of justification which goes beyond consequentialism to forge a strong linkage of generation (or rather, generatability) with justification. (shrink)

In recent years, there have been some attempts to defend the legitimacy of a non-inductive generative logic of discovery whose strategy is to analyze a variety of constraints on the actual generation of explanatory hypotheses. These proposed new theories, however, are only weakly generative (relying on sophisticated processes of elimination) rather than strongly generative (embodying processes of correction).This paper develops a strongly generative theory which holds that we can come to know something new only as a variant of what we (...) already know — and that the novelty of this variant is not thereby eliminated nor beyond our powers of characterization, a double requirement that is vital for resolving the Meno paradox. In this light, the discovery of a new hypothesis is taken as the correction of an antecedent hypothesis in response to the discrepancies between the predictions generated by that antecedent hypothesis and the desired result (e.g. the actual data to be explained). This process comprises two parallel operations: the first, which demonstrates the positive role of the facts in generating new explanations, involves a mapping between multiple hypotheses and sets of predictions generated from those hypotheses, for the purpose of taking the actual data as a determinable variant of neighboring sets of predictions. This mapping permits the facts to indicate how corrective adjustments in the working hypothesis should be made; the second operation, which demonstrates the positive role of explanations in generating new facts, involves a mapping between differently construed versions of the actual data and the conceptualizations derived from those perceptual versions, for the purpose of taking the working hypothesis as a determinable variant of these neighboring conceptualizations. This mapping permits a given hypothesis to generate predictions increasingly closer to the actual facts. (shrink)