This study aims to understand scientific inference for the evolutionary procedure of Continental Drift based on abductive inference, which is important for creative inference and scientific discovery during problem solving. We present the following two research problems: (1) we suggest a scientific inference procedure as well as various strategies and a criterion for choosing hypotheses over other competing or previous hypotheses; aspects of this procedure include puzzling observation, abduction, retroduction, updating, deduction, induction, and recycle; and (2) we analyze the “theory (...) of continental drift” discovery, called the Earth science revolution, using our multistage inference procedure. Wegener’s Continental Drift hypothesis had an impact comparable to the revolution caused by Darwin’s theory of evolution in biology. Finally, the suggested inquiry inference model can provide us with a more consistent view of science and promote a deeper understanding of scientific concepts. (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)

Scientists routinely solve the problem of supplementing one’s store of variables with new theoretical posits that can explain the previously inexplicable. The banality of success at this task obscures a remarkable fact. Generating hypotheses that contain novel variables and accurately project over a limited amount of additional data is so difficult—the space of possibilities so vast—that succeeding through guesswork is overwhelmingly unlikely despite a very large number of attempts. And yet scientists do generate hypotheses of this sort in very few (...) tries. I argue that this poses a dilemma: either the long history of scientific success is a miracle, or there exists at least one method or algorithm for generating novel hypotheses with at least limited projectibility on the basis of what’s available to the scientist at a time, namely a set of observations, the history of past conjectures, and some prior theoretical commitments. In other words, either ordinary scientific success is miraculous or there exists a logic of discovery at the heart of actual scientific method. (shrink)

In scientific work we rightly attach great importance to the testing of predictions from theoretical ideas. We should also attach great importance to the generation of those ideas since these are necessary precursors to advancement in science. Insight plays a substantial role in the generation of ideas and is correspondingly important. It seems that insights are difficult to form and often delayed. We should study how constraints on insight can be reduced and whether the customary objectives in science give enough (...) weight to procedures that may generate insights. This paper offers some suggestions on how to achieve this :334–340, 2017). That way, there would be more to test. Subsequently, we thought that the paper could have spent more time on the circumstances underpinning insight and this paper is the outcome of that thinking). (shrink)

The main thrust of the argument of this thesis is to show the possibility of articulating a method of construction or of synthesis--as against the most common method of analysis or division--which has always been (so we shall argue) a necessary component of scientific theorization. This method will be shown to be based on a fundamental synthetic logical relation of thought, that we shall call inversion--to be understood as a species of logical opposition, and as one of the basic monadic (...) logical operators. Thus the major objective of this thesis is to This thesis can be viewed as a response to Larry Laudan's challenge, which is based on the claim that ``the case has yet to be made that the rules governing the techniques whereby theories are invented (if any such rules there be) are the sorts of things that philosophers should claim any interest in or competence at.'' The challenge itself would be to show that the logic of discovery (if at all formulatable) performs the epistemological role of the justification of scientific theories. We propose to meet this challenge head on: a) by suggesting precisely how such a logic would be formulated; b) by demonstrating its epistemological relevance (in the context of justification) and c) by showing that a) and b) can be carried out without sacrificing the fallibilist view of scientific knowledge. OBJECTIVES: We have set three successive objectives: one general, one specific, and one sub-specific, each one related to the other in that very order. (A) The general objective is to indicate the clear possibility of renovating the traditional analytico-synthetic epistemology. By realizing this objective, we attempt to widen the scope of scientific reason or rationality, which for some time now has perniciously been dominated by pure analytic reason alone. In order to achieve this end we need to show specifically that there exists the possibility of articulating a synthetic (constructive) logic/reason, which has been considered by most mainstream thinkers either as not articulatable, or simply non-existent. (B) The second (specific) task is to respond to the challenge of Larry Laudan by demonstrating the possibility of an epistemologically significant generativism. In this context we will argue that this generativism, which is our suggested alternative, and the simplified structuralist and semantic view of scientific theories, mutually reinforce each other to form a single coherent foundation for the renovated analytico-synthetic methodological framework. (C) The third (sub-specific) objective, accordingly, is to show the possibility of articulating a synthetic logic that could guide us in understanding the process of theorization. This is realized by proposing the foundations for developing a logic of inversion, which represents the pattern of synthetic reason in the process of constructing scientific definitions. (shrink)