Seguramente fue Boole el primero que inició este proceso de unificación intentando matematizar la lógica.