Las especulaciones sobre un cálculo del razonamiento ocuparon los pensamientos de Boole, pero no fue hasta la primavera de 1847 cuando expresó sus ideas en el folleto titulado "Análisis Matemático de la Lógica".