{ 734) 



propositions le déterminatif quelques éqmwaui à certain groupe, 

 — Au surplus, les anciens avaient relevé déjà l'extension et la 

 portée universelle du prédicat dans les propositions négatives 

 et son extension particulière dans les affirmatives, et enfin, la 

 convertibilité des négatives universelles et particulières dans 

 certains cas. 



La réduction du rapport du prédicat avec le sujet à une 

 pure identité et son expression par l'égalité ou la substitu- 

 tion, à l'instar des raisonnements d'algèbre, n'est pas moins 

 combattue, bien qu'une nouvelle école de logique ait accepté 

 ce principe, en Angleterre notamment, avec Morgan, Boole, 

 Murphy et chez nous avec J, Delbœuf. Il y a longtemps que le 

 logicien Gibon avait rappelé que la relation des membres dans 

 les équations algébriques n'est pas une identité, mais une 

 équivalence; et que, dans la dérivation mutuelle des quantités, 

 les concepts sont aussi bien différenciés que les expressions. — 

 Mais, d'autre part, les adversaires répondent que l'équivalence 

 autorise la substitution et légitime, de la sorte, l'algorithmie 

 et l'assimilation des formules logiques à celles de l'algèbre •. 



L'enquête sur les éléments derniers de la réalité et de 

 l'esprit dérive de leur analyse rationnelle et se fonde sur les 

 notions nécessaires et évidentes, signalant dans ces concepts 

 le rapport nécessaire du prédicat avec le sujet, ou bien sur des 

 raisonnements réductibles à ces vérités manifestes. L'objet con- 

 naturel de l'intelligence humaine est l'essence ou le type intelli- 

 gible des choses matérielles et de l'organisme coexistant à 

 l'esprit. L'essence des êtres immatériels, comme les substances 

 spirituelles, ne nous est accessible que dans une connaissance 

 analogique et indirecte, basée sur le raisonnement et l'observa- 

 tion de notre âme. La cause première, par sa transcendance 

 môme, ne peut être l'objet d'une science intuitive proprement 

 dite : son existence se démontre avec la certitude des preuves 

 d'ordre ontologique et moral, par la considération attentive 

 des tendances primitives des facultés vers l'idéal et l'infini, par 



* Voir 5L Janet, Traité de philosophie, no 375. 



