The similarity between the Aristotelian apagoge and the Peircean abduction is not a matter of chance.In fact, Peirce himself admits the borrowing of concepts from Aristotle.But for Peirce, abduction is not only a kind of reasoning among others.Peirce thinks that abduction is the most interesting kind of inference because it is the only way of introducing new ideas (EP 2:216, 1903).Thanks to the Peircean works, abductive reasoning has become a central topic not only in Logic, but also in other disciplines as Linguistics, Epistemology, Artificial Intelligence and, of course, Philosophy of Science. Is abduction the logic of discovery?Philosophy of Science is, exactly, the discipline in which the importance of abduction is more discussed.It is usual the distinction between the context of discovery and the context of justification.The former is understood as the set of processes which lead to the formulation of a new theory, while the latter refers to the methods used in science to confront the hypothesis with the empirical evidence.P. Lipton (1991) defends that scientific discovery is achieved as an inference to the best explanation, so explanatory reasoning, and hence abduction, play a central role in the context of discovery.But other authors are critical with these ideas.S. Paavola (2004) collects the arguments that are commonly given against the characterisation of abduction as a logic of (scientific) discovery.The first of them is that in the Peircean formulation of abduction -given above -the only requirement for H is that it would make F true. Authors like P. Achinstein argue that this is too permissive, because it does not exclude some improbable or wild hypotheses if they would explain F. Other criticisms insist in the idea that abduction cannot be understood as a logic of discovery because the explanatory hypothesis H is already included in the premises, because prior to infer H we need to know that H would explain F.Then, as scientific discovery introduces new ideas in science, it cannot be the result of an abductive inference.To defend abduction as a logic of discovery, S. Paavola follows a distinction borrowed by J. Hintikka from game theory.It is the distinction between definitory and strategic rules.The former settle the legal moves in a game, whereas the latter are used to decide which is the most suitable rule among all the possible.Logic has been traditionally devoted to definitory rules of the calculi and has barely paid attention to the strategic rules which are able to lead to a good proof, in a strategic sense that goes beyond classical soundness.In line with this, J. Hintikka (1998) takes from T. Kapitan four theses which sum up the main characteristics of abduction:
Read more