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 Logique ou 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 XVIIe 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 œuvre 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.