Displaying similar documents to “Expressions indéterminées, constructivisme et axiome du choix”

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)...

The problems of definition

Jean-Pierre Ginisti (1991)

Mathématiques et Sciences Humaines

Similarity:

The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.