En 1640 est publié l'Augustinus de Cornélius Jansénius, qui présente la doctrine de saint Augustin et rouvre les débats sur la liberté humaine et de la grâce divine. Les jansénistes « disciples de saint Augustin » croient la grâce purement gratuite et efficace, alors que les jésuites et les molinistes croient la liberté de l’homme assez forte par elle-même pour accomplir les commandements de Dieu sans aide efficace de sa part. Dans ces querelles théologiques Blaise Pascal prend la défense de son ami janséniste Antoine Arnauld exclu de la faculté de Sorbonne.