Life Long Learning for Lebanon

Portail informatique formation d'ingénieur Liban

Supports, informations et actualités informatique ISSAE Cnam Liban et centres du Cnam Liban

Société et technologie

Fondateur et activiste Free (libre) Open Source Software Lebanese Movement OSLM

lundi 26 août 2013

Logique, raisonnement, inférence. logique formelle et symbolisme.

Raisonner correctement ne veux pas dire nécessairement que l'on exprime la vérité...

Un dialogue bien conduit vaut plus par sa "Rigueur de raisonnement" (présence d'une idée directrice, d'un plan, d'une progression des idées) que par le fait qu'on y défend tel ou tel point de vue (vraie ou pas d’ailleurs).

En logique formelle deux notion qui ne faut pas confondre: la "validité" du raisonnement avec la "véracité" des propositions qui le composent.

(1) Tout triangle est trilatère, donc tout trilatère est triangle.
(2) Tout triangle est quadrilatère, donc certain quadrilatère sont triangle.

1, est invalide bien que les deux propositions qui la composent sont vraies.
2, est valide sachant que les deux propositions qui la composent sont fausses.

On parle d'inférence pour designer une opération logique portant sur des propositions et permettant d'avancer d'une proposition origine vers une proposition conclusion. la validité est basée sur l'inférence.

La validité ou l'invalidité d'un raisonnement dépend uniquement de la forme (respect ou non des règles d'inférences) et est indépendante du contenue des propositions qui la compose.