Enfin l'axiome est nécessaire, c'est-à-dire que le contraire est inconcevable. Nous ne pouvons imaginer un espace enclos par deux lignes droites; sitôt que nous imaginons l'espace comme enclos, les deux lignes cessent d'être droites; sitôt que nous imaginons les deux lignes comme droites, l'espace cesse d'être enclos. Dans l'affirmation des axiomes, les idées constitutives s'attirent invinciblement. Dans la négation des axiomes, les idées constitutives se repoussent invinciblement. Or cela n'a pas lieu dans ces propositions d'expériences; elles constatent un rapport accidentel, et non un rapport nécessaire; elles posent que deux faits sont liés et non que les deux faits doivent être liés; elles établissent que les corps sont pesants, et non que les corps doivent être pesants. Ainsi les axiomes ne sont pas et ne peuvent pas être les produits de l'expérience. Ils ne le sont pas, puisqu'on peut les former de tête et sans expérience. Ils ne peuvent pas l'être puisqu'ils dépassent, par la nature et la portée de leurs vérités, les vérités de l'expérience. Ils ont une autre source et une source plus profonde. Ils vont plus loin et ils viennent d'ailleurs.

Point du tout, répond Mill. Ici, comme tout à l'heure, vous raisonnez en scolastique; vous oubliez les faits cachés derrière les conceptions. Car regardez d'abord votre premier argument. Sans doute vous pouvez découvrir, sans employer vos yeux et par une pure contemplation mentale, que deux lignes ne sauraient enclore un espace; mais cette

contemplation n'est que l'expérience déplacée. Les lignes imaginaires remplacent ici les lignes réelles; vous reportez les figures en vous-même, au lieu de les reporter sur le papier votre imagination fait le même office qu'un tableau; vous vous fiez à l'une comme vous vous fiez à l'autre, et une substitution vaut l'autre, car en fait de figures et de lignes l'imagination reproduit exactement la sensation. Ce que vous avez vu les yeux ouverts, vous le voyez exactement de même une minute après, les yeux fermés, et vous étudiez les propriétés géométriques transplantées dans le champ de la vision intérieure aussi sûrement que vous les étudieriez maintenues dans le champ de la vision extérieure. Il y a donc une expérience de tête comme il y en a une des yeux, et c'est justement d'après une expérience pareille que vous refusez aux deux lignes droites, même prolongées à l'infini, le pouvoir d'enclore un espace. Vous n'avez pas besoin pour cela de les suivre à l'infini, vous n'avez qu'à vous transporter par l'imagination à l'endroit où elles convergent, et vous avez à cet endroit l'impression d'une ligne qui se courbe, c'est-à-dire qui cesse d'être droite'. Cette

1. For though, in order actually to see that two given lines never meet, it would be necessary to follow them to infinity; yet without doing so, we may know that if they ever do meet, or if, after diverging from one another, they begin again to approach, this must take place not at an infinite, but at finite distance. Supposing, therefore, such to be the case, we can transport ourselves thither in imagination, and can frame a mental image of the appearance which one or both of the lines must

LITT. ANGL.

IV-24

présence imaginaire tient lieu d'une présence réelle; vous affirmez par l'une ce que vous affirmeriez par l'autre, et du même droit. La première n'est que la seconde plus maniable, ayant plus de mobilité et de portée. C'est un télescope au lieu d'un œil. Or les témoignages du télescope sont des propositions d'expérience, donc les témoignages de l'imagination en sont aussi. Quant à l'argument qui distingue les axiomes et les propositions d'expérience, sous prétexte que le contraire des unes est concevable et le contraire des autres inconcevable, il est nul car cette distinction n'existe pas. Rien n'empêche que le contraire de certaines propositions d'expérience soit concevable, et le contraire de certaines autres inconcevable. Cela dépend de la structure de notre esprit. Il se peut qu'en certains cas il puisse démentir son expérience, et qu'en certains autres il ne le puisse pas. Il se peut qu'en certains cas la conception diffère de la perception, et qu'en certains autres elle n'en diffère pas. Il se peut qu'en certains cas la vue extérieure s'oppose à la vue intérieure, et qu'en certains autres elle ne s'y oppose pas. Or on a déjà vu qu'en matière de figures, la vue inté

present at that point, which we may rely on as being precisely similar to the reality. Now, whether we fix our contemplation upon this imaginary picture, or call to mind the generalizations we have had occasion to make from former ocular observation, we learn by the evidence of experience, that a line which, after diverging from another straight line, begins to approach to it, produces the impression on our senses which we describe by the a bent line ", not by the expression, expression a straight line".

rieure reproduit exactement la vue extérieure. Donc, dans les axiomes de figure, la vue intérieure ne pourra s'opposer à la vue extérieure; l'imagination ne pourra contredire la sensation. En d'autres termes, le contraire des axiomes sera inconcevable. Ainsi les axiomes, quoique leur contraire soit inconcevable, sont des expériences d'une certaine classe, et c'est parce qu'ils sont des expériences d'une certaine classe que leur contraire est inconcevable. De toutes parts surnage cette conclusion, qui est l'abrégé du système : toute proposition instructive ou féconde vient d'une expérience, et n'est qu'une liaison de faits.

VII

Il suit de là que l'induction est la seule clef de la nature. Cette théorie est le chef-d'œuvre de Mill. II n'y avait qu'un partisan aussi dévoué de l'expérience qui pût faire la théorie de l'induction.

Qu'est-ce que l'induction? C'est l'opération « qui découvre et prouve des propositions générales. C'est le procédé par lequel nous concluons que ce qui est vrai de certains individus d'une classe est vrai de toute la classe, ou que ce qui est vrai en certains temps, sera vrai en tout temps, les circonstances étant pareilles. » C'est le raisonnement par lequel,

1. Induction, then, is that operation of the mind, by which we infer that what we know to be true in a particular case or

ayant remarqué que Pierre, Jean et un nombre plus ou moins grand d'hommes sont morts, nous concluons que tout homme mourra. Bref, l'induction lie la mortalité et la qualité d'homme, c'est-à-dire deux faits généraux ordinairement successifs, et déclare que le premier est la cause du second.

Cela revient à dire que le cours de la nature est uniforme. Mais l'induction ne part pas de cet axiome, elle y conduit; nous ne la trouvons pas au commencement, mais à la fin de nos recherches'. Au fond l'expérience ne présuppose rien hors d'elle-même. Nul principe à priori ne vient l'autoriser ni la guider. Nous remarquons que cette pierre est tombée, que ce charbon rouge nous a brûlés, que cet homme est mort, et nous n'avons d'autre ressource pour induire que l'addition et la comparaison de ces petits faits isolés et momentanés. Nous apprenons par

cases, will be true in all cases which resemble the former in certain assignable respects. In other words, Induction is the process by which we conclude that what is true of certain individuals of a class is true of the whole class, or that what is true at certain times will be true in similar circumstances at all times.

1. We must first observe, that there is a principe implied in the very statement of what Induction is; an assumption with regard to the course of nature and the order of universe: namely, that there are such things in nature as parallel cases; that what happens once, will, under a sufficient degree of similarity of circumstances, happen again, and not only again, but as often as the same circumstances recur. This, I say, is an assumption, involved in every case of induction. And, if we consult the actual course of nature, we find that the assumption is warranted. The universe, we find, is so constitued, that whatever is true in any one case, is true at all cases of a certain description; the only difficulty is, to find what description.