structure of hypothetical syllogism

# structure of hypothetical syllogism ## Objectifs et prérequis Ce chapitre vise à permettre à l’élève de Form Five (anglophone) de comprendre la structure des syllogismes hypothétiques, d’identifier et d’appliquer correctement les formes valides d’inférence conditionnelle et disjonctive, de distinguer les formes valides des formes fallacieuses, et de les utiliser dans l’analyse d’arguments logiques provenant de contextes camerounais et africains. L’élève doit maîtriser les notions de conditionnel matériel, de disjonction exclusive et inclusive, et savoir construire des preuves logiques rigoureuses. Prérequis : maîtrise des propositions simples et composées, des connecteurs logiques (et, ou, non, si… alors…), des tables de vérité de base, et de la notion de validité d’un argument (un argument est valide si et seulement si sa conclusion ne peut être fausse lorsque toutes ses prémisses sont vraies). ## Introduction Le raisonnement déductif repose sur des formes d’inférence reconnues comme valides indépendamment du contenu des propositions. Parmi celles-ci, les syllogismes hypothétiques et disjonctifs occupent une place centrale car ils modélisent des raisonnements conditionnels et alternatifs fréquents dans la vie quotidienne, le droit, la science et les débats publics au Cameroun et en Afrique. Ce chapitre examine trois formes essentielles : le syllogisme hypothétique pur, ses deux modes d’application valides (affirmation de l’antécédent et déni du conséquent), et le syllogisme disjonctif. Chaque forme est analysée selon sa structure logique, sa validité, ses applications concrètes, et ses pièges fréquents (fallacies). L’accent est mis sur la rigueur formelle et la pertinence contextuelle, en évitant toute confusion entre validité logique et vérité factuelle. ## I. Hypothetical Syllogism ### Contexte Le syllogisme hypothétique est une forme d’argument déductif composée de deux prémisses conditionnelles et d’une conclusion conditionnelle, où le conséquent de la première prémisse est identique à l’antécédent de la seconde. Il permet de chaîner des implications logiques. Cette forme est fondamentale en mathématiques, en informatique (chaînage de règles), et en raisonnement juridique ou politique camerounais (ex : si une loi est adoptée, alors des droits sont reconnus ; si des droits sont reconnus, alors la justice est renforcée ; donc, si une loi est adoptée, alors la justice est renforcée). ### Définitions et faits > Un **syllogisme hypothétique pur** est un argument de la forme : > Si P, alors Q. > Si Q, alors R. > Donc, si P, alors R. > Symboliquement : (P → Q) ∧ (Q → R) ⊢ (P → R) Cette forme est toujours valide, indépendamment de la vérité des propositions P, Q, R. Sa validité découle de la propriété de transitivité de l’implication matérielle. ### Causes et conséquences La validité du syllogisme hypothétique pur réside dans la structure transitive de la relation d’implication : si P implique Q et Q implique R, alors P doit impliquer R. Toute violation de cette chaîne (ex : si le deuxième conditionnel n’est pas lié au premier) rend l’argument invalide. Conséquence pédagogique : l’élève apprend à reconnaître les chaînes de raisonnement dans les textes législatifs camerounais (ex : Loi sur l’éducation → accès à l’école → réduction de l’illettrisme) ou dans les politiques de santé (ex : vaccination → immunité collective → réduction de la mortalité infantile). ### Exemples concrets - **Cameroun** : Si le gouvernement augmente le budget de l’éducation (P), alors les écoles rurales reçoivent plus de manuels (Q). Si les écoles rurales reçoivent plus de manuels (Q), alors le taux de réussite au BEPC augmente (R). Donc, si le gouvernement augmente le budget de l’éducation (P), alors le taux de réussite au BEPC augmente (R). - **Afrique** : Si un pays adopte des politiques d’agriculture durable (P), alors ses sols sont moins dégradés (Q). Si ses sols sont moins dégradés (Q), alors sa sécurité alimentaire s’améliore (R). Donc, si un pays adopte des politiques d’agriculture durable (P), alors sa sécurité alimentaire s’améliore (R). ### Vocabulaire à retenir - Antecedent (antécédent) : la proposition qui suit « si » dans un conditionnel. - Consequent (conséquent) : la proposition qui suit « alors » dans un conditionnel. - Transitive property (propriété transitive) : si A implique B et B implique C, alors A implique C. - Pure hypothetical syllogism : syllogisme dont les deux prémisses et la conclusion sont toutes des conditionnelles. - Material implication (implication matérielle) : la vérité de P → Q est fausse seulement quand P est vrai et Q est faux. - Logical chain (chaîne logique) : séquence de conditionnels liés par des propositions communes. ### Exemple de sujet type examen avec plan **Sujet** : Au Cameroun, on observe que : 1. Si les routes sont asphaltées, alors les coûts de transport diminuent. 2. Si les coûts de transport diminuent, alors les prix des denrées alimentaires baissent. En utilisant la logique propositionnelle, montrez que si les routes sont asphaltées, alors les prix des denrées alimentaires baissent. **Plan attendu** : - Étape 1 : Identifier les propositions : P = Les routes sont asphaltées Q = Les coûts de transport diminuent R = Les prix des denrées alimentaires baissent - Étape 2 : Traduire les prémisses en logique symbolique : Premisse 1 : P → Q Premisse 2 : Q → R - Étape 3 : Appliquer la règle du syllogisme hypothétique pur : De (P → Q) et (Q → R), déduire (P → R) - Étape 4 : Interpréter la conclusion : Donc, si les routes sont asphaltées, alors les prix des denrées alimentaires baissent. - Étape 5 : Vérifier la validité : Cette forme est toujours valide par transitivité de l’implication, indépendamment de la vérité factuelle de P, Q, R. ## II. Affirming the Antecedent / Denying the Consequent ### Contexte Cette leçon examine deux formes d’inférence dérivées du conditionnel simple : l’affirmation de l’antécédent (modus ponens) et le déni du conséquent (modus tollens). Ce sont les deux seules formes valides d’inférence à partir d’un seul conditionnel. L’affirmation du conséquent et le déni de l’antécédent sont des fallacies fréquentes, souvent rencontrées dans les débats publics camerounais (ex : « Si tu es honnête, tu ne voleras pas ; tu n’as pas volé, donc tu es honnête » — fallacy of affirming the consequent). ### Définitions et faits > **Affirming the Antecedent (Modus Ponens)** : > Si P, alors Q. > P est vrai. > Donc, Q est vrai. > Symboliquement : (P → Q) ∧ P ⊢ Q > Cette forme est toujours valide. > **Denying the Consequent (Modus Tollens)** : > Si P, alors Q. > Q est faux. > Donc, P est faux. > Symboliquement : (P → Q) ∧ ¬Q ⊢ ¬P > Cette forme est toujours valide. > **Affirming the Consequent (fallacy)** : > Si P, alors Q. > Q est vrai. > Donc, P est vrai. > Cette forme est invalide. > **Denying the Antecedent (fallacy)** : > Si P, alors Q. > P est faux. > Donc, Q est faux. > Cette forme est invalide. ### Causes et conséquences La validité du modus ponens et du modus tollens repose sur la définition de l’implication matérielle : P → Q est faux seulement quand P est vrai et Q est faux. - Dans le modus ponens : si P est vrai et P → Q est vrai, alors Q ne peut être faux (sinon P → Q serait faux). - Dans le modus tollens : si Q est faux et P → Q est vrai, alors P ne peut être vrai (sinon P → Q serait faux). Les fallacies naissent de l’inversion illégitime de la relation : croire que Q → P est équivalent à P → Q, ce qui est faux sauf si la biconditionnelle est vraie. Conséquence : l’élève apprend à détecter les erreurs de raisonnement dans les discours politiques, les publicités, ou les témoignages judiciaires au Cameroun. ### Exemples concrets - **Modus Ponens (affirmation de l’antécédent)** : Si un élève obtient plus de 10/20 à toutes les matières, alors il est admis en Lower Sixth. Jean a obtenu plus de 10/20 à toutes les matières. Donc, Jean est admis en Lower Sixth. (Vrai si les prémisses sont vraies — contexte scolaire camerounais courant). - **Modus Tollens (déni du conséquent)** : Si un candidat a falsifié son acte de naissance, alors il est ineligible aux élections. Ce candidat n’est pas ineligible aux élections. Donc, il n’a pas falsifié son acte de naissance. (Utile dans l’analyse de la légalité des candidatures aux élections locales ou nationales). - **Fallacy of Affirming the Consequent** : Si il pleut, alors la route est mouillée. La route est mouillée. Donc, il a plu. (Faux : la route peut être mouillée par un camion-citerne — fréquent à Yaoundé pendant la saison sèche). - **Fallacy of Denying the Antecedent** : Si un enfant est vacciné contre la rougeole, alors il est protégé. Cet enfant n’est pas vacciné. Donc, il n’est pas protégé. (Faux : il pourrait avoir acquis l’immunité naturellement — contexte épidémiologique camerounais où la rougeole circule encore). ### Vocabulaire à retenir - Modus Ponens : règle d’inférence qui affirme l’antécédent pour déduire le conséquent. - Modus Tollens : règle d’inférence qui nie le conséquent pour déduire la négation de l’antécédent. - Fallacy of Affirming the Consequent : erreur consistant à conclure l’antécédent du conséquent vrai. - Fallacy of Denying the Antecedent : erreur consistant à conclure la négation du conséquent de l’antécédent faux. - Material Conditional : le conditionnel logique dont la vérité dépend uniquement des valeurs de vérité de P et Q. - Valid Inference Form : une forme d’argument où la conclusion ne peut être fausse si les prémisses sont vraies. - Invalid Inference Form : une forme d’argument où il est possible que les prémisses soient vraies et la conclusion fausse. ### Exemple de sujet type examen avec plan **Sujet** : Dans une campagne de sensibilisation au VIH au Cameroun, un agent de santé déclare : « Si une personne utilise systématiquement un préservatif lors des rapports sexuels, alors elle réduit considérablement son risque de contracter le VIH. » Plus tard, il constate que : - Amina a utilisé systématiquement un préservatif lors de ses rapports sexuels. - Bela n’a pas contracté le VIH. Déterminez laquelle des deux conclusions suivantes est logiquement valide, et justifiez votre réponse : A) Amina a réduit considérablement son risque de contracter le VIH. B) Bela a utilisé systématiquement un préservatif lors de ses rapports sexuels. **Plan attendu** : - Étape 1 : Symboliser le conditionnel : P = Une personne utilise systématiquement un préservatif Q = Elle réduit considérablement son risque de contracter le VIH Donc : P → Q - Étape 2 : Analyser la conclusion A : On sait que P est vrai pour Amina (prémisse donnée). On a P → Q et P → donc, par Modus Ponens, Q suit. Conclusion A est valide. - Étape 3 : Analyser la conclusion B : On sait que Q est vrai pour Bela (elle n’a pas contracté le VIH → on interprète « n’a pas contracté » comme réduction du risque ? Attention : ici, il faut être précis. En réalité, la prémisse dit : « elle réduit considérablement son risque » — ce n’est pas équivalent à « elle n’a pas contracté ». Donc, on ne sait pas si Q est vrai pour Bela ; on sait seulement qu’elle n’a pas contracté le VIH, ce qui est une conséquence possible de Q, mais pas équivalente. Cependant, même si on supposait à tort que « n’a pas contracté le VIH » implique Q, alors on aurait Q vrai, et on voudrait conclure P → ceci serait l’erreur d’affirmation du conséquent. Donc, même sous cette interprétation généreuse, B serait invalide. En fait, la prémisse ne donne aucune information sur le comportement de Bela concernant l’usage du préservatif. On ne peut pas déduire P à partir de Q seul. Conclusion B est invalide (fallacy of affirming the consequent). - Étape 4 : Conclusion : Seul A est logiquement valide. B commet la fallacy of affirming the consequent : de P → Q et Q, on ne peut pas conclure P. ## III. Disjunctive Syllogism ### Contexte Le syllogisme disjonctif traite des raisonnements basés sur une disjonction (ou exclusif ou inclusif) et la négation d’une des alternatives. Il est largement utilisé dans la résolution de problèmes, le dépannage technique, et la prise de décision sous contraintes (ex : soit on construit un nouveau pont, soit on répare l’ancien ; on ne répare pas l’ancien, donc on construit un nouveau). Cette forme est cruciale dans les contextes où les ressources sont limitées et les choix mutuellement exclusifs sont fréquents au Cameroun et en Afrique. ### Définitions et faits > Un **syllogisme disjonctif** est un argument de la forme : > P ou Q. > Non P. > Donc, Q. > Symboliquement : (P ∨ Q) ∧ ¬P ⊢ Q > Cette forme est toujours valide, que la disjonction soit interprétée comme inclusive (P ∨ Q) ou exclusive (P ⊕ Q), tant que l’on accepte que dans le cas exclusif, P et Q ne peuvent pas être vrais simultanément. > La forme symétrique est également valide : > P ou Q. > Non Q. > Donc, P. > Symboliquement : (P ∨ Q) ∧ ¬Q ⊢ P > La forme suivante est invalide : > P ou Q. > P est vrai. > Donc, Q est faux. > Cette forme est invalide si la disjonction est inclusive (car P et Q peuvent être vrais ensemble). > Elle est valide seulement si la disjonction est explicitement exclusive (P ⊕ Q) et que l’on sait que P est vrai → alors Q doit être faux. > Mais dans la logique standard du programme, sauf précision, « ou » est interprété comme inclusif, donc cette forme est généralement considérée comme invalide sans précision supplémentaire. ### Causes et conséquences La validité du syllogisme disjonctif réside dans la définition de la disjonction inclusive : P ∨ Q est faux seulement quand P et Q sont tous deux faux. - Si on sait que P ∨ Q est vrai et que P est faux, alors Q doit être vrai (pour que la disjonction soit vraie). - De même, si Q est faux, alors P doit être vrai. L’invalidité de « P ou Q, P est vrai, donc Q est faux » vient du fait que dans une disjonction inclusive, P et Q peuvent être vrais simultanément. Conséquence : l’élève apprend à distinguer les contextes où « ou » implique une exclusivité réelle (ex : soit on est admis, soit on est refusé — pas les deux) de ceux où les deux options peuvent coexister (ex : on peut étudier les sciences et les lettres — au Cameroun, certains lycées offrent des filières mixtes). Cette discernement est essentiel dans l’analyse des politiques publiques (ex : soit on finance la santé, soit on finance l’éducation — faux dilemme si les deux peuvent être financés partiellement). ### Exemples concrets - **Cameroun (inclusif, mais traité comme exclusif par contexte)** : Soit le gouvernement construit une nouvelle université à Bamenda, soit il agrandit l’université existante de Yaoundé II. Le gouvernement n’a pas agrandi l’université de Yaoundé II. Donc, il a construit une nouvelle université à Bamenda. (Dans ce contexte budgétaire annuel, les deux options sont souvent présentées comme mutuellement exclusives — même si théoriquement, on pourrait faire les deux, les contraintes financières rendent l’option exclusive pertinente). - **Afrique (exclusif par nature)** : Lors d’un référendum, soit le peuple vote pour l’adoption d’une nouvelle constitution, soit il vote pour le maintien de l’ancienne. Le peuple n’a pas voté pour le maintien de l’ancienne constitution. Donc, il a voté pour l’adoption de la nouvelle constitution. (Ici, l’exclusivité est logique et juridique : on ne peut pas accepter et rejeter la même constitution simultanément). - **Exemple inclusif où la forme est invalide** : Soit un étudiant étudie les mathématiques, soit il étudie l’histoire. Cet étudiant étudie les mathématiques. Donc, il n’étudie pas l’histoire. (Faux au Cameroun : dans certains établissements comme le Lycée Général Leclerc de Yaoundé, un élève peut suivre des options dans les deux domaines — donc, la disjonction est inclusive, et la conclusion ne suit pas). - **Exemple où la forme est valide par exclusivité explicite** : Soit la lumière est allumée, soit elle est éteinte (on exclut les états intermédiaires comme « clignotant » pour simplifier). La lumière n’est pas éteinte. Donc, elle est allumée. (Valide si l’on définit explicitement que les deux états sont épuisants et mutuellement exclusifs). ### Vocabulaire à retenir - Disjunction (disjonction) : connecteur logique « ou », noté ∨ (inclusif) ou ⊕ (exclusif). - Disjunctive Syllogism : règle d’inférence qui élimine une disjonction par la négation d’un membre. - Inclusive Disjunction (ou inclusif) : P ∨ Q est vrai si au moins un de P ou Q est vrai. - Exclusive Disjunction (ou exclusif) : P ⊕ Q est vrai si exactement un de P ou Q est vrai. - Elimination : processus de retrait d’une option logique pour déduire l’autre. - Mutually Exclusive : deux propositions qui ne peuvent pas être vraies en même temps. - Exhaustive : deux propositions qui couvrent toutes les possibilités (au moins une est vraie). - False Dilemma : présentation fallacieuse de deux options comme étant les seules possibles alors qu’il en existe d’autres. ### Exemple de sujet type examen avec plan **Sujet** : Lors d’une réunion du conseil municipal de Douala, il est décidé que : Soit la ville investit dans l’extension du réseau d’eau potable, soit elle investit dans la réhabilitation des routes principales. Plus tard, le maire annonce que la ville n’a pas investi dans la réhabilitation des routes principales. Quelle conclusion peut-on tirer logiquement ? Justifiez votre réponse. **Plan attendu** : - Étape 1 : Identifier les propositions : P = La ville investit dans l’extension du réseau d’eau potable Q = La ville investit dans la réhabilitation des routes principales - Étape 2 : Traduire la prémisse : « Soit P, soit Q » → P ∨ Q (on interprète « ou » comme inclusif par défaut, sauf indication contraire) « La ville n’a pas investi dans la réhabilitation des routes principales » → ¬Q - Étape 3 : Appliquer la règle du syllogisme disjonctif : De (P ∨ Q) et ¬Q, déduire P (Valide car : si P ∨ Q est vrai et Q est faux, alors P doit être vrai pour que la disjonction soit vraie) - Étape 4 : Interpréter la conclusion : Donc, la ville investit dans l’extension du réseau d’eau potable. - Étape 5 : Préciser l’hypothèse : Cette conclusion est valide sous l’hypothèse que la disjonction est bien interprétée comme inclusive (standard en logique propositionnelle sauf précision). Si le contexte avait explicitement indiqué que les deux options étaient mutuellement exclusives et exhaustives (ce qui est souvent le cas dans les décisions budgétaires annuelles avec financement limité), la conclusion serait encore plus fortement justifiée, mais reste valide même sous l’interprétation inclusive. Aucune fallacy n’est commise ici. ## Synthèse du chapitre - Le syllogisme hypothétique pur permet de chaîner deux conditionnels : si P→Q et Q→R, alors P→R. Toujours valide par transitivité de l’implication. - L’affirmation de l’antécédent (Modus Ponens) et le déni du conséquent (Modus Tollens) sont les deux seules formes valides d’inférence à partir d’un seul conditionnel. - L’affirmation du conséquent et le déni de l’antécédent sont des fallacies fréquentes, dues à la confusion entre implication et biconditionnelle. - Le syllogisme disjonctif permet d’éliminer une option d’une disjonction : si P∨Q et ¬P, alors Q. Valide pour la disjonction inclusive et exclusive sous les conditions appropriées. - La validité dépend de la forme logique, pas de la vérité factuelle des propositions. - Les exemples camerounais et africains illustrent l’application pratique dans l’éducation, la santé, les infrastructures, et la gouvernance. - L’élève doit savoir traduire des arguments en langage naturel en logique symbolique, appliquer les règles d’inférence, et identifier les erreurs de raisonnement. ## Glossaire - Antecedent : La proposition qui suit « si » dans un conditionnel (ex : dans « Si il pleut, alors la route est mouillée », « il pleut » est l’antécédent). - Consequent : La proposition qui suit « alors » dans un conditionnel (ex : dans « Si il pleut, alors la route est mouillée », « la route est mouillée » est le conséquent). - Modus Ponens : Règle d’inférence valide : de P→Q et P, déduire Q. Aussi appelée affirmation de l’antécédent. - Modus Tollens : Règle d’inférence valide : de P→Q et ¬Q, déduire ¬P. Aussi appelée déni du conséquent. - Fallacy of Affirming the Consequent : Erreur consistant à conclure P de P→Q et Q. - Fallacy of Denying the Antecedent : Erreur consistant à conclure ¬Q de P→Q et ¬P. - Disjunctive Syllogism : Règle d’inférence valide : de P∨Q et ¬P, déduire Q (ou symétriquement avec ¬Q). - Inclusive Disjunction : Disjonction logique « ou » où P∨Q est