Antoine Arnauld and Pierre Nicole: Logic or the Art of Thinking