Logique de Port-Royal ou Art de penser, ouvrage célèbre, composé par Arnauld et Nicole (1662). Il se divise en quatre parties : la 1re traite des idées ; la 2e du jugement et de la proposition ; la 3e du raisonnement et de ses règles ; la 4e de la méthode. C'est un commentaire solide et une apologie de cette maxime de l'évidence à laquelle Descartes ramenait toute certitude.