DELBŒUF. — LOGIQUE ALGORITHMIQUE '583
^st soumis à des lois, et conserver des doutes sur la réalité des lois découvertes. En tant donc que distinct du réel, le vrai n'est, après tout, que le vrai pour nous, autrement dit, le vraisemblable . C'est là un point très-important que nous avons examiné dans la pre- mière partie de ce travail. Nous y avons vu que la vérité objective n'est pas la même chose que la vérité subjective, bien que, en fait, la première se traduise toujours par la seconde.
92. DÉF. Au point de vue de la vérité objective, la relation entre le sujet et le prédicat est conçue comme ne pouvant pas ne pas être, auquel cas elle est absolue^ ou comme pouvant ne pas être, auquel cas elle est potentielle. Elle peut aussi être conçue comme correspon- dant à la réalité, et dans ce cas elle est dite réelle, ou bien comme n* ayant qu'une existence fictive, dans ce cas elle est dite imaginaire.
De là, toute relation se range dans l'une des quatre classes sui- vantes : le nécessaire, Vimpossihle, le contingent, le possible. C'est «e que montre la figure 16.
��Fig. 16.
Le nécessaire {n] c'est ce qui est réel d'une façon absolue,, c'est ce qui ne peut pas ne pas exister. Vimpossible (i), c'est ce qui est imaginaire d'une façon absolue, ipar conséquent, ce qui ne peut pas exister. Le contingent (c) est un réel potentiel, c'est ce qui existe, mais pourrait ne pas exister; et le possible (p) est un iynaginaire potentiel, c'est ce qui n'existe pas, mais pourrait exister.
93. Cor. A et P sont des concepts contradictoires (56), ainsi que R et I; et l'on a : A = 1 — P; R == 1. — L On a aussi : n = AR; i=z AI; e^PR; p = PL
Rem. 24. La logique ordinaire appelle modalité la manière dont est conçue la relation entre le sujet et le prédicat, et elle a divisé de ce chef les jugements en apodictiques, assertoires et problématiques. Les jugements apodictiques comprennent ceux qui posent la relation comme nécessaire et ceux qui la posent comme impossible. Nous ferons donc une distinction ultérieure.
�� �
