Induction (logique)

Pour les articles homonymes, voir Induction.

Ne doit pas être confondu avec abduction.

Le fond de cet article de mathématiques est à vérifier (août 2023).

Améliorez-le ou discutez des points à vérifier. Si vous venez d’apposer le bandeau, merci d’indiquer ici les points à vérifier.

Cet article concernant les mathématiques doit être recyclé (janvier 2019).

Une réorganisation et une clarification du contenu paraissent nécessaires. Améliorez-le, discutez des points à améliorer ou précisez les sections à recycler en utilisant {{section à recycler}}.

L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste.

Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction. Dans les ouvrages anglo-saxons de mathématiques, logique et informatique, l’induction complète, désignée sous le nom d’induction (faux-ami) désigne la récurrence, aussi bien dans le raisonnement par récurrence que dans les définitions par récurrence. Le terme est souvent employé pour les généralisations de la récurrence aux bons ordres et aux relations bien fondées.

L'induction ne doit pas être confondue avec l'abduction qui, en raisonnement automatisé, est un mode de raisonnement qui vise à émettre une hypothèse pour expliquer un fait^[1].

Poussée à son paroxysme, l'induction peut conduire à l'inductivisme.