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.