: Definisce formalmente cosa significa "calcolare" in modo meccanico.

Prima di Boole, la logica era considerata una branca della filosofia, ferma alle strutture sillogistiche di Aristotele.

: Includono la logica sfumata (Fuzzy), la logica modale (necessità/possibilità) e le logiche paracoerenti.

: I principi di Boole sono implementati in ogni chip tramite le Porte Logiche .