Un article de Wikipédia, l'encyclopédie libre.
L'inférence est une opération mentale qui consiste à tirer une conclusion (d'une série de propositions reconnues pour vraies). Ces conclusions sont tirées à partir de règles de base.
Dans sa définition classique, l'inférence est une opération logique portant sur des propositions tenues pour vraies (les prémisses) et concluant à la vérité d'une nouvelle proposition en vertu de sa liaison avec les premières. C'est pourquoi l'inférence est souvent réduite à la déduction nécessaire dans lequel la vérité des prémisses assure totalement la vérité de la conclusion.
Cependant la pensée n'opère pas sur des propositions mais sur des signes. On est donc conduit, pour rendre compte de la sémiosis, à élargir la notion d'inférence à des opérations portant sur des symboles dicents (des quasi-propositions) et à remplacer la notion de vérité d'une proposition par celle de réalité d'une représentation pour un interprète particulier. Cette conception de l'inférence ouvre le champ à la description des opérations réellement effectuées dans la vie quotidienne et libère des contraintes imposées par le point de vue qui s'en tient uniquement à la production de vérités universelles, c'est à dire aux arguments valides. C'est ainsi que l'acte de poser une hypothèse qui consiste à tenir pour vraie, au moins provisoirement, une proposition n'entretenant aucun lien logique nécessaire avec les prémisses aura droit de cité dans cette perspective. On l'observe en effet dans toute activité de recherche dont elle constitue la part d'invention possible. Cela nous conduira à distinguer trois types d'inférence : la déduction, l'induction et l'abduction.
