Page:Revue philosophique de la France et de l'étranger, III.djvu/292

La bibliothèque libre.
Cette page n’a pas encore été corrigée

282 REVUE PHILOSOPHIQUE

2» La loi de contradiction : Une chose ne peut pas à la fois être et ne pas être.

Symboliquement : Aa = 0. 3* La loi de dualité : Une chose doit être ou ne pas être.

Symboliquement : A = A .|» B. Sous la garantie de ces lois que toute pensée présuppose et aux- quelles, par conséquent, aucune preuve ne s'applique, nous rempla- çons, dans une relation donnée, une chose par une chose semblable ou équivalente. « Dans toute relation, une chose e st avec une autre chose dans le même rapport qu'elle est avec une chose semblable ou équivalente à celle-ci, » ou encore : « dans un ensemble, nous pouvons remplacer une partie par son équivalent, s ans altérer le ^tout. »

Ainsi l'unique principe du raisonnement déductif en général est que ce qui est vrai d'une chose ou d'une circonstance est vrai de toute autre chose ou circonstance semblable ou équivalente, et Tu- nique procédé de déduction est la suhstitutioyi des semblables ^ .

Illustrons cette théorie par quelques exemples de déduction directe.

Le cas le plus simple est celui de l'inférence immédiate qui con- siste à joindre une quahfication aux deux membres d'une identité. Ainsi, dans le cas de l'identité totale ou simple, de

A = B on conclut A G = B G

"donc 2 + 8= 2 +.(5 + 3). Plantes = corps décomposant l'acide carbonique ; Donc : Plantes microscopiques = corps microscopiques décom- posant l'acide carbonique.

De même, dans le cas de l'identité partielle, de A = AB

on conclut : A G — A G B.

��1. M. .levons reconnaît avec une entière bonne foi que le logicien allemand Beneke avait avant lui, mais à son insu, employé le principe de la substi- tution dans la théorie du syllogisme. — Il ignorait de même que M. Renouvier, dont les ouvrages ne sont peut-être pas encore aujourd'hui connus en Angle- terre, avait, dans la première édition de son premier Essai de critique géné- rale, d854, montré que le raisonnement déductif procède par substitution de rapports.

�� �