LOGIQUES NON CLASSIQUES

AUTOMATISATION

  • Écrit par 
  • Jean VAN DEN BROEK D'OBRENAN
  •  • 11 880 mots
  •  • 12 médias

Dans le chapitre «  Rôle de la logique floue et des réseaux de neurones »  : […] À 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 dans l'automatisation (le vocable neurone ainsi que celui de synapse qui lui est associé sont issus d'une te […] Lire la suite

ÉPISTÉMOLOGIE

  • Écrit par 
  • Gilles Gaston GRANGER
  •  • 13 082 mots
  •  • 4 médias

Dans le chapitre « Sciences formelles, sciences empiriques »  : […] Le développement simultané, et parfois conjoint, d'une mathématique et d'une physique semble poser plus que jamais la question de leurs statuts respectifs et de leurs rapports instrumentaux. Les néo-positivistes du Cercle de Vienne, qui se sont explicitement posé le problème dans les années trente, l'ont généralement résolu d'une façon radicale en ramenant les sciences formelles aux règles – larg […] Lire la suite

INTUITIONNISME

  • Écrit par 
  • Jacques-Paul DUBUCS
  •  • 1 654 mots

Dans le chapitre « La sémantique BHK »  : […] 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) des énoncés, en décrit les conditions d' assertabilité , c'est-à-dire les conditions au […] Lire la suite

LOGIQUE

  • Écrit par 
  • Robert BLANCHÉ, 
  • Jan SEBESTIK
  •  • 12 995 mots
  •  • 3 médias

Dans le chapitre « La logique post-russellienne »  : […] Après l'Allemagne, l'Italie et l'Angleterre, un foyer créateur rayonne de Pologne (S. Lesniewski, J. Łukasiewicz, A. Tarski). Puis, les États-Unis prennent et conservent la tête du mouvement (C. I. Lewis, W. O. Quine, A. Church ; création du Journal of Symbolic Logic en 1936). Dès lors, la logique symbolique a pris rang parmi les disciplines scientifiques, sa valeur étant sanctionnée par ses appl […] Lire la suite

MODALITÉS, logique

  • Écrit par 
  • Pascal ENGEL
  •  • 7 599 mots
  •  • 1 média

Dans le chapitre « Les modalités non aléthiques »  : […] 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 G. E. Von Wright dans An Essay in Modal Logic , North Holland, Amsterdam, 1951). La logique déontique (ou « logique des normes ») utilise […] Lire la suite