Cet article, le deuxième d’une série de trois, traite des logiques classiques qui donneront naissance à la logique mathématique à la fin du XIXe siècle. La logique des propositions est d’abord présentée. Ensuite, est exposée la logique des prédicats qui s’est imposée au [...]
10 nov. 2023