Princ. of sci-, B. I, cli

tien ^ » Par conséquent, considérons d'abord le raisonnement déductif, et, dans le raisonnement déductif, distinguons la déduction directe de la déduction indirecte.

Le cas le plus simple de la substitution des semblables dans la déduction directe est celui de l'inférence immédiate, qui consiste à joindre un qualificatif aux deux membres d'une identité.

Ainsi de l'identité simple A = B,

on conclut AG -= BG,

Plantes = corps décomposant l'acide carbonique. Donc : plantes microscopiques = corps microscopiques décomposant l'acide carbonique.

De même, de l'identité partielle A = AB, on conclut

AC = AGB.

Inférences médiates. — Premier cas — Inférence tirée de deux identités simples :

dans l'identité A = B, à B substituons son identique G, et nous avons :

La capitale de l'Angleterre = Londres, Londres = la cité la plus populeuse du globe, Donc la capitale de l'Angleterre = la cité la plus populeuse du globe.

4. Cf. Princ. of sci., B. I, ch. 6 ; On tlie mechanlcal performance of Logical inférence.

STANLEY JEVONS 159

Deuxième cas, — Inférence tirée d'une identité simple et d'une identité partielle :

A = B, B = BC; dans l'identité A = B, à B substituons son équivalent BG, et nous avons :