 It is worth noting that Cook Wilson uses in the above passage the example of Socrates’ search for definitions as an illustration of his procedure. This strongly suggests that he derived it from consideration of the method of induction (ἐπαγωγή) in Ancient philosophy: collect first a number of applications of a given term and, focussing on salient features of these cases, formulate as an hypothesis a general claim covering them, then test it for counterexamples against novel applications. (Longworth (2018a) has also drawn some interesting parallels with ‘experimental mathematics’ (see Baker (2008) and the entry to this Encyclopedia).)