Inférence (logique)
acte ou processus consistant à tirer des conclusions logiques à partir de prémisses connues ou supposées vraies / De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir inférence.
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[1].
Cet article est une ébauche concernant la philosophie et la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
É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 (300 ans avant Jésus-Christ).
On distingue les inférences immédiates des inférences médiates telles que déductives, inductives et abductives.