Con Pierre Nicole, Arnauld fue el autor de "La logique ou l’art de penser" (Lógica de Port-Royal), obra fundamental en la historia de esta disciplina, distinguida por la acusada influencia del cartesianismo que fue utilizada como manual elemental hasta el siglo XX