Popper: Logic of Scientific Discovery

Over the last four decades arguments for and against the claim that creative hypothesis formation is based on Darwinian ‘blind’ variation have been put forward. This paper offers a new and systematic route through this long-lasting debate. It distinguishes between undirected, random, and unjustified variation, to prevent widespread confusions regarding the meaning of undirected variation. These misunderstandings concern Lamarckism, equiprobability, developmental constraints, and creative hypothesis formation. The paper then introduces and develops the standard critique that creative hypothesis formation is guided (...) rather than blind, integrating developments from contemporary research on creativity. On that basis, I discuss three compatibility arguments that have been used to answer the critique. These arguments do not deny guided variation but insist that an important analogy exists nonetheless. These compatibility arguments all fail, even though they do so for different reasons: trivialisation, conceptual confusion, and lack of evidence respectively. Revisiting the debate in this manner not only allows us to see where exactly a ‘Darwinian’ account of creative hypothesis formation goes wrong, but also to see that the debate is not about factual issues, but about the interpretation of these factual issues in Darwinian terms. (shrink)

In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, proper axioms (...) stipulate the use of the signs for the basic concepts of the system. Consequently, the proper axioms turn out to be analytic relative to a class of interpretations of the underlying logic. Hence, they cannot be falsified by refuting their logical consequences because these consequences are analytic as well. Secondly, proper axioms are synthetic, falsifiable and uncertain sentences. Hence, they are not immunized against falsification by refuting their logical consequences. (shrink)