Forms of disjunctive syllogism

# Forms of disjunctive syllogism ## Objectifs et prérequis **Objectifs** : À la fin de ce chapitre, l'élève sera capable de : - Identifier et analyser les différentes formes de l'argument disjonctif (disjunctive syllogism) en logique formelle. - Définir l'enthymème et expliquer son rôle dans le raisonnement ordinaire, en particulier dans le contexte camerounais et africain. - Classer les ordres de raisonnement (first, second, third order) selon leur niveau d'abstraction et leur application en logique. - Appliquer les formes de l'argument disjonctif pour résoudre des problèmes logiques concrets, y compris des sujets d'examen type. - Utiliser le vocabulaire logique approprié avec précision dans des évaluations écrites. **Prérequis** : L'élève doit maîtriser : - Les notions de proposition, de vérité et de fausseté. - Les opérateurs logiques de base : conjonction (∧), disjonction (∨), négation (¬), implication (→). - La structure d'un syllogisme catégorique classique (modus ponens, modus tollens). - La capacité à traduire des phrases en langage naturel en symboles logiques. --- ## Introduction La logique formelle, en tant qu'outil de raisonnement rigoureux, permet d'analyser la validité des arguments indépendamment de leur contenu sémantique. Dans le programme de Form Five du système éducatif camerounais (anglophone), le chapitre « Forms of Disjunctive Syllogism » s'inscrit dans la continuité de l'étude des règles d'inférence, en mettant l'accent sur la disjonction comme opérateur logique central. Ce chapitre ne se limite pas à une présentation mécanique des formes : il vise à développer chez l'élève une capacité critique à distinguer les raisonnements valides des sophismes, notamment ceux qui exploitent l'ambiguïté de la disjonction en langage naturel (exclusive vs inclusive). L'étude de l'enthymème permet de relier la logique formelle au raisonnement quotidien, très présent dans les débats publics, les discours politiques ou les jugements coutumiers au Cameroun. Enfin, la notion d'ordres de raisonnement introduit une métaréflexion sur la nature même du raisonnement logique : raisonnons-nous sur des propositions, sur des propriétés de propositions, ou sur des règles de raisonnement elles-mêmes ? Cette approche en trois niveaux prépare l'élève à des études supérieures en philosophie, en informatique théorique ou en droit. --- ## I. Forms of Disjunctive Argument ### Contexte La disjonction (∨) est un opérateur logique qui affirme qu'au moins une des deux propositions est vraie. En logique classique, elle est interprétée comme **inclusive** : P ∨ Q est vraie si P est vraie, ou Q est vraie, ou les deux sont vraies. Cependant, en langage naturel, la disjonction peut être **exclusive** (autrement dit, « soit P soit Q, mais pas les deux »), ce qui introduit une ambiguïté source d'erreurs de raisonnement. Le programme camerounais insiste sur la nécessité de distinguer ces deux interprétations pour éviter les sophismes, particulièrement dans les contextes où les choix sont présentés comme binaires (ex : « Soit tu soutiens le parti au pouvoir, soit tu es contre le développement »). ### Définitions et faits clés > **Disjunctive Syllogism (DS)** : Une règle d'inférence valide qui affirme que si P ∨ Q est vraie et que ¬P est vraie, alors Q doit être vraie. Symboliquement : (P ∨ Q) ∧ ¬P ⊢ Q. > **Disjunctive Addition** : Une règle d'inférence qui permet d'ajouter une disjonction vraie à partir d'une proposition vraie : P ⊢ P ∨ Q (pour tout Q). > **Disjunctive Simplification** : N'existe pas comme règle valide : de P ∨ Q, on ne peut pas déduire P ni Q séparément sans information supplémentaire. ### Formes de l'argument disjonctif Il existe deux formes valides de l'argument disjonctif (disjunctive syllogism), correspondant à la négation de chaque disjoncte : 1. **Forme 1 : Négation du premier disjoncte** - Premisse majeure : P ∨ Q - Premisse mineure : ¬P - Conclusion : ∴ Q - Exemple camerounais : > « Soit l'élève a réussi l'examen de logique (P), soit il a raté (Q). > Il n'a pas réussi l'examen (¬P). > Donc, il a raté (Q). » *Valide si la disjonction est interprétée comme exclusive ou inclusive (dans ce cas, les deux ne peuvent pas être vraies simultanément dans le contexte scolaire camerounais où l'on ne peut pas à la fois réussir et raté le même examen).* 2. **Forme 2 : Négation du second disjoncte** - Premisse majeure : P ∨ Q - Premisse mineure : ¬Q - Conclusion : ∴ P - Exemple africain : > « Soit la pluie tombe ce matin à Yaoundé (P), soit le ciel reste dégagé (Q). > Le ciel n'est pas dégagé (¬Q). > Donc, il pleut (Q). » *Valide sous l'hypothèse que les deux événements sont mutuellement exclusifs (ce qui est souvent le cas en météorologie locale).* ### Causes et conséquences - **Cause de l'erreur fréquente** : Confondre la disjonction inclusive (∨) avec la disjonction exclusive (XOR). Exemple de sophisme : > « Soit tu es pour la réforme éducative (P), soit tu es contre (Q). > Tu n'es pas contre (¬Q). > Donc, tu es pour (P). » *Cet argument est valide seulement si P et Q sont mutuellement exclusifs. Si l'on permet une position neutre (ni pour, ni contre), alors la prémisse P ∨ Q est fausse (car elle exclut le tiers), rendant l'argument invalide malgré sa forme apparente.* Cette erreur est fréquente dans les débats politiques au Cameroun, où les positions sont souvent présentées comme binaires alors qu'elles admettent des nuances. - **Conséquence pédagogique** : L'élève doit apprendre à vérifier la nature exclusive ou inclusive de la disjonction dans le contexte avant d'appliquer la règle DS. ### Vocabulaire à retenir - Disjonction inclusive (inclusive disjunction) : P ∨ Q vraie si au moins une est vraie. - Disjonction exclusive (exclusive disjunction) : P XOR Q vraie si exactement une est vraie. - Disjunctive Syllogism (DS) : Règle d'inférence valide basée sur la négation d'un disjoncte. - Mutuellement exclusif (mutually exclusive) : Deux propositions ne pouvant pas être vraies simultanément. - Tiers exclu (excluded middle) : Principe selon lequel une proposition est soit vraie soit fausse (pas de troisième valeur). ### Exemple de sujet type examen avec plan **Sujet** : > « Dans un débat sur la langue officielle au Cameroun, un intervenant affirme : « Soit le français doit rester la seule langue officielle (P), soit l'anglais doit être ajouté comme langue officielle (Q). Il a ensuite ajouté : « Le français ne sera pas supprimé comme langue officielle » (¬¬P, donc P). Donc, l'anglais ne doit pas être ajouté comme langue officielle » (∴ ¬Q). > Évaluez la validité de cet argument en vous référant aux formes de l'argument disjonctif. » **Plan de réponse** : 1. **Traduction symbolique** : - Premisse majeure : P ∨ Q - Premisse mineure : ¬(¬P) ≡ P (double négation) - Conclusion : ¬Q → L'argument a la forme : (P ∨ Q) ∧ P ⊢ ¬Q 2. **Analyse de la forme** : - Cette forme n'est pas une des deux formes valides du disjunctive syllogism (qui nécessitent ¬P ou ¬Q comme prémisse mineure). - Ici, on affirme P (première disjoncte) pour conclure ¬Q (négation de la seconde). - Cela correspond à la **fallacy of affirming a disjunct** : de P ∨ Q et P, on ne peut pas conclure ¬Q (sauf si la disjonction est exclusive). 3. **Vérification du contexte** : - En droit camerounais, la Constitution permet le bilinguisme officiel (français et anglais). - Donc, P et Q ne sont pas mutuellement exclusifs : les deux peuvent être vrais simultanément (bilinguisme officiel). - La disjonction P ∨ Q est donc **inclusive** dans ce contexte. 4. **Conclusion** : - L'argument commet la **fallacy of affirming a disjunct** dans un contexte de disjonction inclusive → **invalide**. - Même si la conclusion (¬Q) pouvait être vraie par ailleurs, le raisonnement est logiquement fautif. --- ## II. Enthymeme : Definition ### Contexte L'enthymème est un concept hérité de la logique aristotélicienne, adapté au raisonnement ordinaire où une prémisse est omise parce qu'elle est considérée comme évidente, connue du public ou allant de soi. Dans le système éducatif camerounais, l'étude de l'enthymème permet de faire le pont entre la logique formelle (explicite, symbolique) et le raisonnement pratique utilisé dans les discours politiques, les jugements coutumiers, les publicités ou les débats scolaires. Il est particulièrement pertinent dans un contexte africain où le savoir implicite, les valeurs culturelles et les présupposés sociaux jouent un rôle majeur dans l'argumentation. ### Définition et faits clés > **Enthymeme** : Un syllogisme dans lequel l'une des prémisses ou la conclusion est omise, sous-entendue plutôt qu'explicitement exprimée. C'est un argument rhétorique qui repose sur des présupposés partagés par l'auditoire. > **Enthymème catégorique** : Forme la plus courante, dérivée du syllogisme catégorique classique (ex : Tous les hommes sont mortels ; Socrate est un homme ; donc Socrate est mortel → enthymème : « Socrate est mortel car il est un homme » → prémisse majeure omise). > **Enthymème hypothétique** : Basé sur une implication (ex : Si tu étudies, tu réussiras ; tu as étudié ; donc tu réussiras → enthymème : « Tu réussiras car tu as étudié » → prémisse mineure omise ? Non : ici, c'est la conclusion qui est omise dans certaines formes). ### Types d'enthymèmes selon la prémisse omise 1. **Prémisse majeure omise** : - Exemple : « Cet élève mérite une bourse car il vient d'une famille défavorisée. » → Sous-entendu : Tous les élèves venant de familles défavorisées méritent une bourse. → Valeur de vérité dépend de l'acceptation de cette prémisse générale par l'auditoire. 2. **Prémisse mineure omise** : - Exemple : « Puisque la réforme éducative a été adoptée, les résultats vont s'améliorer. » → Sous-entendu : La réforme éducative a été adoptée. → Ici, la prémisse mineure est effectivement omise (on suppose connue). 3. **Conclusion omise** : - Exemple : « Tous les fonctionnaires doivent déclarer leurs biens ; ce fonctionnaire est un fonctionnaire. » → Conclusion sous-entendue : Donc, ce fonctionnaire doit déclarer ses biens. → Très courant dans les discours administratifs ou judiciaires au Cameroun. ### Causes et conséquences - **Cause de l'utilisation** : Économie de langage, présupposition de connaissances partagées, stratégie de persuasion (en évitant de préciser des prémisses controversées). - **Conséquence positive** : Rend l'argumentation plus fluide, adaptée au contexte oral ou culturel. - **Conséquence négative** : Risque de sophisme si la prémisse omise est fausse, non partagée ou manipulée (ex : « Tous les jeunes du Nord sont paresseux » → prémisse omise raciste, utilisée pour justifier l'exclusion). - Au Cameroun, les enthymèmes sont fréquents dans les discours sur l'ethnicité, le régionalisme ou l'autochtonie, où des prémisses culturelles sont présentées comme évidentes sans justification. ### Vocabulaire à retenir - Présupposé (presupposition) : Proposition traitée comme vraie sans être exprimée, nécessaire à la compréhension de l'énoncé. - Omision (omission) : Acte de ne pas exprimer une prémisse ou une conclusion dans un enthymème. - Auditoire (audience) : Groupe auquel l'enthymème s'adresse et dont les croyances partagées rendent l'argument convaincant. - Syllogisme catégorique (categorical syllogism) : Forme logique classique sur laquelle repose souvent l'enthymème. - Argumentation rhétorique (rhetorical argumentation) : Usage de l'enthymème pour persuader plutôt que pour démontrer logiquement. ### Exemple de sujet type examen avec plan **Sujet** : > « Un chef traditionnel déclare lors d'une réunion villageoise : « Notre fils a été admis à l'université ; donc, notre lignée est bénie par les ancêtres. » > Identifiez l'enthymème présent dans cet argument, précisez quelle prémisse est omise, et discutez de sa validité à la lumière des valeurs culturelles camerounaises. » **Plan de réponse** : 1. **Reconstitution du syllogisme complet** : - Premisse majeure (omise) : Toute personne dont un membre de la lignée est admis à l'université est bénie par les ancêtres. - Premisse mineure : Notre fils a été admis à l'université. - Conclusion : Donc, notre lignée est bénie par les ancêtres. → C'est un enthymème avec **prémisse majeure omise**. 2. **Analyse de la prémisse omise** : - Cette prémisse repose sur une croyance culturelle répandue dans de nombreuses communautés camerounaises (Bamiléké, Beti, etc.) selon laquelle le succès éducatif est un signe de faveur ancestrale. - Elle n'est pas universellement vraie, mais elle est **partagée par l'auditoire** dans ce contexte villageois. 3. **Validité** : - **Logiquement** : L'enthymème est valide *si* la prémisse majeure est acceptée comme vraie. - **Factuellement** : La prémisse majeure est une croyance, pas une vérité empiriquement vérifiable → l'argument est **rhétoriquement convaincant mais pas démontratif**. - **Éthiquement** : Aucun problème si présenté comme croyance culturelle ; devient problématique s'il est utilisé pour exclure ceux dont les enfants ne réussissent pas à l'école (implication : malédiction ancestrale). 4. **Conclusion** : - L'enthymème est efficace dans son contexte culturel car il s'appuie sur un présupposé partagé. - Il illustre comment la logique ordinaire intègre des valeurs culturelles dans son fonctionnement, justifiant l'étude de l'enthymème en Form Five pour développer un esprit critique face aux arguments apparemment logiques mais fondés sur des présupposés non examinés. --- ## III. Orders ### Contexte La notion d'« ordres » en logique fait référence à la hiérarchie des niveaux d'abstraction dans lesquels on peut raisonner. Cette idée, bien que moins explicite dans les textes logiques classiques, est développée dans la logique moderne (notamment par Bertrand Russell et Alfred North Whitehead dans *Principia Mathematica*) pour éviter les paradoxes (comme le paradoxe du menteur). Dans le programme camerounais de Form Five, l'étude des ordres permet à l'élève de comprendre que la logique ne se limite pas à raisonner sur des propositions factuelles (premier ordre), mais peut aussi porter sur les propriétés des propositions (deuxième ordre) ou sur les règles de raisonnement elles-mêmes (troisième ordre). Cette métaréflexion prépare l'élève à des domaines comme l'informatique théorique, la philosophie du langage ou les fondements des mathématiques. ### Définition et faits clés > **Premier ordre (First-order logic)** : Raisonnement sur des individus et leurs propriétés ou relations. Les quantificateurs (∀, ∃) portent sur des objets du domaine de discours. > Exemple : ∀x (Human(x) → Mortal(x)) → « Tous les humains sont mortels ». > **Deuxième ordre (Second-order logic)** : Raisonnement sur des propriétés ou des ensembles d'individus. Les quantificateurs peuvent porter sur des prédicats. > Exemple : ∀P [∀x (P(x) → Q(x)) → (∃x P(x) → ∃x Q(x))] → « Si une propriété P implique partout une propriété Q, alors si quelque chose a P, quelque chose a Q ». > **Troisième ordre (Third-order logic)** : Raisonnement sur des propriétés de propriétés, ou sur des règles de raisonnement. Rarement utilisé en pratique, mais conceptuellement important pour la méta-logique. > Exemple : Raisonner sur la validité d'une règle d'inférence comme le modus ponens. ### Causes et conséquences - **Cause de la hiérarchie** : Éviter l'auto-référence paradoxale (ex : « Cette phrase est fausse »). En restreignant la quantification à des niveaux spécifiques, on bloque les boucles vicieuses. - **Conséquence en informatique** : Les langages de programmation et les systèmes de preuve (comme Coq ou Agda) sont souvent basés sur la logique du premier ou du deuxième ordre pour assurer la décidabilité. - **Conséquence en éducation** : Comprendre les ordres aide l'élève à distinguer : - Ce dont on parle (premier ordre : les élèves, les écoles), - Ce qu'on dit de leurs propriétés (deuxième ordre : « être bon en logique » est une propriété qui peut être partagée par plusieurs élèves), - Ce qu'on dit des règles qu'on utilise pour juger ces propriétés (troisième ordre : « utiliser le disjunctive syllogism est une règle valide »). ### Vocabulaire à retenir - Domaine de discours (domain of discourse) : Ensemble des individus dont on parle dans un argument logique. - Prédicat (predicate) : Fonction qui retourne une valeur de vérité lorsqu'appliquée à un individu (ex : Human(x)). - Quantificateur (quantifier) : Symbole logique (∀ pour « tout », ∃ pour « il existe ») qui lie une variable. - Logique du premier ordre (FOL) : Système logique standard utilisé en mathématiques et en informatique. - Logique du deuxième ordre (SOL) : Extension de la FOL permettant de quantifier sur les prédicats. - Méta-logique (metalogic) : Étude des propriétés des systèmes logiques eux-mêmes (appartient au troisième ordre). ### Exemple de sujet type examen avec plan **Sujet** : > « Considérez l'argument suivant : « Si une règle d'inférence est valide, alors elle préserve la vérité. Le disjunctive syllogism préserve la vérité. Donc, le disjunctive syllogism est une règle valide. » > À quel ordre appartient ce raisonnement ? Justifiez votre réponse en expliquant la nature des entités sur lesquelles on raisonne. » **Plan de réponse** : 1. **Identification des entités raisonnées** : - Premisse majeure : « Si une règle d'inférence est valide, alors elle préserve la vérité » → raisonne sur **des règles d'inférence** (entités abstraites). - Premisse mineure : « Le disjunctive syllogism préserve la vérité » → affirme une propriété d'une règle spécifique. - Conclusion : « Donc, le disjunctive syllogism est une règle valide » → juge la validité d'une règle. 2. **Niveau d'abstraction** : - On ne raisonne pas sur des individus (ex : un élève, une école) → pas du premier ordre. - On ne raisonne pas sur des propriétés d'individus (ex : « être intelligent ») → pas du deuxième ordre. - On raisonne sur **des règles de raisonnement** elles-mêmes : leur validité, leur capacité à préserver la vérité. → Cela relève du **troisième ordre**. 3. **Justification** : - Le troisième ordre permet de quantifier sur des propriétés de propriétés ou sur des règles. Ici, on applique une propriété générale (« préserve la vérité si valide ») à une règle spécifique (« disjunctive syllogism »). - C'est une forme de raisonnement méta-logique : on évalue la règle elle-même, pas ses applications. 4. **Limite** : - Bien que conceptuellement clair, le troisième ordre est rarement formalisé en pratique en raison de sa complexité et de son risque de paradoxe. - Dans les systèmes formels, on préfère souvent rester au premier ou deuxième ordre et traiter les règles comme des axiomes ou des théorèmes du métalangage (hors système). 5. **Conclusion** : - Cet argument appartient au **troisième ordre** car il raisonne sur la nature et les propriétés des règles logiques elles-mêmes, ce qui constitue une réflexion méta-logique essentielle pour comprendre les fondements de la raison. --- ## Synthèse du chapitre - **Forms of Disjunctive Argument** : Deux formes valides (DS) : de P ∨ Q et ¬P déduire Q ; de P ∨ Q et ¬Q déduire P. Nécessité de vérifier l'exclusivité ou l'inclusivité de la disjonction selon le contexte. Risque de la fallacy of affirming a disjunct si l'on conclut ¬Q de P ∨ Q et P sans exclusivité. - **Enthymeme** : Argument avec prémisse ou conclusion omise, basé sur des présupposés partagés. Utile en contexte culturel (ex : croyances ancestrales au Cameroun) mais risqué si la prémisse omise est fausse ou manipulée. Trois types selon l'élément omis : majeure, mineure, conclusion. - **Orders** : Hiérarchie d'abstraction : premier ordre (sur les individus), deuxième ordre (sur les propriétés), troisième ordre (sur les règles ou propriétés de propriétés). Essentiel pour éviter les paradoxes et comprendre la méta-logique. Le raisonnement sur la validité des règles d'inférence relève du troisième ordre. --- ## Glossaire > **Disjonction inclusive** : Opérateur logique ∨ vraie si au moins une des deux propositions est vraie. > **Disjonction exclusive** : Opérateur logique vraie si exactement une des deux propositions est vraie (non standard en logique classique sans symbole dédié). > **Disjunctive Syllogism (DS)** : Règle d'inférence valide : (P ∨ Q) ∧ ¬P ⊢ Q ou (P ∨ Q) ∧ ¬Q ⊢ P. > **Enthymeme** : Syllogisme avec prémisse ou conclusion omise, reposant sur des présupposés partagés par l'auditoire. > **Prémisse majeure omise** : Type d'enthymème où la règle générale est sous-entendue (ex : « Il mérite une récompense car il a travaillé dur » → sous-entendu : Tous ceux qui travaillent dur méritent une récompense). > **Prémisse mineure omise** : Type d'enthymème où le fait spécifique est sous-entendu (ex : « Puisque la loi est juste, elle doit être appliquée » → sous-entendu : La loi est juste). > **Conclusion omise** : Type d'enthymème où la déduction finale est sous-entendue (ex : « Tous les fonctionnaires doivent déclarer leurs biens ; Monsieur X est un fonctionnaire » → sous-entendu : Donc, Monsieur X doit déclarer ses biens). > **Premier ordre** : Niveau de logique où l'on raisonne sur des individus et leurs propriétés à l'aide de quantificateurs portant sur les objets. > **Deuxième ordre** : Niveau de logique où l'on raisonne sur des propriétés ou des ensembles d'individus (quantification sur les prédicats). > **Troisième ordre** : Niveau de logique où l'on raisonne sur des propriétés de propriétés ou sur des règles de raisonnement (méta-logique). > **Fallacy of affirming a disjunct** : Erreur de raisonnement consistant à conclure ¬Q de P ∨ Q et P, valide seulement si la disjonction est exclusive. > **Présupposé** : Proposition traitée comme vraie sans être exprimée, nécessaire à la compréhension ou à la force persuasive d'un enthymème. > **Domaine de discours** : Ensemble des individus ou entités sur lesquels porte un argument logique dans un contexte donné. > **Méta-logique** : Étude des propriétés des systèmes logiques eux-mêmes (cohérence, complétude, validité des règles), appartenant au troisième ordre.