algèbre logique
Discipline mathématique dont les racines remontent à Leibniz mais qui a connu son réel essor dans la seconde moitié du dix-neuvième siècle, l’algèbre logique consiste à appliquer aux objets de la science logique les concepts et les méthodes de l’algèbre numérique classique. Elle porte sur les opérations qui interviennent dans le calcul des classes, des relations ou des propositions.

L’activité ou la réalité logiques sont vues comme faites d’opérations ou d’opérateurs agissant sur des êtres logiques tels que les propositions, les classes ou les relations, ainsi que des variables de propositions, de classes ou de relations, etc. L’algèbre logique est alors la science de ces opérations logiques que sont l’addition ou la réunion des classes, leur multiplication, l’addition ou la multiplication des relations, ou encore des propositions. Guidée par cette science, l’activité logique peut ainsi donner lieu à un calcul, qui peut être mécanisé, et qui, dans son fonctionnement, est voisin du calcul algébrique classique (dans lequel les opérations agissent sur des nombres et des variables numériques).


© Fondation Jean Piaget 2024 - Mise à jour: 5 février 2024