The vein diagram and moods

# The vein diagram and moods ## Objectifs et prérequis Ce chapitre vise à fournir aux élèves de Form Five une compréhension approfondie des fondements logiques du raisonnement syllogistique, en s'appuyant sur les contributions de George Boole, l'utilisation des diagrammes de Venn pour représenter les relations entre ensembles, et la classification des moods valides dans la logique traditionnelle. Les élèves apprendront à identifier, analyser et évaluer la validité des syllogismes catégoriques à l'aide de méthodes formelles, en distinguant les moods conditionnels des moods inconditionnellement valides. Ils développeront des compétences en raisonnement déductif applicables à des contextes académiques, sociaux et professionnels, notamment dans l'analyse d'arguments dans les débats publics, les textes juridiques ou les discours politiques courants en contexte camerounais et africain. Les prérequis comprennent une maîtrise des notions de base de la logique propositionnelle (propositions, négation, conjonction, disjonction), une familiarité avec les termes catégoriques (A, E, I, O) et leur signification en logique traditionnelle, ainsi qu'une capacité à manipuler des ensembles et des diagrammes simples. Une connaissance élémentaire de l'histoire des idées logiques (Aristote, scolastique) est utile mais non indispensable. --- ## I. George Boole's Syllogism ### Contexte historique et intellectuel George Boole (1815–1864), mathématicien et logique britannique, a révolutionné la logique traditionnelle en la transformant en un système algébrique dans son ouvrage *An Investigation of the Laws of Thought* (1854). Contrairement à Aristote, qui traitait le syllogisme comme une forme de raisonnement linguistique basé sur des règles intuitives, Boole a cherché à réduire la logique à des opérations mathématiques sur des classes ou des ensembles. Son travail a posé les fondements de l'algèbre de Boole, qui sous-tend aujourd'hui l'informatique moderne et la conception des circuits numériques. Bien que Boole n'ait pas rejeté le syllogisme aristotélicien, il l'a reformulé dans un cadre plus général permettant de gérer des cas que la logique traditionnelle ne pouvait pas traiter, comme les propositions existentielles ou les universaux vides. ### Définitions et faits clés > **Le syllogisme de Boole** est une reformulation algébrique du syllogisme catégorique traditionnel, où les termes sont représentés par des symboles algébriques et les relations d'inclusion ou d'exclusion sont exprimées par des équations ou des inégalités dans l'algèbre de Boole. Dans le système de Boole : - Chaque terme (comme "hommes", "mortels") est représenté par une variable algébrique (x, y, z). - La proposition "Tous les x sont y" s'écrit comme *x = xy* (ou équivalentement *x(1−y) = 0*). - "Aucun x n'est y" devient *xy = 0*. - "Quelques x sont y" se traduit par *vx = vy*, où *v* est un terme indéfini représentant "quelque chose". - "Quelques x ne sont pas y" devient *vx = v(1−y)*. Boole a introduit la notion de **terme indéfini** (*v*) pour capturer la portée existentielle des propositions particulières (I et O), une innovation cruciale qui permet de distinguer entre les affirmations universales et existentielles sans présupposer l'existence des termes. ### Causes et conséquences La motivation de Boole était de créer un langage logique unifié, applicable non seulement à la philosophie mais aussi aux mathématiques et à la physique. Son travail a montré que la logique traditionnelle était un cas particulier d'un système algébrique plus riche. Cela a permis : - La résolution de problèmes logiques complexes par des méthodes de calcul (comme l'élimination). - La mise en évidence des limites de la logique aristotélicienne face aux propositions comportant des termes vides (ex. : "Tous les licornes sont blanches" — vraie dans la logique traditionnelle si l'on accepte l'implication matérielle, mais problématique en termes d'existence). - L'influence directe sur les travaux de Jevons, Schröder, Whitehead et Russell, et finalement sur Claude Shannon, qui a appliqué l'algèbre de Boole aux circuits électriques en 1937. ### Exemples concrets (contextes camerounais et africains) Prenons un exemple tiré du contexte éducatif camerounais : - **Premisse 1** : Tous les élèves qui réussissent l'examen du GCE Ordinary Level sont admis en Form Six. (Symbolisation de Boole : *S = SH*, où S = élèves réussissant l'examen, H = admis en Form Six) - **Premisse 2** : Certains élèves qui suivent des cours de rattrapage sont des élèves qui réussissent l'examen du GCE. (Symbolisation : *vR = vS*, où R = élèves suivant des cours de rattrapage) - **Conclusion** : Certains élèves qui suivent des cours de rattrapage sont admis en Form Six. (Symbolisation attendue : *vR = vH*) En appliquant les règles de l'algèbre de Boole : 1. De *S = SH*, on déduit *S(1−H) = 0*. 2. De *vR = vS*, on substitue : *vR = v(SH)*. 3. Puisque *vS = vSH*, et en utilisant la distributivité et les propriétés de Boole (*v* est arbitraire mais non nul), on obtient *vR = vSH*. 4. Comme *SH* implique *H* (puisque *S = SH* ⇒ *S ≤ H*), on peut écrire *vSH ⊆ vH*, donc *vR = vH* est une conséquence valide. Cet exemple montre comment Boole permet de traiter des raisonnements impliquant des quantificateurs existentiels ("certains") de manière formelle, ce qui est utile dans l'analyse des politiques éducatives : par exemple, évaluer si un programme de rattrapage effectivement conduit à une augmentation des admissions en Form Six. ### Vocabulaire à retenir - Algèbre de Boole - Terme indéfini (*v*) - Équation logique - Représentation algébrique des propositions catégoriques - Universalité existentielle ### Exemple de sujet type examen avec plan **Sujet** : En utilisant le système de Boole, montrez que le syllogisme suivant est valide : Premisse 1 : Tous les enseignants qualifiés sont affectés dans les zones rurales. Premisse 2 : Certains stagiaires de l'ENIEG sont des enseignants qualifiés. Conclusion : Certains stagiaires de l'ENIEG sont affectés dans les zones rurales. **Plan attendu** : 1. Définir les symboles : - Q = enseignants qualifiés - R = affectés dans les zones rurales - S = stagiaires de l'ENIEG 2. Traduire les prémisses en équations de Boole : - P1 : Tous les Q sont R → *Q = QR* - P2 : Certains S sont Q → *vS = vQ* 3. Substituer P1 dans P2 : - Puisque *Q = QR*, alors *vS = v(QR)* 4. Utiliser la propriété de l'algèbre de Boole : *v(QR) = vQ R* (puisque *v* est indéfini mais distribue sur la multiplication) - Donc *vS = vQ R* 5. Mais *vQ = vS* d'après P2, donc on peut aussi écrire : *vS = vS R* 6. Cela implique que *vS(1−R) = 0*, ce qui signifie qu'il n'y a pas de stagiaires de l'ENIEG qui soient qualifiés mais non affectés en zone rurale. 7. Donc, tous les stagiaires de l'ENIEG qui sont qualifiés sont affectés en zone rurale → ce qui implique que certains stagiaires de l'ENIEG sont affectés en zone rurale (puisqu'il existe au moins un stagiaire qualifié, d'après P2). 8. Conclusion : *vS = vR* → Certains stagiaires de l'ENIEG sont affectés dans les zones rurales. 9. Vérifier l'existence : la prémisse 2 affirme l'existence de certains stagiaires qualifiés, donc la conclusion est soutenue. --- ## II. The Venn Diagram ### Contexte historique et intellectuel John Venn (1834–1923), logique et philosophe britannique, a introduit les diagrammes qui portent son nom en 1880 dans son ouvrage *Symbolic Logic*. Bien que des représentations similaires aient été utilisées antérieurement par Léonard Euler et d'autres logiciens, Venn a systématisé l'utilisation de cercles fermés pour représenter les relations entre ensembles dans un cadre universel clairement défini. Son objectif était de fournir une méthode visuelle et intuitive pour tester la validité des syllogismes catégoriques, en complément ou en alternative aux règles formelles de la logique traditionnelle. Les diagrammes de Venn ont rapidement gagné en popularité grâce à leur clarté pédagogique et leur applicabilité universelle. ### Définitions et faits clés > **Un diagramme de Venn** est une représentation graphique des ensembles à l'aide de cercles fermés dans un rectangle représentant l'univers du discours, où les régions montrent les intersections, unions et complémentaires des ensembles selon les prémisses d'un syllogisme. Dans un diagramme de Venn pour deux termes : - Deux cercles qui se chevauchent représentent deux catégories (ex. : S et P). - L'univers est représenté par le rectangle entourant les cercles. - Les quatre régions possibles sont : - Seul S (S non-P) - Seul P (P non-S) - S et P (intersection) - Ni S ni P (complémentaire de l'union) Pour trois termes (syllogisme catégorique standard), on utilise trois cercles chevauchants, créant huit régions. Les conventions de remplissage sont : - **Ombre** : indique que la région est vide (aucun élément n'y existe). - **Croix (x)** : indique qu'au moins un élément existe dans cette région (existence affirmée). - Aucune marque : indique que l'on ne sait rien sur l'existence dans cette région (indéterminé). ### Causes et conséquences Venn a cherché à rendre la logique plus accessible et moins abstraite. Ses diagrammes ont permis : - Une vérification visuelle immédiate de la validité des syllogismes sans avoir à mémoriser des règles ou des moods. - La mise en évidence des erreurs de raisonnement (comme les illusions de répartition ou les conclusions non soutenues). - Une transition naturelle vers la théorie des ensembles modernes, influençant l'enseignement des mathématiques au XXe siècle. - Une adoption généralisée dans l'éducation secondaire et supérieure, notamment dans les systèmes anglophones comme celui du Cameroun, où ils sont utilisés pour enseigner la logique, la probabilité et les statistiques. ### Exemples concrets (contextes camerounais et africains) Exemple tiré du contexte de la santé publique au Cameroun : - **Premisse 1** : Aucun enfant vacciné contre la rougeole n'est susceptible de contracter la maladie lors d'une épidémie. (Aucun S n'est P → S et P sont disjoints) - **Premisse 2** : Certains enfants vivant dans les zones rurales ne sont pas vaccinés contre la rougeole. (Quelques S ne sont pas P → il existe des éléments dans S qui ne sont pas dans P) - **Conclusion** : Certains enfants vivant dans les zones rurales sont susceptibles de contracter la rougeole lors d'une épidémie. (Quelques S sont P) **Construction du diagramme de Venn** : - Cercle S = enfants vaccinés contre la rougeole - Cercle P = enfants susceptibles de contracter la rougeole - Univers = tous les enfants considérés Étape 1 : Premisse 1 → Aucun S n'est P → on ombrage l'intersection S∩P (car aucun élément ne peut être à la fois vacciné et susceptible). Étape 2 : Premisse 2 → Certains S ne sont pas P → on place une croix dans la région S uniquement (S non-P), car il existe des enfants vaccinés qui ne sont pas susceptibles — attendez, correction : "Certains enfants vivant dans les zones rurales ne sont pas vaccinés" → il faut définir les termes correctement. Redéfinissons pour éviter la confusion : - Soit S = enfants vivant dans les zones rurales - Soit P = enfants vaccinés contre la rougeole - Alors : - Premisse 1 : Aucun enfant vacciné n'est susceptible → mais nous voulons lier vaccination et susceptibilité. Mieux : Nouvelle formulation plus claire : - **Premisse 1** : Aucun enfant vacciné contre la rougeole n'est susceptible de contracter la maladie. → Donc : Vaccinés (V) et Susceptibles (S) sont disjoints → V ∩ S = ∅ - **Premisse 2** : Certains enfants vivant dans les zones rurales ne sont pas vaccinés contre la rougeole. → Donc : Certains R (ruraux) ne sont pas V → il existe des éléments dans R qui ne sont pas dans V - **Conclusion** : Certains enfants vivant dans les zones rurales sont susceptibles de contracter la rougeole. → Certains R sont S Mais nous manquons un lien entre V et S. En réalité, la prémisse 1 dit : vaccinés → non susceptibles, ce qui est équivalent à : susceptibles → non vaccinés. Donc : Si quelqu'un est susceptible, alors il n'est pas vacciné → S ⊆ non-V. Reformulons avec trois termes : - R = enfants ruraux - V = enfants vaccinés - S = enfants susceptibles Premisse 1 : Aucun V n'est S → V ∩ S = ∅ → on ombrage V∩S Premisse 2 : Certains R ne sont pas V → il existe des éléments dans R ∩ non-V → on place une croix dans R ∩ (complément de V) Conclusion : Certains R sont S → il faut vérifier s'il y a une croix dans R ∩ S Dans le diagramme à trois cercles (R, V, S) : - L'ombrage de V∩S élimine cette région. - La croix dans R ∩ non-V peut se trouver dans deux sous-régions : - R ∩ non-V ∩ S - R ∩ non-V ∩ non-S Comme nous ne savons pas si ces enfants non vaccinés sont susceptibles ou non, la croix pourrait être dans R ∩ non-V ∩ S (ce qui soutiendrait la conclusion) ou dans R ∩ non-V ∩ non-S (ce qui ne la soutiendrait pas). Donc, **la conclusion ne suit pas nécessairement** — le syllogisme est invalide. Cela illustre un piège courant : confondre "non vacciné" avec "susceptible". En réalité, tous les non vaccinés ne sont pas forcément susceptibles (certains peuvent avoir une immunité naturelle). Ce raisonnement est pertinent dans les campagnes de sensibilisation : croire que non vacciné = automatiquement à risque peut mener à des conclusions erronées si l'on ignore l'immunité naturelle ou la variabilité individuelle. ### Vocabulaire à retenir - Univers du discours - Région ombragée - Région avec croix (x) - Diagramme à deux termes - Diagramme à trois termes - Vidage (shading) - Existence affirmée ### Exemple de sujet type examen avec plan **Sujet** : Utilisez un diagramme de Venn pour déterminer si le syllogisme suivant est valide : Premisse 1 : Tous les fonctionnaires sont soumis à l'impôt sur le revenu. Premisse 2 : Certains commerçants ne sont pas soumis à l'impôt sur le revenu. Conclusion : Certains commerçants ne sont pas des fonctionnaires. **Plan attendu** : 1. Définir les termes : - F = fonctionnaires - I = soumis à l'impôt sur le revenu - C = commerçants 2. Dessiner le diagramme de Venn à trois cercles : F, I, C. 3. Traduire Premisse 1 : Tous les F sont I → aucune région de F en dehors de I ne peut contenir d'éléments → on ombrage F ∩ non-I (c'est-à-dire la partie du cercle F qui ne chevauche pas I). 4. Traduire Premisse 2 : Certains C ne sont pas I → il existe au moins un élément dans C qui n'est pas dans I → on place une croix dans la région C ∩ non-I. 5. Examiner la conclusion : Certains C ne sont pas F → cela signifie qu'il existe au moins un élément dans C qui n'est pas dans F → on doit vérifier si la croix placée à l'étape 4 se trouve dans une région qui est aussi en dehors de F. 6. La région C ∩ non-I peut être subdivisée en : - C ∩ non-I ∩ F - C ∩ non-I ∩ non-F 7. Comme nous avons ombragé F ∩ non-I à l'étape 3, la région C ∩ non-I ∩ F est vide (ombragée). Donc, la croix ne peut pas être placée ici. 8. Elle doit donc être placée dans C ∩ non-I ∩ non-F. 9. Cette région implique : l'élément est dans C, pas dans I, et pas dans F → donc il est dans C et pas dans F. 10. Donc, il existe bien un élément dans C qui n'est pas dans F → la conclusion "Certains commerçants ne sont pas des fonctionnaires" est soutenue. 11. **Conclusion** : Le syllogisme est valide. --- ## III. Valid Moods ### Contexte historique et intellectuel La notion de "mood" (ou "mode") en logique traditionnelle fait référence à la séquence des types de propositions catégoriques (A, E, I, O) qui constituent un syllogisme. Cette classification remonte à Aristote et a été systématisée par les scolastiques médiévaux, qui ont attribué des noms mnémotechniques (comme Barbara, Celarent, etc.) aux moods valides. Un mood est considéré comme valide si, quelle que soit la signification des termes, la conclusion découle nécessairement des prémisses lorsque celles-ci sont vraies. La validation d'un mood dépend de sa figure (position du terme moyen) et de la qualité et quantité de ses propositions. ### Définitions et faits clés > **Un mood** est la séquence des lettres représentant la qualité et la quantité des trois propositions d'un syllogisme catégorique : première prémisse, seconde prémisse, conclusion (dans cet ordre). > Exemple : Le mood AAA signifie que les deux prémisses et la conclusion sont toutes des propositions universelles affirmatives (A). Il existe 4 × 4 × 4 = 64 moods possibles (puisque chaque proposition peut être A, E, I ou O). Cependant, seulement une fraction de ces moods est valide, selon la figure du syllogisme (il y a quatre figures, selon la position du terme moyen : sujet de la prémisse majeure, prédicat de la prémisse majeure, etc.). Les règles générales de validité pour un syllogisme catégorique sont : 1. Le syllogisme doit contenir exactement trois termes, chacun utilisé deux fois. 2. Le terme moyen doit être distribué au moins une fois. 3. Si un terme est distribué dans la conclusion, il doit être distribué dans les prémisses. 4. Aucune conclusion ne peut suivre de deux prémisses négatives. 5. Si une prémisse est négative, la conclusion doit être négative. 6. Si une prémisse est particulière, la conclusion doit être particulière. 7. On ne peut pas tirer une conclusion particulière de deux prémisses universelles (sauf dans la logique traditionnelle avec présupposition d'existence). Un mood est valide s'il satisfait à toutes ces règles pour sa figure donnée. ### Causes et conséquences La classification des moods valides a permis : - Une standardisation de l'enseignement de la logique dans les universités médiévales et modernes. - Une réduction du raisonnement syllogistique à une vérification de forme plutôt que de contenu, facilitant l'automatisation (précurseur de la logique formelle). - Une influence sur la rhétorique, le droit et la théologie, où l'évaluation des arguments dépendait de leur forme logique. - Dans le contexte camerounais, cette approche est encore utilisée dans l'enseignement du GCE Advanced Level Logic pour entraîner les élèves à analyser les arguments dans les textes philosophiques, juridiques ou politiques. ### Exemples concrets (contextes camerounais et africains) Prenons un exemple tiré du contexte de l'agriculture camerounaise : - **Premisse 1** : Tous les agriculteurs qui utilisent des semences améliorées augmentent leur rendement. (A : Tous les S sont P) S = agriculteurs utilisant des semences améliorées P = ceux qui augmentent leur rendement - **Premisse 2** : Certains membres des coopératives agricoles sont des agriculteurs qui utilisent des semences améliorées. (I : Certains M sont S) M = membres des coopératives agricoles - **Conclusion** : Certains membres des coopératives agricoles augmentent leur rendement. (I : Certains M sont P) → Mood : AII, Figure 1 (M-S, S-P, M-P) Vérification des règles : 1. Trois termes : S, P, M → OK 2. Terme moyen S : distribué dans la prémisse 1 (Tous les S sont P → S distribué) → OK 3. Aucun terme distribué dans la conclusion (M et P ne sont pas distribués dans "Certains M sont P") → pas de violation de la règle 3 4. Aucune prémisse négative → règle 4 satisfaite 5. Aucune prémisse négative → règle 5 satisfaite 6. Une prémisse particulière (deuxième) → conclusion particulière (I) → OK 7. Deux prémisses universelles ? Non (une est universelle, l'autre particulière) → règle 7 non applicable Donc, le mood AII-1 est valide. En fait, AII dans la première figure est l'un des moods valides classiques, connu sous le nom de **Darii**. Un exemple invalide serait : - Premisse 1 : Aucun élève ne réussit sans travailler dur. (E : Aucun S ne sont P) - Premisse 2 : Certains élèves travaillent dur. (I : Certains S sont M) - Conclusion : Certains élèves réussissent. (I : Certains S sont P) → Mood : EII, Figure 1 Vérification : - Terme moyen S : distribué dans la prémisse 1 (Aucun S ne sont P → S distribué) → OK - Dans la conclusion, P n'est pas distribué (Certains S sont P) → OK pour la règle 3 - Une prémisse négative (première) → la conclusion doit être négative (règle 5) → mais la conclusion est affirmative (I) → **violation de la règle 5** Donc, ce mood est invalide. Cela illustre une erreur courante : croire que travailler dur implique nécessairement la réussite, alors que la prémisse 1 dit seulement que sans travail dur, il n'y a pas de réussite (ce qui est équivalent à : réussite → travail dur). Donc, travailler dur ne garantit pas la réussite — il peut y avoir des travailleurs durs qui échouent à cause d'autres facteurs (sécheresse, mauvais sol, etc.). Ce raisonnement est pertinent dans l'évaluation des politiques agricoles : subventionner les intrants ne garantit pas une augmentation du rendement si d'autres contraintes persistent. ### Vocabulaire à retenir - Mood (mode) - Figure - Terme distribué - Proposition catégorique (A, E, I, O) - Règles de validité - Mood valide - Mood invalide - Syllogisme catégorique ### Exemple de sujet type examen avec plan **Sujet** : Déterminez si le mood suivant est valide : EIO, Figure 2. Justifiez votre réponse en faisant référence aux règles de la logique syllogistique traditionnelle. **Plan attendu** : 1. Rappeler la structure du mood EIO, Figure 2 : - Première prémisse (majeure) : E → Aucun P ne sont M - Seconde prémisse (mineure) : I → Certains S sont M - Conclusion : O → Certains S ne sont pas P - Figure 2 : le terme moyen M est prédicat des deux prémisses. 2. Vérifier la règle 1 : Trois termes présents ? P, M, S → oui. 3. Vérifier la règle 2 : Le terme moyen M doit être distribué au moins une fois. - Dans la prémisse 1 (E : Aucun P ne sont M) → M est distribué (dans une proposition E, le prédicat est distribué). - Donc, règle 2 satisfaite. 4. Vérifier la règle 3 : Si un terme est distribué dans la conclusion, il doit l'être dans les prémisses. - Conclusion (O : Certains S ne sont pas P) → S n'est pas distribué (dans O, le sujet n'est pas distribué), P est distribué (dans O, le prédicat est distribué). - Donc, P doit être distribué dans au moins une prémisse. - Regardons les prémisses : - Première prémisse (E : Aucun P ne sont M) → P est distribué (sujet d'une E est distribué). - Seconde prémisse (I : Certains S sont M) → P n'apparaît pas. - Donc, P est distribué dans la prémisse 1 → règle 3 satisfaite. 5. Vérifier la règle 4 : Aucune conclusion ne peut suivre de deux prémisses négatives. - Premisse 1 : E (négative) - Premisse 2 : I (affirmative) - Donc, seulement une prémisse négative → règle 4 satisfaite. 6. Vérifier la règle 5 : Si une prémisse est négative, la conclusion doit être négative. - Premisse 1 est négative → la conclusion doit être négative. - Conclusion est O (Certains S ne sont pas P) → négative → règle 5 satisfaite. 7. Vérifier la règle 6 : Si une prémisse est particulière, la conclusion doit être particulière. - Premisse 2 est I (particulière) → conclusion doit être particulière. - Conclusion est O (particulière) → règle 6 satisfaite. 8. Vérifier la règle 7 : On ne peut pas tirer une conclusion particulière de deux prémisses universelles. - Premisse 1 : E (universelle) - Premisse 2 : I (particulière) → pas deux universelles → règle 7 non applicable. 9. Toutes les règles sont satisfaites → le mood EIO-2 est valide. 10. En fait, EIO dans la deuxième figure est un mood valide classique, connu sous le nom de **Festino**. ---