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},
volume = {116},
year = {1991},
pages = {47-55},
mrnumber = {1167762},
zbl = {0800.03006},
language = {fr},
url = {http://dml.mathdoc.fr/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://gdmltest.u-ga.fr/item/MSH_1991__116__47_0/
(1) , La syllogistique d'Aristote, Paris, A. Colin,1972.
, Aristotle's Natural Deduction System, The Journal of Symbolic Logic, n° 2, vol. 37, 1972.
, Ancient Formal Logic, Amsterdam, 1951. | MR 44430 | Zbl 0043.24513
, La théorie aristotélicienne de la science, Aubier, 1976.
, Introduction à la traduction des Topiques, VI. CXLVIII, T.1., éd. Belles Lettres, 1967.