Fue una figura principal e la historia de la lógica matemática (término que él generalizó), debido a que sintetizó y difundió las obras de George Boole, Augustus De Morgan, Hugh MacColl y especialmente la de Charles Peirce.