Notions de base Flashcards
Qu’est-ce que la logique formelle ?
- premier modèle du raisonnement humain.
- Elle ne s’occupe que d’identifier les règles de raisonnement.
- Elle comporte des notions fondamentales.
Quelle est l’unité de base du raisonnement ?
La proposition.
Qu’est-ce qu’une proposition ?
- unité minimale de signification,
- composée au minimum d’un argument et d’un prédicat.
Exemple d’une proposition simple =>
Le chien aboie.
=> Argument : le chien
=> Prédicat : aboie
Que sont les propositions complexes ?
- Formées de la réunion d’au moins deux propositions simples à l’aide de connecteurs.
- Exprime la relation qui unit les deux propositions simples.
EX: Le chien aboie et la caravane passe.
Qu’est-ce que la valeur de vérité ?
- C’est la valeur d’une proposition, qualifiée, soit de VRAI, soit de FAUSSE.
- Elle relève des croyances et des connaissances de l’individu.
- Elle est calculée en attribuant 0 pour faux et 1 pour vrai aux sous-parties (p et q) de la proposition.
Qu’est-ce qu’une prémisse ?
C’est une proposition, une affirmation avancée en support à une conclusion.
Dans un syllogisme, les deux premières prémisses s’appellent la majeure (p) et la mineure (q).
Qu’est-ce qu’un syllogisme ?
C’est un raisonnement logique à deux propositions (prémisses) conduisant à une conclusion.
=> Aristote a été le premier à formaliser le syllogisme.
EX : Tous les hommes sont mortels, or Socrate est un homme donc Socrate est mortel.
- Les deux prémisses (majeure et mineure) sont des propositions données et supposées vraies.
=> Le syllogisme permet de valider la véracité formelle de la conclusion.
Qu’est-ce qu’une conclusion ?
C’est une proposition élaborée à partir des prémisses majeure et mineure du syllogisme.
Qu’est-ce que le modus ponens ?
- C’est une figure du raisonnement logique.
La règle permet d’affirmer que si une proposition A implique une proposition B, alors si A est vraie, B est vraie.
Qu’est-ce que le modus tollens ?
- C’est une figure du raisonnement logique.
La règle permet d’affirmer que si une proposition A implique une proposition B, alors si A est fausse, B est fausse.
Qu’est-ce que le principe
du tiers exclus ?
La logique classique n’envisage que deux valeurs de vérité, le vrai ou le faux, à l’exclusion de toute autre valeur de vérité.
=> Elle est dite bivalente.
Qu’est-ce que le principe
de non-contradiction ?
Une proposition ne peut pas être vraie et fausse à la fois.
Qu’est-ce que la tâche de Wason ?
Casse-tête logique à 4 cartes des années 60
=> A 4 K 7
Règle originale : “si une carte comporte une voyelle d’un côté, alors elle comporte un chiffre pair de l’autre côté”.
La plupart du temps, seul le A était retourné. Taux d’erreur de 80%.
Réponse : retournez A et 7 pour vérifier les 2 cartes.
=> Utilisation du modus ponens et modus tollens pour y arriver.
