Logique non classique

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Logique non-classique)
Aller à : navigation, rechercher

Adoptant un point de vue normatif, qui attribue à un système formel parmi d'autres le statut de logique « classique »[1], certains appellent logique non-classique toute logique formelle qui étudie des systèmes formels qui diffèrent de façon significative de la logique classique.

Exemples[modifier | modifier le code]

Logiques ayant moins de règles que la logique classique[modifier | modifier le code]

Logiques avec un pouvoir expressif plus large que la logique classique[modifier | modifier le code]

Logiques avec une sémantique plus large que la logique classique[modifier | modifier le code]

Logiques avec un vocabulaire enrichi par rapport à la logique classique[modifier | modifier le code]

  • Logiques modales, toute une famille de logiques ajoutant au langage initial des opérateurs comme possibilité et nécessité.
  • Logique temporelle, qui introduit une notion de temporalité sur la validité des énoncés.

Autres formalisation de la logique usuelle[modifier | modifier le code]

Notes et références[modifier | modifier le code]

  1. En anglais il y a deux adjectifs: « classic », comme dans Coca-Cola Classic et « classical » qui est utilisé pour caractériser la logique classique (classical logic).