ction. Avec la plus grande énergie Aristote affirme qu’il y a une science, une science portant sur un genre déterminé, qui étudie et fonde les axiomes. Cette science, c’est la science de l’être en tant qu’être, laquelle, au lieu d’avoir pour objet un universel, porte au contraire sur ce qu’il y a de moins général[1]. Nous ne ferons que commenter la pensée d’Aristote, en disant que les axiomes expriment au fond la relation de l’être en tant qu’être avec lui-même, ou, si l’on veut, la première et plus élémentaire propriété de l’être en tant qu’être. Après avoir paru très éloigné de la définition, prise du moins au sens strict, l’axiome se rapproche, presque jusqu’à l’identification, de la définition de l’être. Mais c’est que, dans la définition d’un pareil objet, la signification et l’existence sont, pour ne pas dire plus, beaucoup moins indépendantes l’une de l’autre que lorsqu’il s’agit d’un objet appartenant au monde.
Puisque les deux choses, tout en restant, bien entendu, assez distinctes pour être considérées chacune à part, sont plus voisines qu’on ne le croirait au premier abord, nous passons naturellement de la théorie des axiomes à celle des définitions. Nous considérerons les définitions surtout en tant qu’elles sont la source, ou l’une des deux sources, de la démonstration, et tel est bien leur principal rôle dans la pensée d’Aristote. Nous verrons cependant que les définitions sont aussi, en un sens[2], le but de la science. Car la définition exprime le concept, et le concept c’est l’essence, laquelle ne fait qu’un avec la raison d’être. Or le but de la science est bien d’arriver à dégager les raisons d’être de chaque chose. Peut-être toutefois vaut-il mieux dire que la définition est la science même en tant que la science se fait ; car la science, une fois faite, se compose plutôt d’un ensemble de conclusions, dans lesquelles un attribut est affirmé d’un sujet sans que la raison d’être de l’attribution
- ↑ Métaph. Γ, 3, jusqu’à 1005 b, 11, notamment le début : λεκτέον δὲ πότερον μιᾶς ἢ ἑτέρας ἐπιστήμης περί τε τῶν ἐν τοῖς μαθήμασι καλουμένων ἀξιωμάτων καὶ περὶ τῆς οὐσίας. Et plus bas, a, 27 : ὥστ’ ἐπεὶ δῆλον ὅτι ᾗ ὄντα ὑπάρχει πᾶσι (τοῦτο γὰρ αὐτοῖς τὸ κοινόν̓), τοῦ περὶ τὸ ὂν ᾗ ὂν γνωρίζοντος καὶ περὶ τούτων ἐστὶν ἡ θεωρία.
- ↑ Comme le dit Zeller, p. 251.
