Commune
Logique paracohérente
type de logique formelle rejetant le principe d'explosion (ex falso quodlibet)
Logique paracohérente
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. 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).
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement