La logique est vraisemblablement en train de se trans
former; et cette transformation n'est autre que le développement de certaines vues de Descartes. Ce philosophe distingua, de la méthode d'exposition, laquelle va du général au particulier, et a pour organe le syllogisme, la méthode de découverte, qui vise à établir entre des termes individuels des connexions nécessaires, et qui procède par intuition et déduction. Cette doctrine se montra très féconde. Au mouvement qu'elle a suscité dans le domaine de la logique les Français s'associèrent activement*.
Lachelier démêla, dans les démonstrations mathématiques, essentiellement constructives, un mode de raisonnement irréductible à l'analyse conceptuelle et qualitative qu'opère le syllogisme traditionnel.
Delbœuf, l'un des premiers (1877), conçoit nettement une logique algorithmique, appliquant à la théorie du syllogisme le mode algébrique de notation.
Goblot est frappé de ce fait, qu'à la dififérence de la logique des logiciens, qui va du général au particulier, la logique réelle, celle des sciences positives, va du particulier au général. Il cherche, en ce sens, à reconstituer la logique. Il lui apparaît que toutes les méthodes, tant celles des mathématiques que celles des sciences d'obser\'ation, tendent à établir, non des subsomptions, mais des connexions, et, comme telles, sont, au fond, identiques. Dès lors, les sciences expérimentales, en découvrant des relations constantes entre les faits, préparent la voie à la déduction mathématique, laquelle, de proche en proche, transformera ces relations empiriques en connexions nécessaires.
Couturat, confrontant, avec Russell et Peano, la logique et les mathématiques, voit dans la logique classique, qui considère uniquement le rapport d'inclusion entre concepts, un simple chapitre d'une logique beaucoup plus générale, étudiant, non seulement la relation d'inclusion conceptuelle, mais toutes les relations capables de donner lieu à une déduction. Ce serait la logique de la relation, substituée à la logique de la simple inclusion.