nos moyens de raisonner. La connaissance de nos moyens de raisonner n’est que la connaissance de nos facultés intellectuelles. Ainsi l’art logique dépend de la connaissance de nos facultés intellectuelles ; la science logique n’est que cette connaissance ; et tous deux se découvrent par l’analyse de ces facultés. Certainement il n’y a là que des substitutions ou traductions d’expressions. De même quand je dis, x 2 est égal à a 2 plus 2 ab plus b 2, est égal à a plus b 2,
est égal au quarré d’ a plus b, est égal à a plus b multiplié par lui-même, ainsi x est égal à a plus b
- il n’y a encore là que des
traductions. Mais je vais plus loin ; et je soutiens qu’il n’y a de même que des substitutions d’expressions dans les autres opérations que l’on a voulu reconnaître tant dans le calcul que dans le raisonnement. Dans l’addition, je ne fais que substituer à l’expression 3 plus 4, l’expression 7 ; et dans la soustraction, à l’expression 7 moins 2, l’expression 5, et ainsi des autres. De même dans le raisonnement, quand de propositions particulières je m’élève à une proposition générale, je dis, un tel corps est pesant, un tel autre l’est aussi, un troisième l’est