Det oppstod diskusjoner med Antoine Arnauld (likeså kartesianer og dessuten jansenist), som kritiserte boken straks den utkom, og dette ble en disputt som gikk over flerer år. Etter påtrykk fra Arnaulds tilhengere ble hans i 1690 til og med oppført på den pavelige index, likesom hans hovedverk .