La logique au siècle des Lumières
Informations[2]Au 18e siècle, Leibniz a cherché à rendre compte des raisonnements logiques par une représentation et un calcul.
Il y est de fait arrivé, l'ensemble des syllogismes[3] peut se réduire à du calcul que l'on peut représenter avec des opérateurs.
