Logique symbolique


LOGIQUE

  • Écrit par 
  • Robert BLANCHÉ, 
  • Jan SEBESTIK
  •  • 12 972 mots
  •  • 3 médias

L'année 1847, où paraît la Mathematical Analysis of Logic de George Boole, marque le départ d'une nouvelle forme de logique, une logique qui, à la fois symbolique et mathématique, réalise enfin le double rêve de Leibniz. Se fondant sur certaines analogies entre les opérations fondamentales de l […] Lire la suite