Log., VI, ch. i
3. « Definitio est proportio cujus praedicatum est subjecti resolutivum, ubi lien potest ; ubi fieri non potest, exemplificativum. » Examin. et emend. math. hod.
4. « Ces noms corps, animé, etc., sont les parties de ce nom total d'homme ; d'où il arrive que les définitions de ce genre consistent à exprimer le genre et la différence de la chose définie ; de manière que tous ces noms, excepté le dernier, expriment le genre, et le dernier seulement marque la différence ; mais si un nom est le plus universel dans son genre, la définition ne peut pas résulter du genre et de la différence. On doit la faire par le moyen d'une circonlocution quelconque, pourvu qu'elle soit le plus propre possible à expliquer la valeur de ce nom... D'après tout ce qui vient d'être dit, on peut comprendre comment la définition elle-même peut être définie, et que c'est une proposition dont le prédicat décompose le sujet lorsqu'il est susceptible de décomposition, ou l'explique pnr quelques exemples quand il ne peut pas être décomposé. '» Lofif., VI, 14.
LA PHILOSOPHIE DE HOBBES
Il y a deux genres de définitions :
« Les définitions du premier genre sont les définitions de ces mots qui signifient des choses dont on ne peut concevoir la cause ; et les autres sont des définitions de ces mots qui signifient des choses auxquelles on peut concevoir une cause quelconque. Du premier genre sont le corps ou la matière, la quantité ou l'étendue, le mouvement en lui-même, et enfin les choses qui existent dans toute matière. Du second genre sont un tel corps, un tel mouvement, etc., et toutes les autres choses par lesquelles un corps peut être distingué d'un autre. Les noms du premier genre sont suffisamment définis, quand, par la phrase la plus courte possible, on excite dans l'esprit de celui qui écoute le concept ou l'idée claire et parfaite des choses
dont ces mots sont les noms Mais les définitions des
noms de choses qui sont conçues pouvoir avoir une cause doivent contenir cette cause elle-même ou le mode de génération. Ainsi nous définissons le cercle une figure engendrée par le mouvement d'une ligne droite, etc. Il n'y a que les définitions qui doivent être appelées des propositions premières ; et à parler rigoureusement, aucune autre proposition ne mérite le nom de principe ; car les axiomes d'Euclide, puisqu'ils peuvent être démontrés, ne sont pas les principes de la démonstration, quoiqu'ils aient reçu l'autorité de principes d'un consentement unanime, parce qu'ils n'ont pas même besoin de démonstration. Les choses que l'on appelle postulata ou demandes sont dans le vrai des principes non de démonstration, mais de construction, c'est-à-dire non pas les principes de la science, mais ceux de la puissance, ou, ce qui revient au même, ce sont des principes non des théorèmes qui sont des spéculations, mais des problèmes qui ont trait à la pratique et à l'exécution d'une chose quelconque i. »
La preuve que les définitions sont établies grâce à l'analyse et au terme de l'analyse, c'est que Hobbes prend bien
