Ginisti, Jean-Pierre
The problems of definition
Mathématiques et Sciences humaines, Tome 116 (1991) , p. 5-22
Zbl 0794.03006 | MR 1167759
URL stable : http://www.numdam.org/item?id=MSH_1991__116__5_0

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.