Inférence

L'inférence est l'opération par laquelle on passe d'une ou plusieurs propositions admises, les prémisses, à une nouvelle proposition, la conclusion. C'est l'acte même de raisonner : tirer quelque chose de ce que l'on tient déjà pour vrai. Toute la logique peut se lire comme l'étude des inférences correctes.

On distingue traditionnellement trois grands types d'inférence : la déduction, qui garantit sa conclusion, l'induction, qui la rend probable, et l'abduction, qui propose la meilleure explication. L'inférence est donc le genre dont ces trois modes sont les espèces. Une inférence est dite valide lorsque le passage des prémisses à la conclusion respecte les règles qui en assurent la correction.