‹ Logique de Port-Royal: suivie des trois fragments de Pascal sur L'AutoritéChapitre 150 sur 299 · DEUXIÈME PARTIE · texte numérisé non relu

DEUXIÈME PARTIE

fermer cette idée ; et par conséquent, quand on dit qu'une idée n'en enferme pas une autre, qui est ce qu'on appelle nier, on dit qu'elle n'est pas un des sujets de cette idée.

Ainsi, si je dis que l'homme n'est pas un être insensible, je veux dire qu'il n'est aucun des êtres insensibles, et par conséquent je les sépare tous de lui; et de là on peut tirer cet autre axiome.

Axiome VI. L* attribut d'une proposition négative est toujours pris" généralement. Ce qui peut aussi s'exprimer ainsi plus distinctement. Tous les sujets d'une idée qui est niée d'une autre, sont aussi niés de cette autre idée; c'est-à-rdire qu'une idée est toujours niée selon toute extension. Si le triangle est nié des carrés, tout ce qui est triangle sera nié du carré. On exprime ordinairement dans l'école cette règle en ces termes, qui ont le même sens : Si on nie le genre, on nie aussi l'espèce; car l'espèce est un sujet du genre, l'homme est un sujet d'animal, parce qu'il est contenu dans son extension.

Non-seulement les propositions négatives séparent l'attribut du sujet selon toute l'extension de l'attribut, mais elles séparent aussi cet attribut du sujet selon toute l'extension qu'a le sujet dans la proposition ; c'est-à-dire qu'elles l'en séparent universellement si le sujet est universel, et particulièrement s'il est parti • culier. Si je dis que nul vicieux n'est heureux, je sépare toutes les personnes heureuses de toutes les personnes vicieuses ; et si je dis que quelque docteur n'est pas docte, je sépare docte de quelque docteur, et de là on doit tirer cet axiome.

Axiome VII. Tout attribut nié d'un sujet est nié de tout ce qui est contenu dans V étendue de cette proposition.

Page 1