Analyse mathématique de la logique

L'objet de l'ouvrage

Ce texte de George Boole propose de traiter les lois de la pensée par le calcul, en assimilant les opérations logiques ordinaires à des opérations de nature algébrique, jusque-là traitées séparément par les logiciens et les mathématiciens.

Méthode et apport

Boole y introduit une algèbre où des symboles représentent des classes ou des propositions, combinées par des opérations analogues à l'addition et à la multiplication, avec des valeurs limitées à deux états correspondant au vrai et au faux. Cette approche fonde la logique symbolique moderne et prépare l'algèbre booléenne qui portera son nom, appelée bien plus tard à jouer un rôle essentiel dans le développement du calcul logique, puis des circuits électroniques et de l'informatique, bien au-delà des ambitions initiales de son auteur.

Repères historiques

• publié en 1847