Né en 1612, le plus jeune d'une famille dont l'histoire se confond avec celle du couvent de Port-Royal, Antoine Arnauld renonce à la carrière juridique à laquelle on le destinait pour étudier la théologie à la Sorbonne, où l'influence de l'abbé de Saint-Cyran l'attire vers le jansénisme. Son ouvrage De la fréquente Communion (1643) contribue puissamment à populariser auprès du grand public les idées du mouvement janséniste et sa critique de la théologie morale jésuite, ce qui lui vaut d'être exclu de la Sorbonne et de se retirer à Port-Royal, où il compose avec Lancelot la Grammaire générale et raisonnée (1660) puis, avec Nicole, la fameuse Logique de Port-Royal (1662). Après des décennies de conflit avec les jésuites autour de la signature du formulaire condamnant les thèses de Jansénius, il tombe en disgrâce et s'exile aux Pays-Bas, où il meurt en 1694.