Gaudin, Claude
Un point de logique aristotélicienne : le « définitionnel »
Mathématiques et Sciences humaines, Tome 116 (1991) , p. 47-55
Zbl 0800.03006 | MR 1167762
URL stable : http://www.numdam.org/item?id=MSH_1991__116__47_0

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.

Bibliographie

(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.