( 17 ) 

 formule logique, el l'on trouvera qu'elle repose sur une 

 majeure disjonclive. Pour démontrer indirectement la 

 spiritualité de l'àme, par exemple, vous ferez ce syllo- 

 gisme : 



Uâme est ou esprit on matière : 

 Or elle n'est pas matière ; 

 Donc elle est esprit. 



Et vous démontrerez la mineure soit directement soit 

 indirectement; vous direz par exemple : 



Si l'âme est matière, elle est étendue, elle est inerte, etc. : 

 Or elle n'est pas étendue, elle n'est pas inerte, etc. ; 

 Donc elle n'est pas matière. 



Cette mineure-ci vous pourrez la démontrer àjoo*/eWoW, 

 par induction. 



Vous trouverez toujours à la tête d'une démonstration 

 indirecte soit un jugement di.sjonctif, soit un jugement 

 livpolhélique , soit un jugement hypothélico-disjonctif 

 ou dilemme, mais jamais une division logique, si ce n'est 

 par surabondance, et alors elle ne dispense pas du juge- 

 ment disjonctif proprement dit. 



Cet exemple montre aussi comment la fin du travail de 

 M. Tandel se rattache à la partie principale. Voici la for- 

 mule générale de toute démonstration indirecte. — Qu'il 

 s'agisse de savoir si A est B, on prouvera (ju'il ne peut pas 

 être le contraire de B, et on dira : 



A est B ou non — B : 

 Or A nest pas non — B ,• 

 Donc A est B. 



ToM. vî. 2. 



