Logique non classique
De Wikipedia, l'encyclopédie encyclopedia
En logique mathématique, les logiques non classiques sont des logiques formelles qui diffèrent de façon significative de la logique classique[1]. L'adjectif « classique » a un sens normatif[2] autrement dit , il qualifie ce qui est habituel. Les logiques classiques adoptent effectivement des principes usuels comme le tiers exclu, le principe d'explosion, le raisonnement par l'absurde, l'usage de tables de vérité, etc. Dans les logiques non classiques, on étudie des variations, par exemple en supprimant des principes, ou en ayant plus de deux valeurs de vérité.
Cet article est une ébauche concernant la philosophie.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.