Accéder au contenu principal

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.


Commentaires

Posts les plus consultés de ce blog

le Conservatoire (Cnam) accueille le Forum science, recherche & société

Demain, le Conservatoire accueille le Forum science, recherche & société   Le jeudi 22 mai, le Conservatoire accueille la sixième édition du Forum science, recherche & société (SRS). Créé par le journal  Le Monde  et le magazine  La Recherche  en 2009, cet événement propose à un large public de venir à la rencontre du monde scientifique, pour découvrir, comprendre et échanger sur les recherches d’aujourd’hui, les découvertes de demain et toutes les technologies qui ont fait, peuplent ou détermineront notre quotidien. À partir de 9 heures, et tout au long de la journée, des tables rondes, conférences, projections de documentaires, démonstrations de  serious games ... verront se succéder une cinquantaine d’intervenants chercheurs, philosophes, acteurs de la société civile et essayistes pour apporter l’éclairage des sciences et de la recherche sur des enjeux de société présents et à venir. Des grilles de l’établissement à la salle des textiles, de la cour d’honneur à l’amp

Rapport activité et stage Licence et RNCPII : Cnam

Pour Licence et RNCPII Note sur la validation de la licence STIC mention informatique générale Note sur le stage dans le cadre de la licence STIC mention informatique générale Rapport type d’expérience professionelle Rapport type de stage Documents joints: note expérience professionelle (PDF - 37 ko) note stage en licence (PDF - 31 ko) rapport type d’expérience pro (Word - 65.5 ko) rapport type de stage (Word - 63.5 ko) parcours L1 et L2 (PDF - 41.1 ko)

Certificat de spécialisation Big Data à l'ISSAE Cnam Liban

Ce certificat offre la possibilité à des informaticiens, mathématiciens, statisticiens de suivre une formation professionnelle pluridisciplinaire pour acquérir les compétences propres à l'exercice du métier émergent de data scientist également appelé " analyste big data ". Alliant des compétences en mathématiques, statistique, informatique, visualisation de données ; il est capable de stocker, rechercher, capter, partager, interroger et donner du sens à d'énormes volumes d'informations: des données structurées et non structurées, produites en temps réel et provenant de sources diverses. À l'ISSAE Cnam Liban un Certificat de spécialisation Analyste de données massives est proposé si vous êtes intéressé vous pouvez vous faire connaitre en remplissant ce formulaire : https://cnamliban.page.link/inscriptionDS Ce certificat est disponible hors temps de travail , le soir ou le samedi.