expérience a démontré l’efficacité. C’est une erreur. M. Macfarlane montre avec la dernière évidence que le système de Boole se rattache par une analogie intime, par une filiation directe, au symbolisme géométrique d’Euler (p. 1). Tout le monde sait en quoi consiste ce symbolisme célèbre.
Soit le syllogisme :
Tous les mammifères sont des vertébrés,
Tous les singes sont des mammifères,
Tous les singes sont des vertébrés.
Considérons d’abord ce syllogisme au point de vue de la dénotation des termes ; notre raisonnement signifiera ceci : Nous avons trois classes d’êtres : les vertébrés, les mammifères et les singes. Si la classe des singes est contenue dans la classe des mammifères, et si la classe des
mammifères est contenue dans celle des vertébrés, il est évident que la classe des singes est contenue dans celle des vertébrés. Cela peut être rendu sensible aux yeux de la façon la plus simple. Représentons nos trois classes par trois cercles :
La classe des vertébrés, par le cercle A ;
La classe des mammifères, par le cercle B ;
La classe des singes, par le cercle C.
La première proposition de notre syllogisme affirme que le cercle B est contenu dans le cercle A ; la seconde, que le cercle C est contenu
