Erd., 93b {Fund, calculi ratiocinatoris

3. Cout., Op., 42, 44, 49-50, 57, 66-67, 71-77, 78; Cf. 84-85, 89-92. V. aussi Ibid., 277 (Linguageneralis, févr. 1678).

L ART d' L\ VENTER .

universel, il adopte un autre procédé qui est à la fois de nature algébrique et très rapproché de la tradition aristotélicienne. Il emploie des lettres qui se juxtaposent comme dans la multiplication algébrique, et la copule est, au lieu du signe d'égalité. On y trouve donc des formules telles que celles-ci : a est a, a est bc, ad est bd, qui représentent des rapports d'identité ou de simple inclusion logique1.

En 1686, apparaît, dans les Inquisitions générales...2, une notation plus complexe. L'auteur y revient au procédé algébrique du Spécimen calculi univer salis. Mais, en même temps, il y préfère les majuscules aux minuscules et rétablit le signe d'égalité ; de plus, il fait encore l'éloge des nombres et les emploie quand il les trouve plus commodes3; il a même recours à la figuration géométrique dont il parle d'ailleurs plus longuement dans un groupe de feuillets intitulé : De formae logicae comprobatione per linearum ductus. « Res utiliter exhibebitur figuris » ; et le conseil est immédiatement suivi de quelques exemples typiques4.

A l'année 1690 se rapportent deux fragments relatifs au même sujet et dont l'un s'appelle Primaria calculi logici fundamenta5, et l'autre Fundamenta calculi logici G. Leibniz y suit, en le raffinant sur certains points, le procédé du Spécimen calculi universalis; là se trouvent encore ses préférences. Peut-être faut-il rattacher à la même époque l'étude si soignée qui s'intitule Non inelegans spécimen demonstrandi in abstractis~ . Leibniz s'y sert de majuscules et du signe d'égalité, comme dans les Inquisitions générale*. Mais il ne procède plus ici par multiplication ni division ; l'inclusion est symbolisée par le signe -h et l'exclusion par le signe — 8.

1. Le commencement du Spécimen calculi universalis se trouve dan.s Gerhardt (Phil.j VII, 218-221); le reste a été publié par L. Couturat [Op., 239- 243).