Page:Arnauld et Nicole - Logique de Port-Royal, Belin, 1878.djvu/230

La bibliothèque libre.
Le texte de cette page a été corrigé et est conforme au fac-similé.

misses doivent contenir la conclusion : ce qui ne pourrait être si, le même terme étant dans les prémisses et dans la conclusion, il avait moins d’étendue dans les prémisses que dans la conclusion ; car le moins général ne contient pas le plus général, quelque homme ne contient pas tout homme.

L’autre règle générale est que le moyen doit être pris au moins une fois universellement ; ce qui dépend encore de ce principe, que la conclusion doit être contenue dans les prémisses. Car, supposons que nous avons à prouver que quelque ami de Dieu est pauvre, et que nous nous servions pour cela de cette proposition, quelque saint est pauvre, je dis qu’on ne verra jamais évidemment que cette proposition contient la conclusion que par une autre proposition où le moyen, qui est saint soit pris universellement ; car, il est visible qu’afin que cette proposition, quelque saint est pauvre, contienne la conclusion, quelque ami de Dieu est pauvre, il faut et il suffit que le terme quelque saint contienne le terme quelque ami de Dieu, puisque pour l’autre elles l’ont commun. Or, un terme particulier n’a point d’étendue déterminée ; il ne contient certainement que ce qu’il enferme dans sa compréhension et dans son idée.

Et par conséquent, afin que le terme quelque saint contienne le terme quelque ami de Dieu, il faut qu’ami de Dieu, soit contenu dans la compréhension de l’idée de saint.

Or, tout ce qui est contenu dans la compréhension d’une idée en peut être universellement affirmé ; tout ce qui est affirmé dans la compréhension de l’idée de triangle peut être affirmé de tout triangle ; tout ce qui est enfermé dans l’idée d’homme peut être affirmé de tout homme, et, par conséquent, afin qu’ami de Dieu soit enfermé dans l’idée de saint, il faut que tout saint soit ami de Dieu : d’où il s’ensuit que cette conclusion, quelque ami de Dieu est pauvre, ne peut être contenue dans cette proposition, quelque saint est pauvre, où le moyen saint est pris particulièrement, qu’en vertu d’une proposition où il soit pris