Logique, logique formelle, validité d'un argument, table de vérité, prémisses, conclusion, argument déductif, logique propositionnelle, Aristote, forme logique, argument abductif, argument valide, raisonnement, démonstration, argument non valide, Descartes, croyance, raison, connaissance
Lecture
Résumé
Sommaire
Extraits
sur 12
Résumé du document
Le premier logicien fut Aristote, dans le sens où il fut le premier à écrire des livres spécialement sur le domaine. Il n'y a pas de définition précise avec laquelle tous les logiciens seraient d'accord. Il faut déjà bien comprendre une telle discipline pour comprendre une définition de celle-ci. Le nom « logique » vient du « logos », analyser. Mais donc : quel est l'objet d'étude de la logique ? Sur quoi porte-t-elle ? Les raisonnements, sur la logique elle-même en soi. C'est un objet assez abstrait. Son but est de dégager les lois selon lesquelles la raison nous permet d'assurer la solidité, la cohérence de nos connaissances (ou de nos croyances).
Sommaire
Qu'est-ce que la logique ?
Exemples
Qu'est-ce que la logique ?
Exemples
Accédez gratuitement au plan de ce document en vous connectant.
Extraits
[...] Soit valides tous les deux ? Soit non valides tous les deux Mais donc : - 3727 n'est pas à la fois pair et premier - 3727 n'est pas pair ? 3727 est premier Forme de l'argument : - n n'est pas a la fois A et B - n n'est pas A ? n est B Les prémisses sont vraies mais la conclusion est fausse. Les prémisses n'imposent pas la conclusion. - Macron n'est pas à la fois chinois et japonais - Macron n'est pas chinois ? [...]
[...] pas) =Connexion unaire : s'applique à une proposition ? p q ou = La conjonction =Connexion binaire : s'applique à 2 propositions (Attention dans la littérature on trouve malheureusement plusieurs symbole selon les logicien.) Il manque de nombreuses diapo ? regarder sur moodle Pour pouvoir se demander la valeur de vérité d'une proposition ? Avec Colonne s couché : Signature de l'expression Donc : « Jean ne gagne que si Sacha perd » Jean Gagne Sacha perd Sacha perd ne veut pas dire qu'il ne gagne pas On n'a pas : (Jean gagne et Sacha ne perd pas) ? [...]
[...] où M est un ensemble de proposition (dites prémisses de l'argument) ? où C est une proposition unique (dites conclusion de l'argument) - Un argument est valide lorsqu'il est impossible que toutes ses prémisses soient vraies et que sa conclusion soit fausse. - Proposition : Vrai/Faux - Argument : Valide/Non-valide - La validité est une condition très forte, mais cette distinction ne recoupe pas la distinction intuitive bon/mauvais. Le sullogimos est un discours dans lequel certaines choses étaient posées, une chose distincte de celles qui ont été posées s'ensuit ? [...]
[...] Mais c'est quoi la forme de l'argument ? Aristote insiste sur le fait que la manière dont on rédige notre raisonnement indique sa validité. C'est pourquoi cela s'appelle de la logique « formelle » (un peu pléonasme) ? Appuie sur ce dernier critère : - 4 n'est pas à la fois pair et premier - 4 est pair ? 4 n'est pas premier = Il ne faut pas se demander la valeur de vérité de chacune des propositions. Les deux prémisses paraissent vraies, et la conclusion est vraie, mais ce n'est pas la question. [...]
[...] Prémisses 2. Prémisses 7. Conclusion Photo Règles d'inférences : - Règles structurelles : ? règle de répétition ? ce sont des règles correctes : elles doivent conserver le vrai - Règles de connecteurs ? Règles d'introduction de chapeau ? Règles d'élimination de chapeau Déduction : - Prémisses 1 ? Dans tous les cas où les prémisses sont vraies - Prémisses 2 - Prémisses n - ? . Et qu'on utilise uniquement des règles correcte (qui conservent le vrai), alors . - Conclusion ? ? [...]
