Matthius :Vous parlez de la déduction logique d’Aristote.
Je vous cite wikipédia, article déduction et induction :
"La philosophie platonicienne est volontiers déductive, passant de la loi (idéale et immanente) aux faits. Pour Aristote, ce sont les faits qui sont immanents, dans leur spécificité, et la loi transcendante est obtenue par induction."
 
(C’est d’ailleurs tout-à-fait exact il me semble : les lois transcendantes sont toujours obtenues par induction, d’où le caractère fatalement incertain de celles-ci.)
 
Il ne faut pas croire qu’Aristote n’a usé que de la déduction. Aristote a fait un considérable travail de synthèse, donc usé à fond des raisonnements d’induction. Il a même distingué clairement ces divers types de raisonnement et les a correctement classés selon la valeur de vérité que l’on pouvait leur accorder, menant à la logique modale classique, dans ses modalités : le nécessaire, le contingent, le possible, l’impossible.