Induction (logique)

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 structurelle, 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. Poussée à son paroxysme, l'induction peut conduire à l'inductivisme.