Antoine Arnauld and Pierre Nicole update the study of logic to take account of the ideas of Descartes.