L'objectif de cet article est de présenter les grands types de définitions connus en logique mathématique, leurs buts et leurs moyens, à partir de leur arrière-plan historique et philosophique (notamment grâce à la preuve de deux théorèmes), et afin de situer, à l'intérieur de ce domaine, les autres contributions qui composent ce numéro.
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.
@article{MSH_1991__116__5_0, author = {Ginisti, Jean-Pierre}, title = {The problems of definition}, journal = {Math\'ematiques informatique et sciences humaines}, pages = {5--22}, publisher = {Ecole des hautes-\'etudes en sciences sociales}, volume = {116}, year = {1991}, mrnumber = {1167759}, zbl = {0794.03006}, language = {en}, url = {http://archive.numdam.org/item/MSH_1991__116__5_0/} }
Ginisti, Jean-Pierre. The problems of definition. Mathématiques informatique et sciences humaines, Tome 116 (1991), pp. 5-22. http://archive.numdam.org/item/MSH_1991__116__5_0/