When was Leibniz an active philosopher?