Abstract

In a discussion of Sherlock Holmes’ “science of deduction” and the related “method of exclusion,” I show that Holmes’ claim that his inferences are deductive makes sense, if we consider his theoretical presuppositions. So, it is more accurate to say that he tries to reduce abduction to deduction than that he confuses them. His theoretical framework, albeit inadequate as a theory of empirical reasoning, can be seen as a basic model of classical (symbolic) AI. The main problems of this approach are surveyed, and abduction is brought into play as both a better characterization of Holmes’ inferences and a better guide for building AI systems. This is a good background for raising the question of creativity because, according to Peirce, it relates to abduction in a substantial way. Is Sherlock Holmes creative? Can machines be creative? An affirmative answer to the second question might be given by a “logic of discovery” but the problem remains that inventing such a logic already presupposes creativity.