Vers la logique de Boole

Jacques Dufresne
L'ordinateur est le résultat de sept siècles de logique formelle
Leibniz, comme beaucoup de savants de son époque, était à la recherche d'une manière infaillible de raisonner. Qu'est-ce qui fausse notre raisonnement, qu'est-ce qui nous éloigne de la vérité? À l'époque de Leibniz, on répondait spontanément à cette question en accusant les sens. «Ce sont les sens qui nous trompent», avait écrit Descartes. Voilà pourquoi Leibniz, en cherchant une manière infaillible de raisonner, a été amené à s'élever dans l'abstraction jusqu'à une altitude telle que la perturbation venue des sens ne soit plus perceptible. Ce haut niveau d'abstraction est celui de la logique dite formelle.

À la vérité, c'est au philosophe espagnol Raymond Lulle (1235-1315) qu'il faut remonter pour discerner l'origine d'une telle logique formelle en Occident. Dans l'Art Bref, il a vraiment tenté de transformer les catégories d'Aristote en une machine de la vérité où, par un jeu complexe de schémas et de symboles, on peut représenter une multitude d'agencements possibles des éléments du savoir. «Le sujet de cet Art, écrit Raymond Lulle, est de répondre à toutes les questions, en supposant que soit connu ce qu'indique le nom». Le but de l'ordinateur sera de répondre à toutes les questions, à la condition qu'elles puissent être traitées selon des règles logiques elles-mêmes compatibles avec les circuits de l'ordinateur.

Le projet de Leibiniz resta inachevé. C'est le mathématicien anglais George Boole (1815-1864) qui, 150 ans plus tard, réalisera le rêve de Leibniz dans un ouvrage intitulé The Laws of Thought. Voici le but qu'il poursuivait et qu'il précise dans le premier paragraphe du livre: «étudier les lois fondamentales de l'esprit selon lesquelles le raisonnement s'accomplit; exposer ces lois dans le langage symbolique du calcul et, sur cette base, établir la science de la logique et construire sa méthode.» Boole émet l'hypothèse que les opérations de l'esprit engagé dans le raisonnement sont gouvernées par certaines lois algébriques, analogues aux lois des opérations arithmétiques familières relatives à l'addition, la soustraction, la multiplication, etc. À partir de ces lois fondamentales, qu'il expose à l'aide de symboles mathématiques, il construit une méthode pour résoudre des problèmes de logique.

Les hypothèses et les postulats de base sont d'abord mis sous forme d'équations. Par la suite, la manipulation des symboles logiques remplace l'habituel processus logique de déduction. Le raisonnement est ainsi ramené au calcul, la logique est réduite à l'algèbre. Soit deux termes: vrai ou faux, ou 0 et 1. Ces deux termes, ces deux états, peuvent se combiner de diverses manières. La somme logique de deux variables est égale à 1 lorsque au moins l'une d'elles a la valeur 1; elle est de 0 lorsque toutes deux ont simultanément la valeur 0. Le produit logique de deux variables est égal à 0 lorsque au moins l'une d'elles est égale à 0, et vaut 1 lorsque toutes deux ont simultanément la valeur 1.

Les «portes» sont une autre façon de représenter les opérations logiques. La porte «et» correspond à la multiplication logique, la porte «ou» à la somme logique. La porte «non» transforme une donnée en son contraire.

Un pas décisif en direction de l'ordinateur a été franchi lorsque l'on a identifié la similitude entre les portes logiques et les relais, et donc entre les circuits logiques et les circuits électriques. Supposons que 1 correspond à une impulsion forte, et 0 à une impulsion faible. On peut facilement régler les relais de telle sorte que seule l'impulsion forte puisse passer. Un circuit électrique peut ainsi devenir une machine à additionner.

1 (x) + 0 (y) = 1 (s)


A l'entrée les impulsions fortes et faibles correspondent aux touches 1 et 0 que l'on frappe sur le clavier avant d'appuyer sur la fonction addition +. Le relais OU est réglé de façon à ce qu'il y ait qu'un impulsion forte à la sortie lorsque les deux impulsions sont présentes à l'entrée. Le relais ET est réglé de façon à ce qu'il faille deux impulsions fortes a l'entrée pour qu'il y en ait une à la sortie. Le relais NON transforme une impulsion en son contraire. La réponse cherchée se trouve à droite du tableau. Elle correspond à la position 1.

Autres articles associés à ce dossier

La carte perforée

Jacques Dufresne

Du métier à tisser à l'ordinateur

L'ordinateur et l'électromagnétisme

Jacques Dufresne

Nord, Sud, 0,1...La boussole c'est déjà l'ordinateur.

L'industrialisation

Jacques Dufresne


Les événements décisifs

Jacques Dufresne

Si l'on définit le hasard comme la rencontre de deux ou plusieurs séries causales indépendantes, ont peut dire que l'ordinateur est le fruit du has

De la pascaline au robot

Jacques Dufresne

Exemple de la façon dont le XVIIe siècle a tenté de réaliser par des procédés mécaniques simples ce que le XXe siècle réalisera à l'aide de

À lire également du même auteur

Journal de l’été 2021. 2) Rapport du GIEC et Jeux olympiques
Le dernier rapport du GIEC sur les changements climatiques, plus alarmiste encore que les pré

Science, bon sens, complotisme et science critique. En compagnie de Pierre Biron.
Science sans critique est ruine de la raison. Science sans bon sens est ruine du sens « Scie

La philosophie aujourd’hui, par Marco Jean
Philosopher aujourd’hui pour retrouver la valeur intrinsèque des choses par-delà

Journal de l’été 2021. 5) L’ Afghanistan des talibans
La leçon sur les imprévus de l’histoire qu’on peut en tirer

Journal de l’été 2021. 3) Autochtones : droits, obligations et contributions.
À la recherche d’un équilibre entre la question des droits et celle des responsa

La pierre de Satan, par Mario Pelletier
Ce grand livre, aussi français et américain que québécois, et même

Journal de l'été 2021. 4) Covid 19, 20,21… Écologie, ploutocentrisme, anthropocentrisme
Comment rendre la maison commune dont rêvent les écologistes compatible avec le d&rsquo




Nos suggestions