Logique non classique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant la philosophie
Cet article est une ébauche concernant la philosophie.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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).