inférence

Le secret de toutes les machines qui raisonnent est après tout très sobre. C'est que quelles que soient les relations entre les objets raisonnés qui sont destinées à être la charnière d'une ratiocination, cette même relation générale doit pouvoir être introduite entre certaines parties de la machine. Par exemple, si nous voulons faire une machine qui soit capable de raisonner dans le syllogisme

Si A alors B,
Si B alors C,
Par conséquent, si A alors C,

il suffit d'avoir une relation qui peut être introduite à volonté, de sorte que lorsqu'un événement A se produit dans la machine, un autre événement B doit également se produire. Cette connexion étant introduite entre A et B, et aussi entre B et C, elle est nécessairement virtuellement introduite entre B et C. C'est le même principe qui est à la base de toute algèbre logique ; seulement qu'en algèbre, au lieu de dépendre directement des lois de la nature, on établit des règles convenues pour les relations à utiliser. Lorsque nous raisonnons sans aide, nous faisons sensiblement la même chose, c'est-à-dire que nous construisons une image à notre guise selon certaines conditions générales et observons le résultat. De ce point de vue également, chaque machine est une machine à raisonner, dans la mesure où il existe certaines relations entre ses parties, relations qui impliquent d'autres relations qui n'étaient pas expressément prévues. Un appareil pour réaliser une expérience physique ou chimique est aussi une machine à raisonner, avec cette différence qu'il ne dépend pas des lois de l'esprit humain, mais de la raison objective incarnée par les lois de la nature. Par conséquent, ce n'est pas une figure de rhétorique que de dire que les alambics et les cucurbitacées du chimiste sont des instruments de la pensée, ou des machines logiques.

Auteur: Peirce Charles Sanders

Info: Logical Machines. The American Journal of Psychology, 1, 165-170. 1887

[ induction ] [ tâtonnement ] [ simplicité ]