logique classique

La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment pour la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique.