Antoine Arnauld — le Grand as contemporaries called him, to distinguish him from his father — was a French Roman Catholic theologian, philosopher, and mathematician. He was one of the leading intellectuals of the Jansenist group of Port-Royal and had a very thorough knowledge of patristics.