History of Logic in the Seventeenth and Eighteenth Centuries