BHK SÉMANTIQUE

INTUITIONNISME

  • Écrit par 
  • Jacques-Paul DUBUCS
  •  • 1 647 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