Displaying similar documents to “Caractérisation de l'opération de fermeture par un seul axiome”

La créativité des définitions dans les systèmes para-euclidiens

Jean-Pierre Ginisti (1991)

Mathématiques et Sciences Humaines

Similarity:

Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b)...