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://archive.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://archive.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://archive.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://archive.numdam.org/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 | Zbl
,La théorie aristotélicienne de la science, Aubier, 1976.
,Introduction à la traduction des Topiques, VI. CXLVIII, T.1., éd. Belles Lettres, 1967.
,