George Boole et les lois de la pensée

Le logicien, mathématicien et philosophe britannique George Boole est né le 2 novembre 1815.
Il est le créateur de la logique classique, fondée sur une structure algébrique définissant une sémantique, et que l'on appelle algèbre de Boole en son honneur.
Il a exposé ses idées dans le livre "Les lois de la pensée" (réédité chez Vrin en octobre 2002). On peut en lire des extraits sur Google-Livres ou le commander chez amazon...
Présentation de l'éditeur :
L'algèbre de Boole, qui trouve en grande partie son origine dans cet ouvrage classique, a eu une influence de plus en plus grande dans toutes les branches des mathématiques. De nos jours, les généralisations qu'elle a connues jouent un rôle important en topologie générale, en géométrie projective, dans la théorie des algèbres abstraites, en analyse fonctionnelle et en théorie ergodique générale, ainsi que dans la constitution de relais électriques, sans oublier les applications logiques qui en étaient le but initial. Qui peut dire quels autres usages lui seront trouvés dans le prochain siècle ! " écrivait Garrett Birkhoff en 1954, à l'occasion du centenaire des Lois de la Pensée. Cent ans plus tôt, George Boole avait, quant à lui, voulu réaliser dans L'Etude des lois de la pensée le projet - à la fois logique, mathématique et philosophique - de dévoiler les lois ultimes des opérations de l'entendement ; de construire, sur leur fondement, l'algèbre de la logique comme la mathématique même de l'esprit humain ; d'en dériver les bases d'une approche nouvelle de la théorie des probabilités ; d'en tirer des conjectures sur la constitution de l'intellect humain en vue d'éclairer, éventuellement, l'histoire des idées philosophiques de l'humanité...