Antoine Arnauld, dit le Grand Arnauld (1612-1694), théologien janséniste, grammairien et logicien, a bien servi la philosophie: interlocuteur de Descartes; correspondant de Leibniz, éditeur des Pensées de Pascal, il est l'un de ceux qui ont le plus contribué à légitimer le cartésianisme.

Foucault et Chomsky se sont intéressés à sa Logiqueou art de penser (écrite avec P. Nicole) et à sa Grammaire générale et raisonnée de Port Royal (écrite avec C. Lancelot), nées de la controverse qui a opposé Jansénistes, Jésuites et Curie romaine au XVII^e siècle.

Sa théorie des idées, construite en opposition à celle de Malebranche, constitue une étape importante dans la constitution du problème de l'idéalité - qui trouvera son aboutissement chez Kant.

Plusieurs raisons, par conséquent, de revenir sur une oeuvre méconnue.

On commence par rappeler le contexte dans lequel le jansénisme est né; on situe ensuite Arnauld relativement à Descartes, au cartésianisme et à la philosophie en général; on précise sa doctrine, principalement sa conception de l'homme déchu ; on détaille également sa morale. Après quoi, on restitue les grands thèmes de sa Logique et de sa Grammaire . On examine enfin la théorie des idées d'Arnauld et on fait le point sur son retour dans le champ des sciences cognitives.