Nació en 1848
Considerado como el padre de la lógica moderna.
Estableció la distinción entre variable y constante, el concepto de función lógica, la idea de función de varios argumentos y el concepto de cuantificador.
De esta manera es como inicia la teoría de las descripciones. Obra: "Conceptografía."
