Qu’est ce que : Définition de l’inférence
En termes généraux, on dira que l’inférence est la déduction d’une chose à partir d’une autre.L’inférence est purement et exclusivement un produit de notre esprit, car il s’agit d’une évaluation faite par notre esprit entre les expressions d’un langage donné qui, une fois reliées entre elles de manière intellectuelle, nous permettront d’arriver à une idée logique. De cette façon, à partir de la vérité ou de la fausseté proposée par certaines expressions, nous pourrons déduire la vérité ou la fausseté de certaines autres.
De la procédure susmentionnée, un postulat va émerger.
Dans la logique traditionnelle, populairement connue sous le nom de logique aristotélicienne, car elle a été formulée pour la première fois par le célèbre philosophe grec Aristote, la forme d’inférence suivie est celle du syllogisme. Il s’agit d’un type de raisonnement déductif qui consiste en deux propositions comme prémisses et une autre comme conclusion, cette dernière procédant d’une inférence à partir des deux autres. Nous pouvons trouver trois types d’inférence ; la déduction, l’argument déductif est un type qui prescrit la coexistence des prémisses et de la conclusion assurant que cette dernière sera représentée dans les prémisses, par exemple : tous les ballons de ce sac sont rouges, ces ballons appartiennent à ce sac, donc ces ballons sont rouges ; l’induction, l’argument inductif admet la coexistence probable des prémisses et de la conclusion, assurant que cette dernière est probablement reflétée dans les prémisses, par exemple : les ballons sont de ce sac, les ballons sont rouges, alors tous les ballons de ce sac sont rouges ; et l’abduction, l’argument de type abductif propose la coexistence possible entre les prémisses et la conclusion, en s’assurant que cette dernière est potentiellement représentée dans lesdites prémisses, exemple : tous les ballons de ce sac sont rouges, ces ballons sont rouges, alors ces ballons correspondent à ce sac.