LOGIQUES NON CLASSIQUES

Articles

• AUTOMATISATION

  • Écrit par Jean VAN DEN BROEK D'OBRENAN
  • 11 882 mots
  • 12 médias
  À la fin des années 1980, les travaux scientifiques aboutissant au concept d'une logique « non classique », la logique floue, d'une part, et au concept des réseaux de neurones, adaptés à la modélisation et à la commande des processus non linéaires, d'autre part, trouvèrent des applications...

• ÉPISTÉMOLOGIE

  • Écrit par Gilles Gaston GRANGER
  • 13 112 mots
  • 4 médias
  2. La prolifération de systèmes logiques « non classiques » ouvre naturellement un champ épistémologique étendu au philosophe. Des logiques modales systématisées par C. J. Lewis dès 1918 aux logiques multivalentes de Łukasiewicz (1930), intuitionnistes de Heyting (1930), aux logiques de la mécanique...

• INTUITIONNISME

  • Écrit par Jacques-Paul DUBUCS
  • 1 647 mots
  Le principal disciple de Brouwer, Heyting, a mis au point une logique non classique qui consigne les principes d'inférence qui sont « fiables » en ce sens. Cette logique, au lieu de décrire sémantiquement les conditions de vérité (au sens classique où la vérité est indépendante de nos capacités de connaissance)...

• LOGIQUE

  • Écrit par Robert BLANCHÉ, Jan SEBESTIK
  • 12 972 mots
  • 3 médias
  – L'absolutisme logique est fortement compromis par la multiplication des systèmes non classiques, c'est-à-dire non russelliens : systèmes plurivalents (Łukasiewicz, E. L. Post) ou affaiblis (Heyting), développement des logiques modales à partir de l'implication stricte de Lewis, logique combinatoire...

• MODALITÉS, logique

  • Écrit par Pascal ENGEL
  • 7 573 mots
  • 1 média
  L'idée d'étendre le traitement logique des modalités aléthiques à d'autres notions modales avait déjà été formulée par les médiévaux, mais elle n'a été exploitée systématiquement qu'à la suite des progrès de la logique modale contemporaine (en particulier par...