Je veux prouver que Dieu, quoique tout-puissant, ne peut pas faire ce qui implique contradiction. Je dis : — « Dieu est tout-puissant — un être tout-puissant est celui qui peut faire tout ce qui est possible — ce qui est possible est ce qui n’implique pas contradiction — donc Dieu peut faire tout, ou ne peut faire que — ce qui n’implique pas contradiction. » On appelle sorite cette suite de syllogismes tronqués. […] Vous voulez prouver par le dilemme que Dieu a créé le monde parfait en son espèce : — « Majeure : Si Dieu n’a pas créé le monde parfait, cela ne peut venir que d’un défaut de volonté ou d’un défaut de puissance ; — Mineure : mais cela ne vient ni d’un défaut de volonté, car alors il serait méchant, c’est-à-dire il ne serait pas Dieu ; ni d’un défaut de puissance, car alors il serait impuissant, c’est-à-dire encore il ne serait pas Dieu ; — Conclusion : donc il a créé le monde parfait en son espèce. » Je passe d’autres espèces d’arguments ; ce livre n’est pas un traité de logique ; mais ce peu de mots peut suffire, ce me semble, à établir le principe et les modes les plus ordinaires de la logique formelle.