Inférence

Étymologie

Latin inferre, porter dans, "alléguer (Larousse étymo.).

Latin inferre, mettre en avant un raisonnement, une conclusion (Morfaux).

Définition

Déduire une proposition non connue directement comme vraie, à partir de propositions connues comme vraies, au moyen du raisonnement ; démontrer une hypothèse par la déduction.

Références

Lalande

Toute opération logique par laquelle on admet une proposition dont la vérité n'est pas connue directement, en vertu de sa liaison avec d'autres propositions déjà tenues pour vraies. [...]. Inférence est aussi le terme le plus général dont raisonnement, déduction, induction, etc. sont des cas spéciaux.

Morfaux

Opération logique par laquelle on tire d'une ou plusieurs propositions la conséquence qui en résulte nécessairement.

Godin

Mouvement de pensée qui consiste à partir d'un élément quelconque (une observation, un mot, un signe... ) à aboutir à une conclusion. Presque toujours synonyme de déduction.

InférencePatrick Moulin, MardiPhilo, septembre 2024.