Logique paracohérente
type de logique formelle rejetant le principe d'explosion (ex falso quodlibet) / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Logique paracohérente?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote[1]. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien Francisco Miró Quesada Cantuarias (en)[2].