Logique classique

La logique classique est un système logique formel développé à partir de la fin du XIXe siècle, au cours de la crise des fondements des mathématiques. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de …