Inférence (logique)

Modèle:Voir homonymes {{#invoke:Bandeau|ébauche}}

L’inférence est un mouvement de la pensée qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion<ref name=":0">Modèle:Lien web</ref>.

Étymologiquement, le mot inférence signifie « reporter ». En théorie, l'inférence est traditionnellement divisée en déduction et induction, une distinction qui, en Europe, remonte au moins à Aristote (Modèle:Nobr avant Jésus-Christ).

On distingue les inférences immédiates des inférences médiates telles que déductives, inductives et abductives.

Types d'inférences

Inférence immédiate

Au sens strict, une inférence n'est pas nécessairement un raisonnement puisqu'elle peut être immédiate<ref name=":0" />.

En effet, une inférence immédiate peut référer à une sensation. Celle-ci Modèle:Citation<ref>Modèle:Ouvrage</ref>. Exemple : L'observation d'un chat infère l'objet d'un chat, soit l'inférence immédiate : ceci est un chat.

L'inférence immédiate peut également être un raisonnement. Elle se compose alors Modèle:Citation<ref>Modèle:Ouvrage</ref>. Les inférences immédiates aristotéliciennes sont sous la forme d'un carré logique.

Inférence médiate

Une inférence médiate est un Modèle:Citation<ref>Modèle:Ouvrage</ref>.

Par ailleurs, pour les sémiologues, tels que Charles Peirce, la pensée n'opère pas sur des propositions, mais sur des signes. Ils proposent ainsi un modèle structuraliste, centré sur les relations formelles du langage, qui s'inspire de la linguistique. En effet, pour Ferdinand de Saussure, toute langue constitue un système au sein duquel les signes se combinent et évoluent d'une façon qui s'impose à ceux qui la manient. 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 conduira à distinguer trois types d'inférence établit par Peirce en 1903 : la déduction, l'induction et l'abductionModèle:Référence nécessaire.

Inférence déductive (déduction)

Une inférence déductive implique que la vérité des prémisses entraîne nécessairement la vérité de sa conclusion. Elle sera dite « valide » si elle respecte les règles d'inférence prescrites. Il n'est donc pas possible que la conclusion d'un argument valide soit fausse alors que ses prémisses sont vraies<ref>Modèle:Lien web</ref>.

Exemple : la démonstration.

Inférence inductive (induction)

Une inférence inductive implique une véracité probable des prémisses. Celle-ci détermine nécessairement la probabilité de la véracité de sa conclusion.

Exemple : l'Inférence bayésienne.

Inférence abductive (abduction)

Une inférence abductive consiste à, lorsque l'on observe un fait dont on connaît une cause possible, conclure à titre d'hypothèse que le fait est probablement dû à cette cause-ci.

Voir aussi

• Liste de concepts logiques (philosophie)
• Implication
• Inférence bayésienne
• Moteur d'inférence (logiciel)
• Raisonnement
• Règle d'inférence