CORCORAN ON ARISTOTELIAN INDUCTION
Abstract
A MATHEMATICAL REVIEW: Hintikka, Jaakko Aristotelian induction. Rev. Internat. Philos. 34 (1980), no. 3-4, 422--439. MR0630683 (82m:00016) The author considers the question of how Aristotle explains knowledge of axioms, i.e., basic premises of axiomatic science. "Induction" is the conventional translation of Aristotle's term "epagogé" indicating a process through which knowledge of the truth of axioms is drawn from experience. Thus, it has no special relation to mathematical induction, the number-theoretic principle. The fact that Aristotle traced all knowledge of axioms to experience is already clear and well known to scholars despite contrary information persistently appearing in popularizations. It is true, however, as pointed out in this paper, that Aristotle gave apparently conflicting accounts of how induction functions and also that some of Aristotle's remarks about axioms may seem to conflict with his view that knowledge of them is based on experience. This paper proposes to solve these problems through a plausible premise, perhaps original with the author, to the effect that Aristotle's induction involves a combination of empirical examination of examples with conceptual analysis of exemplified notions. Reviewed by J. Corcoran NOTE ADDED 121715: Given the various ways ‘induction’ is used today, it is misleading to use "induction" as the translation of Aristotle's term "epagoge" indicating a process through which knowledge of the truth of axioms is drawn from experience. “Experience-based intuition” might work better. On this subject, one should note that there are many sentences, propositions, rules, processes, and so on that are all called ‘mathematical induction’—an expression totally unsuited for any of them. It the first place, the adjective ‘mathematical’ is far too general, ‘arithmetic’, ‘numerical’, or ‘number-theoretic’ would be better. In the second place, the noun ‘induction’ in ‘mathematical induction’, if justified at all, cannot be justified by reference to the most common uses of the word in normal English, in science, in philosophy, or in methodology of science. In current senses, mathematical induction does not produce knowledge of mathematical axioms. In fact, in some current senses, mathematical induction is a mathematical axiom, knowledge of which is produced by induction in the sense associated with Aristotle. I am glad to point out that Hintikka’s use of the word ‘axiom’ for “fundamental truth” is in full accord with its use by Tarski, Church, and other giants of mathematical logic. Moreover, it reveals the pathetic inadequacy of ill-advised and unjustified attempts to use the word for “arbitrary assumption”.