George Boole (1815–1864) is rightly known as a logician, the author of an algebra logic, even if he did not conceive it quite in same way we know it. The calculus on classes and propositions, that set out to be equivalent, were at core his logic. After more than twenty centuries where logic was associated analysis language, handled for first time with mathematical symbols. However, Boole’s one ...