BHK SÉMANTIQUE
INTUITIONNISME
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