Les cadres probatoires

Cet article définit une structure requise minimale appelée «cadre probatoire» pour encadrer la construction d’une preuve. Dans ces cadres, la preuve peut être jugée par quelqu’un comme pourvue de sens, sa formulation est syntaxiquement admissible pour tous et sa construction se fait à l’aide de signes manipulables par une machine. – Introduction; – Adéquation épistémique; – Adéquation ontologique; – Adéquation pragmatique; – Syntaxe du cadre probatoire; – Sémantique du cadre probatoire (Langage formel; Sémantique et syntaxe en logique; La sémantique des mondes possibles); – Définition d’un cadre probatoire minimal; – Formaliser les lois et les comportements des machines; – Pour les couches physiques; – Cadre probatoire euclidien; – Pour les couches symboliques (Le programme comme preuve; La preuve comme programme); – La construction à la règle et au compas; – Le jeu de la preuve et de l’épreuve.