Un point de logique aristotélicienne : le « définitionnel »
Mathématiques et Sciences humaines, Tome 116 (1991), p. 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 et Sciences humaines},
     publisher = {Ecole des hautes-\'etudes en sciences sociales},
     volume = {116},
     year = {1991},
     pages = {47-55},
     zbl = {0800.03006},
     mrnumber = {1167762},
     language = {fr},
     url = {http://www.numdam.org/item/MSH_1991__116__47_0}
}
Gaudin, Claude. Un point de logique aristotélicienne : le « définitionnel ». Mathématiques 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 44430 | Zbl 0043.24513

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.