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

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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/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. | MR | Zbl

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.