La logique standard est la même chose que la logique classique.
Comme la logique classique, la logique standard se distingue donc nettement de la logique dite « traditionnelle » : la logique « traditionnelle » est l’ancienne logique aristotélicienne, qui a été supplantée et remplacée par la logique contemporaine.
- Sur le passage de la logique traditionnelle à la logique contemporaine, cf. Qu’est-ce que la logique contemporaine ?
- Sur les grandes lignes de la logique classique, cf. Qu’est-ce que la logique classique ?
- Une brillante synthèse de la logique classique
Pour une synthèse récente, en français, de la logique classique/standard, cf : Denis Vernant, Introduction à la logique standard. Calcul des propositions, des prédicats & des relations, collection Champs-Université n°3027, Flammarion 2006.
RSS 2.0