Ricerc@Sapienza

In this paper I lay out a non-formal kernel for a heuristic logic—a set of rational procedures for scientific discovery and ampliative reasoning—specifically, the rules that govern how we generate hypotheses to solve problems. To this end, first I outline the reasons for a heuristic logic (Sect. 1) and then I discuss the theoretical framework needed to back it (Sect. 2). I examine the methodological machinery of a heuristic logic (Sect. 3), and the meaning of notions like ‘logic’, ‘rule’, and ‘method’. Then I offer a characterization of a heuristic logic (Sect.

The way scientific discovery has been conceptualized has changed drastically in the last few decades: its relation to logic, inference, methods, and evolution has been deeply reloaded. The ‘philosophical matrix’ moulded by logical empiricism and analytical tradition has been challenged by the ‘friends of discovery’, who opened up the way to a rational investigation of discovery. This has produced not only new theories of discovery (like the deductive, cognitive, and evolutionary), but also new ways of practicing it in a rational and more systematic way.