También se le tiene por precursor de la Lógica simbólica.