La logique symbolique de Boole

 La logique symbolique de George Boole "fut, comme l'écrira Alfred North Whitehead en 1897, "reniée par de nombreux logiciens sous le prétexte que son intérêt est mathématique, et par de nombreux mathématiciens sous le prétexte que son intérêt est logique"

Il fallut alors attendre que l'idée d' "algèbre universelle " telle que, précisément, Whitehead sut la lire dans la logique symbolique de Boole, fût arrivée à sa pleine signification pour voir les mathématiciens, au début du siècle, reconnaître l'ampleur du champ qu'avait commencé de défricher l'auteur des Lois de la Pensée. "

Souleymane Bachir DIAGNE, Professeur à l'Université Cheikh Anta Diop de Dakar, Traducteur de Boole, chez Vrin, 1992

Nous avons pris un tas de livres à la BM. Des livres avec des commentaires élogieux. Ils nous tombent des mains par cette canicule. 

Alors je me suis mis à relire les mémoires d'un ami et des auteurs comme Boole (j'exagère ! je n'ai pas tout lu !)