Nacido en 1612, profesor de teología en la Sorbona, fue expulsado de la Universidad por su crítica a los
jesuitas ("Traité de la frequente communion") y su adhesión al
jansenismo, por lo que se enfrentó al papa
Alejandro VII. Seguidor de
Descartes, se retiró a uno de sus monasterios más fieles, Port-Royal, hasta que
Clemente IX firmó la paz con los obispos franceses en 1668. Junto a Nicole, escribió dos ensayos filosóficos de gran influencia: "Grammaire générale et raissonée" y "La logique oú l´art de penser", las dos publicadas en 1662.