‹ Théorie logique des propositions modalesChapitre 36 sur 81 · SECONDE DÉMONSTRATION DE LA PREMIÈRE RÈGLE · texte numérisé non relu

SECONDE DÉMONSTRATION DE LA PREMIÈRE RÈGLE

Cette seconde démonstration repose sur la matière, et non plus sur la forme des propositions. Elle conclut par la force de l'exemple * . On n'emploie plus des lettres, mais des propositions ayant des termes spécifiés.

« Il est possible que la qualité d'être blanc ne soit « pas à tous les hommes, parce qu'il est également ft possible quelle soit à tous. Mais on ne dira pas avec « la même vérité en prenant la réciproque : Il est pos- « sible que l'humanité ne soit à aucun être blanc. « Il y a en effet beaucoup d'êtres blancs auxquels né- « cessairement l'humanité n'appartient pas, or la « proposition nécessaire exclut la proposition contin- « gente ^. »

En maintenant la négative générale après la con-

' Voir plus bas, IWre UI, seconde partie.

' Anàlyt, prior., lib. I, cap. xvii, § 3.

n GontiDgent simple : il se peut qu'aucun homme ne se lave ; ce dernier a contingent ne se convertit pas en ses propres termes ; car si Ton dit : « Il se peut qu'aucun être qui se lave ne soit homme; non-seulement cela « se peut d'une manière contingente, mais cela est absolument, puisque, « en réalité, il y a des animaux autres que Thomme qui se lavent. » (Ad Ânalyt. prtor., lib. I, cap. m, §7. Barthélémy Saint-Hilaire , tr., tom. II, p. 11.)

version, on porte atteinte, comme on le voit, à la modalité de la proposition ; la conversion donne alors, non point l'équivalente, mais Topposée et la contraire de la proposition qui avait servi de point de départ.

Page 1