Debates concerning the character, scope, and warrant of abductive inference have been active since Peirce first proposed that there was a third form of inference, distinct from induction and deduction. Abductive reasoning has been dubbed weak, incoherent, and even nonexistent. Part, at least, of the problem of articulating a clear sense of abductive inference is due to difficulty in interpreting Peirce. Part of the fault must lie with his critics, however. While this article will argue that Peirce indeed left a (...) number of puzzles for interpreters, it will also contend that interpreters should be careful to distinguish discussion of the formal and strictly epistemic question of whether and how abduction is a sound form of inference from discussions of the practical goals of abduction, as Peirce understood them. This article will trace a history of critics and defenders of Peirce’s notion of abduction and discuss how Peirce both fueled the confusion and in fact anticipated and responded to several recurring objections. (shrink)

Essential to Peirce's distinction among three kinds of reasoning, deduction, induction and abduction, is the claim that each is correlated to a unique species of validity irreducible to that of the others. In particular, abductive validity cannot be analyzed in either deductive or inductive terms, a consequence of considerable importance for the logical and epistemological scrutiny of scientific methods. But when the full structure of abductive argumentation — as viewed by the mature Peirce — is clarified, every inferential step in (...) the process can be seen to dissolve into familiar forms of deductive and inductive reasoning. Specifically, the final stage is a special type of practical inference which, if correct, is deductively valid, while the creative phase, surprisingly, is not inferential at all. In neither is abduction a type of inference to the best explanation. The result is a major reassessment of the relevance of Peirce's views to contemporary methodological studies. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

According to C. S. Peirce, abduction is a rational attempt to locate an explanation for a puzzling phenomenon, where this is a process that includes both generating explanatory hypotheses and selecting certain hypotheses for further scrutiny. Since inference is a controlled process that can be subjected to normative standards, essential to his view of abductive rasoning is that it is correlated to a unique species of correctness that cannot be reduced to deductive validity or inductive strength. This irreducibility claim is (...) of considerable importance for the logical and epistemological scrutiny of scientific methods, but it is not clear that Peirce produced a convicing argument for it. To the contrary, when the full structure of abductive argumentation is clarified, especially as presented in Peirce’s later writings on the topic, a good case can be made for viewing every inferential step in the abductive process as dissolving into familiar forms of deductive and inductive reasoning. Specifically, hypothesis-selection is a special type of practical inference that, if correct, is deductively valid, while the creative phase, hypothesis-generation, is not inferential at all. Once this is understood, it emerges that the familiar descriptions of abduction as “inference to the best explanation” or as a process of “belief revision” are, at best, misleading. (shrink)

This paper addresses the question of how scientists determine which type of hypothesis is most suitable for tackling a particular problem by examining the historical case of the anomalous β spectrum in early nuclear physics, a puzzle that occasioned the most diverse hypotheses amongst physicists at the time. It is shown that such determinations are most often implicitly informed by scientists' individual perspectives on the structural relations between the various elements of the theory and the problem at hand. In addition (...) to this main result, it is suggested that Wolfgang Pauli's neutrino idea may well have been an adaptation of Ernst Rutherford's original and older neutron idea, which would provide evidence that the adaptation of older ideas is a more common practice than is often thought. (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)

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)

In the early eighties, philosophers of science came to the conviction that discovery and creativity form an integral part of scientific rationality. Ever since, the?positivists? have been criticised for their neglect of these topics. It is the aim of this paper to show that the positivists' approach to scientific discovery is not only much richer than is commonly recognized, but that they even defended an important thesis which some of the `friends of discovery' seem to have forgotten. Contrary to what (...) is generally accepted, I shall also show that there is no reason at all why the positivists should have ignored discovery. (shrink)

The analysis of philosophically important themes can depart from two different angles. The first one investigates the various answers that have been given to a certain issue, like that of the problem of knowledge, the justification of theories, the notion of culture, etcetera. These answers are often mutually contradictory which, by the way, facilitates their overview (like the schemes of rationalism-empiricism, justification-discovery, universalism-relativism). A second approach starts from the problems (or: “problematique”) behind the divergent answers (e.g., foundationalism behind both, empiricism (...) and rationalism).In the following sections the issue of discovery is discussed. Here the second line of approach has been followed, not only by making visible a same problematique, but more by trying to set out the common context of the discussion about context of discovery and context of justification. The idea is that this discussion, or better the shift taking place in that discussion, finds its reason in a context in which the distance between traditional methodology and contemporary scientific practice, also between scientific knowledge and the experience of reality has become greater. This is related to the deepening awareness of the cultural context of scientific method. Man and world, scientific method and cultural context are always interacting.From this point of view quite different philosophical approaches show nevertheless similar features pointing to new solutions. A more psychological approach to scientific method (like: Gordon's and Grmek's, even perhaps Gutting's reinterpretation of Popper) and a sociological one (e.g., Barnes, Bloor, and already Durkheim) are opposed to a more logically structured analysis of Nagel, Hempel, and also Popper. Nevertheless the view on the flexibility of scientific method defended along different lines by for instance Achinstein, Bachelard, Hesse, Piaget, Polanyi, Toulmin manifests a certain convergence in those divergent standpoints, the more so since often the cultural context of science is being stressed (e.g., Ladriére, Prigogine, Needham).The miscellany of philosophical orientations, presented in the following sections, can in this way perhaps give profile to deeper tendencies: to relate again scientific method to the context of culture and of human strategy in general. This does not blend, however, the distinction between context of justification and context of discovery. By changing their roles a new overview of this dilemma becomes possible. There is no juxtaposition of both, nor has the one to be absorbed by the other. The conclusion will be that there are still two contexts, but that one is wider, less defined and demarcated from the wider field of daily culture, and that the other is more restricted, functioning as a kind of safetydevice on behalf of the wider strategy of discovery. In such a way discovery is regarded as the wider context of the more restricted context of justification. (shrink)