Geodesic
Un point de logique aristotélicienne : le « définitionnel »
Mathématiques informatique et sciences humaines, Tome 116 (1991), pp. 47-55.

Voir la notice de l'article provenant de la source Numdam

Ni description, ni démonstration mais recherche de l'élément qui différencie un concept de ceux qui lui sont le plus proches, telle est la définition classique. On a choisi d'analyser ici 1) ce qui fait de la définition une forme de prédication «réflexive», 2) la liaison établie par Aristote entre la définition-formule qui permet d'identifier la chose, d'abord par rapport à elle-même, et la théorie des prédicables ! Celle-ci est une amorce systématique de ce qui est aujourd'hui la théorie de l'argumentation.

Neither description nor demonstration but search of the distinguished element which point out a concept from its own's closely connected concepts, there is the classical definition. This paper tries to analyse 1) that makes the definition what it is, i.e. a “reflexive” predication, 2) the connection, established by Aristotle, between the definition as a formula (Topics, 101e), allowing to identify anything with itself, and the theory of “predicables”. That later is the systematic approach to that we call, to-day, the logic of argumentation.

@article{MSH_1991__116__47_0,
     author = {Gaudin, Claude},
     title = {Un point de logique aristot\'elicienne : le {\guillemotleft} d\'efinitionnel {\guillemotright}},
     journal = {Math\'ematiques informatique et sciences humaines},
     pages = {47--55},
     publisher = {Ecole des hautes-\'etudes en sciences sociales},
     volume = {116},
     year = {1991},
     mrnumber = {1167762},
     zbl = {0800.03006},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/MSH_1991__116__47_0/}
}
TY  - JOUR
AU  - Gaudin, Claude
TI  - Un point de logique aristotélicienne : le « définitionnel »
JO  - Mathématiques informatique et sciences humaines
PY  - 1991
SP  - 47
EP  - 55
VL  - 116
PB  - Ecole des hautes-études en sciences sociales
UR  - http://geodesic.mathdoc.fr/item/MSH_1991__116__47_0/
LA  - fr
ID  - MSH_1991__116__47_0
ER  - 
%0 Journal Article
%A Gaudin, Claude
%T Un point de logique aristotélicienne : le « définitionnel »
%J Mathématiques informatique et sciences humaines
%D 1991
%P 47-55
%V 116
%I Ecole des hautes-études en sciences sociales
%U http://geodesic.mathdoc.fr/item/MSH_1991__116__47_0/
%G fr
%F MSH_1991__116__47_0
Gaudin, Claude. Un point de logique aristotélicienne : le « définitionnel ». Mathématiques informatique et sciences humaines, Tome 116 (1991), pp. 47-55. http://geodesic.mathdoc.fr/item/MSH_1991__116__47_0/

(1) Łukasiewicz, J., La syllogistique d'Aristote, Paris, A. Colin,1972.

Corcoran, J., Aristotle's Natural Deduction System, The Journal of Symbolic Logic, n° 2, vol. 37, 1972.

Bochenski, I.M., Ancient Formal Logic, Amsterdam, 1951. | Zbl | MR

Granger, G., La théorie aristotélicienne de la science, Aubier, 1976.

Brunschig, J., Introduction à la traduction des Topiques, VI. CXLVIII, T.1., éd. Belles Lettres, 1967.