Georges Boole
Un Anglais au carré
Dans la préface des Lois de la pensée, Georges Boole écrit : “l’objet de ce traité est d’étudier les lois fondamentales des opérations de l’esprit par l’intermédiaire desquelles s’effectue le raisonnement, de les exprimer dans le langage symbolique du calcul, et sur cette base d’édifier la science de la logique et enfin d’en tirer quelques informations probables sur la nature et la constitution de l’esprit humain”.
L’algèbre de Boole représente les opérations logiques dans un langage précurseur du langage ensembliste. A une propriété des objets d’un “univers”, il associe la classe des objets de cet univers qui la possède.
A la propriété “anglais”, appartenant à l’univers des humains, on peut associer une classe d’humains possédant cette propriété.
