En 1847, George Boole publicó un breve tratado titulado "El análisis matemático de la lógica", y en 1854 otro más importante titulado "Las leyes del pensamiento".