Ouvrage célèbre et important dans l'histoire de la pensée et souvent dénommé ""La logique de Port-Royal"", il s'agit de l'approche logique selon le Jansénisme, une approche cartésienne et pascalienne de la raison, une association de la raison avec le raisonnement mathématique vu comme un idéal de pensée. Antoine Arnauld fut une grande figure intellectuelle du XVIIe, non seulement comme controversiste, mais également comme philosophe et érudit ; il s'associa avec Pierre Nicole, autre janséniste renommé, pour la rédaction de cet ouvrage.