Aparecen los primeros intentos y realizaciones de máquinas de cálculo (Pascal y Leibniz) y aunque su desarrollo no fue eficaz, sin embargo la idea de una "Mathesis Universalis" o "Characteristica universalis" es el antecedente inmediato del desarrollo de la lógica simbólica a partir del siglo XX.