A .VI - PROPOS

neux radiés au dedans de nous, que la rencouliv des sens et des objets externes fait paraître comme des étincelles que le choc l'ail sortir du fusil; et ce n'est pas sans raison qu'on croit que ces éclats marquent quelque chose de divin et d'éternel, qui parait surtout dans les vérités nécessaires. D'où il naît une autre question, savoir: si toutes les vérités dépendent de l'expérience, c'est-à-dire de l'induction et des exemples, ou s'il y en a qui ont encore un autre fondement. Car si quelques événements peuvent être prévus avant toute épreuve qu'on en ait faite, il est manifeste que nous y contribuons en quelque chose de notre part. Les sens, quoique nécessaires pour toutes nos connaissances actuelles, ne sont point suffisants pour nous les donner toutes , puisque les sens ne donnent, jamais que des exemples, c'est-à-dire des vérités particulières ou individuelles. Or, tous les exemples qui confirment une vérité générale, de quelque nombre qu'ils soient, ne sullisent pas pour établir la nécessité universelle de cette même vérité, car il ne suit pas que ce qui est arrivé arrivera toujours de même. Par exemple, les Grecs et les Romains et tous les autres peuples ont toujours remarqué qu'avant le décours de vingt-quatre heures le jour se change en nuit et la nuit en jour. Mais on se serait trompé si l'on avait cru que la même règle s'observe partout, puisqu'on a vu le contraire dans le séjour de Nova-Zembla. Et celui-là se tromperait encore qui croirait que c'est au moins, dans nos climats, une vérité nécessaire et éternelle, puisqu'on doit juger que la terre et le soleil même n'existent pas nécessairement, et qu'il y aura peut-être un temps où ce bel astre ne sera plus, avec tout son système, au moins eu sa présente forme. D'où il parait que les vérités nécessaires, telles qu'on les trouve dans les mathématiques pures, et particulièrement dans l'arithmétique et dans la géométrie, doivent avoir des principes dont la preuve ne dépende point des exemples ni par conséquent du témoignage des sens, quoique sans les sens on ne se serait jamais avisé d'y penser. C'est ce qu'il faut bien distinguer, et c'est ce qu'Euclide a si bien compris en montrant par la raison ce qui se voit assez par l'expérience et par les images sensibles. La logique encore, avec la métaphysique et la morale, dont l'une forme la théologie et l'autre la jurisprudence, naturelles toutes deux, sont pleines de telles vérités, et par conséquent leur preuve