Le raisonnement

# Le raisonnement ## Introduction Le raisonnement est l'opération fondamentale de la pensée par laquelle l'esprit humain passe d'une ou plusieurs propositions, appelées prémisses, à une proposition nouvelle, appelée conclusion, en vertu d'une relation logique nécessaire ou probable. Ce chapitre s'inscrit dans la partie du programme de philosophie de Première A consacrée à la logique et à la méthodologie de la pensée. Après avoir étudié la vérité, la connaissance et le langage, il s'agit désormais d'examiner comment l'homme organise ses idées pour parvenir à des conclusions valides ou pour déjouer les pièges de la pensée trompeuse. Le raisonnement est l'outil par excellence de la rationalité : il permet de distinguer la démonstration rigoureuse de la simple opinion, la preuve de la croyance. Dans la vie quotidienne, au Cameroun comme ailleurs, nous raisonnons constamment : lorsque nous jugeons quelqu'un à partir de ses actes, lorsque nous tirons des conclusions d'une observation, lorsque nous décidons sur la base d'indices. Maîtriser les règles du raisonnement, c'est donc apprendre à penser juste, à argumenter avec efficacité et à résister aux sophismes. Ce chapitre se déploiera en trois moments : d'abord l'étude du syllogisme, forme la plus achevée du raisonnement déductif ; ensuite les différents types de raisonnement ; enfin les règles et les erreurs qui guettent la pensée. ## I. L'étude du syllogisme ### 1. Définition et structure générale du syllogisme Le syllogisme est un raisonnement déductif composé de trois propositions : deux prémisses et une conclusion. Il a été systématisé par Aristote (384-322 av. J.-C.) dans son *Organon*, ensemble de traités consacrés à la logique. Le terme « syllogisme » vient du grec *syllogismos* qui signifie « action de rassembler, de conclure ». Aristote le définit comme « un discours dans lequel, certaines choses étant posées, quelque chose d'autre en résulte nécessairement par le seul fait de ces choses ». > **À retenir** : Le syllogisme est un raisonnement déductif composé de deux prémisses (majeure et mineure) et d'une conclusion. Aristote en est le fondateur dans l'*Organon*. Sa structure est : Tous les M sont P (majeure) ; Or S est M (mineure) ; Donc S est P (conclusion). Prenons l'exemple classique : - Majeure : Tous les hommes sont mortels. - Mineure : Or Socrate est un homme. - Conclusion : Donc Socrate est mortel. Ce syllogisme comporte trois termes : « homme » (terme moyen, noté M), « mortel » (terme majeur, noté P), « Socrate » (terme mineur, noté S). Le terme moyen est celui qui apparaît dans les deux prémisses mais pas dans la conclusion ; il sert d'intermédiaire entre les deux autres termes. Le terme majeur est le prédicat de la conclusion ; le terme mineur est le sujet de la conclusion. ### 2. Les termes du syllogisme Chaque proposition du syllogisme est composée de deux termes : un sujet et un prédicat. Le prédicat est ce qui est affirmé ou nié du sujet. Dans « Socrate est mortel », « Socrate » est le sujet, « mortel » est le prédicat. Les trois termes du syllogisme sont donc : - **Le terme majeur (P)** : c'est le prédicat de la conclusion. Il est appelé « majeur » parce que, dans la tradition logique, son extension (l'ensemble des individus auxquels il s'applique) est plus grande que celle du terme mineur. Dans notre exemple, « mortel » s'applique à tous les êtres vivants, donc à une classe plus vaste que « Socrate ». - **Le terme mineur (S)** : c'est le sujet de la conclusion. Il est appelé « mineur » parce que son extension est plus restreinte. - **Le terme moyen (M)** : il n'apparaît que dans les prémisses et disparaît dans la conclusion. Son rôle est de servir de pont entre le majeur et le mineur. Dans notre exemple, « homme » est le moyen terme : c'est parce que Socrate appartient à la classe des hommes, et que tous les hommes sont mortels, que l'on peut conclure que Socrate est mortel. > **À retenir** : Le syllogisme repose sur trois termes : le terme majeur (prédicat de la conclusion), le terme mineur (sujet de la conclusion) et le terme moyen (présent dans les deux prémisses, absent de la conclusion). Le terme moyen est l'instrument de la preuve : c'est lui qui permet d'établir le lien entre le sujet et le prédicat de la conclusion. ### 3. Les prémisses : majeure et mineure Les deux prémisses du syllogisme sont appelées : - **La majeure** : c'est la prémisse qui contient le terme majeur. Elle énonce une règle générale, une loi, une vérité universelle. Dans notre exemple : « Tous les hommes sont mortels ». - **La mineure** : c'est la prémisse qui contient le terme mineur. Elle énonce un fait particulier, une application de la règle à un cas singulier. Dans notre exemple : « Socrate est un homme ». La majeure est généralement placée en premier, la mineure en second, mais cet ordre n'est pas obligatoire. Ce qui importe, c'est la fonction logique de chaque prémisse, non sa position dans le discours. Aristote distingue également les propositions selon leur **quantité** (universelle : « Tous les hommes » ; particulière : « Quelques hommes ») et leur **qualité** (affirmative : « sont mortels » ; négative : « ne sont pas mortels »). Cette distinction est fondamentale pour comprendre les modes du syllogisme. ### 4. Les modes du syllogisme Le **mode** d'un syllogisme est déterminé par la quantité (universelle ou particulière) et la qualité (affirmative ou négative) de chacune de ses trois propositions. Il existe quatre types de propositions : - **A** : universelle affirmative (« Tous les S sont P ») - **E** : universelle négative (« Aucun S n'est P ») - **I** : particulière affirmative (« Quelques S sont P ») - **O** : particulière négative (« Quelques S ne sont pas P ») Ces lettres viennent des verbes latins *affirmo* (j'affirme) et *nego* (je nie) : les deux premières voyelles de *affirmo* (A, I) désignent les affirmatives, les deux voyelles de *nego* (E, O) désignent les négatives. Un mode est donc une combinaison de trois lettres, par exemple AAA (majeure universelle affirmative, mineure universelle affirmative, conclusion universelle affirmative) ou EIO (majeure universelle négative, mineure particulière affirmative, conclusion particulière négative). Le nombre théorique de modes possibles est de 4³ = 64 combinaisons (4 types de propositions pour chacune des 3 propositions). Mais tous ne sont pas valides. Aristote a identifié les modes valides, c'est-à-dire ceux dont la conclusion découle nécessairement des prémisses. Les modes valides sont au nombre de 19 (ou 24 selon certaines classifications qui incluent les modes dits « subalternes »). Parmi les modes valides les plus connus, on peut citer : - **Barbara** (AAA) : Tous les M sont P ; Or tous les S sont M ; Donc tous les S sont P. C'est le mode le plus simple et le plus parfait. - **Celarent** (EAE) : Aucun M n'est P ; Or tous les S sont M ; Donc aucun S n'est P. - **Darii** (AII) : Tous les M sont P ; Or quelques S sont M ; Donc quelques S sont P. - **Ferio** (EIO) : Aucun M n'est P ; Or quelques S sont M ; Donc quelques S ne sont pas P. Ces noms mnémotechniques, inventés par les logiciens médiévaux (notamment Pierre d'Espagne, XIIIe siècle), permettent de retenir les modes valides : les voyelles indiquent le type de chaque proposition, les consonnes indiquent les opérations de conversion à effectuer pour ramener le syllogisme à la première figure. > **À retenir** : Le mode d'un syllogisme est la combinaison des quantités et qualités de ses trois propositions. Les quatre types de propositions sont A (universelle affirmative), E (universelle négative), I (particulière affirmative), O (particulière négative). Tous les modes ne sont pas valides : seuls 19 combinaisons donnent une conclusion nécessaire. ### 5. Les figures du syllogisme La **figure** d'un syllogisme est déterminée par la position du terme moyen dans les prémisses. Le terme moyen peut être : - **Première figure** : sujet de la majeure et prédicat de la mineure. C'est la figure « parfaite », la plus naturelle et la plus évidente. Exemple : Tous les hommes (M) sont mortels (P) ; Or Socrate (S) est un homme (M) ; Donc Socrate (S) est mortel (P). - **Deuxième figure** : prédicat dans les deux prémisses. Exemple : Tous les mammifères (P) sont des animaux à sang chaud (M) ; Or les reptiles (S) ne sont pas des animaux à sang chaud (M) ; Donc les reptiles (S) ne sont pas des mammifères (P). - **Troisième figure** : sujet dans les deux prémisses. Exemple : Tous les hommes (M) sont mortels (P) ; Or tous les hommes (M) sont des êtres raisonnables (S) ; Donc quelques êtres raisonnables (S) sont mortels (P). - **Quatrième figure** : prédicat de la majeure et sujet de la mineure. Cette figure, ajoutée par Galien (IIe siècle ap. J.-C.), est moins naturelle et donne des conclusions plus faibles. Exemple : Tous les hommes (P) sont mortels (M) ; Or tous les mortels (M) sont des êtres finis (S) ; Donc quelques êtres finis (S) sont des hommes (P). Chaque figure a ses modes valides propres. La première figure est la plus importante car c'est elle qui donne les conclusions les plus générales et les plus évidentes. Aristote considérait que les autres figures devaient être ramenées à la première pour être démontrées. > **À retenir** : La figure du syllogisme dépend de la position du terme moyen dans les prémisses. Il existe quatre figures : la première (M sujet de la majeure, prédicat de la mineure) est la figure parfaite ; les autres sont imparfaites et doivent y être ramenées. Aristote a établi cette classification dans les *Premiers Analytiques*. ### 6. Les règles du syllogisme Pour qu'un syllogisme soit valide, il doit respecter un certain nombre de règles. Aristote les a énoncées dans les *Premiers Analytiques* ; les logiciens médiévaux les ont systématisées en huit règles principales : **Règles relatives aux termes :** 1. **Le syllogisme ne doit comporter que trois termes** : le majeur, le mineur et le moyen. Si un quatrième terme s'introduit (par exemple en changeant le sens d'un mot en cours de raisonnement), le syllogisme est invalide. C'est le sophisme des « quatre termes » (*quaternio terminorum*). 2. **Le terme moyen ne doit pas apparaître dans la conclusion** : il doit disparaître, ayant servi de pont entre les deux autres termes. 3. **Le terme moyen doit être pris au moins une fois dans toute son extension** : c'est-à-dire qu'il doit être universel dans au moins une des prémisses. Si le moyen terme n'est pris que partiellement dans les deux prémisses, on ne peut pas établir de lien nécessaire entre le majeur et le mineur. Exemple d'erreur : « Quelques hommes sont philosophes ; Or quelques philosophes sont grecs ; Donc quelques hommes sont grecs » — le moyen terme « philosophes » n'est jamais pris universellement, la conclusion ne suit pas. 4. **Les termes de la conclusion ne doivent pas avoir une extension plus grande que dans les prémisses** : ce qui est affirmé du tout peut être affirmé de la partie, mais ce qui est affirmé de la partie ne peut pas être affirmé du tout. Si le terme majeur ou mineur est particulier dans la conclusion alors qu'il était universel dans la prémisse, le syllogisme est invalide. **Règles relatives aux propositions :** 5. **De deux prémisses négatives, on ne peut rien conclure** : si les deux prémisses nient, aucun lien n'est établi entre le majeur et le mineur. Exemple : « Aucun Camerounais n'est Chinois ; Or aucun Chinois n'est Brésilien » — on ne peut rien conclure sur les Camerounais et les Brésiliens. 6. **De deux prémisses particulières, on ne peut rien conclure** : deux prémisses particulières ne donnent aucune conclusion nécessaire. Exemple : « Quelques Africains sont commerçants ; Or quelques commerçants sont riches » — on ne peut pas conclure que quelques Africains sont riches. 7. **La conclusion suit la partie la plus faible** : si l'une des prémisses est négative, la conclusion doit être négative ; si l'une des prémisses est particulière, la conclusion doit être particulière. La « partie la plus faible » est la proposition négative ou particulière. 8. **De deux prémisses affirmatives, on ne peut tirer une conclusion négative** : la conclusion doit être affirmative si les deux prémisses sont affirmatives. Ces règles permettent de vérifier la validité formelle d'un syllogisme, indépendamment de la vérité de son contenu. Un syllogisme peut être formellement valide mais matériellement faux si l'une de ses prémisses est fausse. Par exemple : « Tous les oiseaux volent ; Or les autruches sont des oiseaux ; Donc les autruches volent » — le raisonnement est formellement valide (mode Barbara), mais la majeure est fausse, donc la conclusion est fausse. > **À retenir** : Les règles du syllogisme sont au nombre de huit : trois concernent les termes (trois termes seulement, moyen absent de la conclusion, moyen pris universellement au moins une fois, extension des termes), cinq concernent les propositions (pas de conclusion de deux négatives, pas de conclusion de deux particulières, conclusion suit la partie la plus faible, pas de conclusion négative de deux affirmatives). La validité formelle ne garantit pas la vérité matérielle : il faut aussi que les prémisses soient vraies. ### 7. Le syllogisme dans l'histoire de la philosophie Le syllogisme a connu une fortune considérable dans l'histoire de la pensée. Aristote en a fait le modèle de la démonstration scientifique : dans les *Seconds Analytiques*, il montre que la science (*epistémè*) consiste à démontrer des conclusions nécessaires à partir de prémisses vraies et premières. Le syllogisme est l'instrument de cette démonstration. Au Moyen Âge, la logique aristotélicienne est transmise par les traducteurs arabes (Avicenne, Averroès) puis intégrée dans la scolastique chrétienne. Saint Thomas d'Aquin (1225-1274) utilise le syllogisme dans ses *Sommes* pour démontrer l'existence de Dieu, notamment dans ses « cinq voies » qui sont des raisonnements déductifs. À l'époque moderne, le syllogisme est critiqué. Francis Bacon (1561-1626), dans le *Novum Organum* (1620), lui reproche de ne rien découvrir de nouveau : la conclusion est déjà contenue dans les prémisses. Il lui oppose l'induction, qui part des faits particuliers pour monter vers les lois générales. René Descartes (1596-1650) critique également le syllogisme dans le *Discours de la méthode* (1637) : il y voit un instrument de démonstration de vérités déjà connues, non une méthode de découverte. Pour Descartes, la vraie méthode est l'analyse, qui décompose les problèmes complexes en parties simples. Emmanuel Kant (1724-1804) consacre une partie de la *Critique de la raison pure* (1781) à la logique transcendantale, qui dépasse la logique formelle d'Aristote. Il distingue la logique générale (qui étudie les formes du raisonnement indépendamment de leur contenu) et la logique transcendantale (qui étudie les conditions de possibilité de la connaissance). Kant reconnaît la perfection formelle du syllogisme mais en limite la portée : le syllogisme ne peut pas nous faire connaître le monde tel qu'il est en soi, il ne fait qu'organiser les connaissances issues de l'expérience. John Stuart Mill (1806-1873), dans son *Système de logique* (1843), reprend la critique de Bacon : le syllogisme est un raisonnement circulaire, car la majeure « Tous les hommes sont mortels » ne peut être affirmée qu'après avoir vérifié que chaque homme est mortel, y compris Socrate. Mill propose de voir dans le syllogisme non une méthode de découverte mais une forme d'exposition des connaissances déjà acquises par l'induction. > **À retenir** : Le syllogisme a été critiqué par Bacon, Descartes et Mill pour son caractère non inventif : la conclusion est déjà contenue dans les prémisses. Kant en limite la portée à la logique formelle. Cependant, le syllogisme reste le modèle de la déduction rigoureuse et l'instrument de la démonstration scientifique selon Aristote. ## II. Les types de raisonnement Au-delà du syllogisme, la logique distingue plusieurs types de raisonnement. On peut les classer en deux grandes catégories : le raisonnement déductif (qui va du général au particulier) et le raisonnement inductif (qui va du particulier au général). Mais il existe aussi des formes spécifiques comme l'analogie, le raisonnement par l'absurde, le contre-exemple, la contraposition, le raisonnement par cas et la récurrence. ### 1. La déduction La **déduction** est un raisonnement qui part de prémisses générales (lois, principes, définitions) pour aboutir à une conclusion particulière ou moins générale. Elle est dite « nécessaire » : si les prémisses sont vraies et le raisonnement valide, la conclusion est nécessairement vraie. Le syllogisme est la forme paradigmatique de la déduction. La déduction est le raisonnement des mathématiques : à partir d'axiomes et de définitions, on démontre des théorèmes. Elle est aussi le raisonnement de la philosophie rationaliste : Descartes, dans les *Méditations métaphysiques* (1641), déduit l'existence de Dieu et du monde extérieur à partir du *cogito* (« je pense, donc je suis »). Baruch Spinoza (1632-1677), dans l'*Éthique* (1677), construit toute sa philosophie *more geometrico* (« à la manière des géomètres »), c'est-à-dire par déduction à partir de définitions et d'axiomes. La déduction a une force démonstrative incontestable, mais elle a aussi une limite : elle ne peut pas produire de connaissances nouvelles au-delà de ce qui est contenu dans les prémisses. Comme le dit Aristote, la déduction explicite ce qui est implicitement contenu dans les principes. > **À retenir** : La déduction est le raisonnement qui va du général au particulier. Sa conclusion est nécessaire si les prémisses sont vraies. Elle est le modèle de la démonstration mathématique et de la méthode rationaliste (Descartes, Spinoza). Sa limite est de ne pas produire de connaissances radicalement nouvelles. ### 2. L'induction L'**induction** est le raisonnement qui part de faits particuliers pour aboutir à une loi générale. Elle va du particulier au général, de l'observation à la théorie. Aristote la distingue de la déduction : l'induction (*épagôgè*) est le passage des cas singuliers à l'universel. Francis Bacon a théorisé l'induction dans le *Novum Organum* (1620) comme la méthode de la science moderne. Contre le syllogisme, qui ne fait que déployer ce qui est déjà connu, l'induction part de l'observation méthodique des faits pour découvrir les lois de la nature. Bacon propose une méthode d'induction « énumérative » et « éliminative » : il s'agit de recueillir un grand nombre de cas, de les comparer, d'éliminer les causes apparentes pour dégager la cause réelle. David Hume (1711-1776) a soulevé le problème fondamental de l'induction dans l'*Enquête sur l'entendement humain* (1748) : comment justifier le passage de quelques cas observés à une loi universelle ? Le fait que le soleil se soit levé chaque matin jusqu'ici ne prouve pas logiquement qu'il se lèvera demain. L'induction repose sur le principe de l'uniformité de la nature, mais ce principe lui-même ne peut être justifié que par l'induction : c'est un cercle. Hume conclut que l'induction n'est pas rationnellement fondée mais qu'elle est une habitude psychologique, une « croyance » naturelle. Karl Popper (1902-1994) a proposé une solution au problème de Hume : la science ne procède pas par induction mais par « conjectures et réfutations ». Le savant formule des hypothèses audacieuses, puis tente de les réfuter par l'expérience. Une théorie scientifique n'est jamais prouvée par l'induction ; elle est seulement corroborée tant qu'elle résiste aux tentatives de réfutation. Le critère de scientificité n'est pas la vérifiabilité mais la falsifiabilité. > **À retenir** : L'induction va du particulier au général. Bacon en fait la méthode de la science moderne. Hume montre qu'elle n'est pas logiquement fondée : le passage de quelques cas à une loi universelle ne peut pas être justifié rationnellement. Popper propose de remplacer l'induction par la méthode des conjectures et réfutations : une théorie scientifique est une hypothèse falsifiable, jamais définitivement prouvée. ### 3. L'analogie Le raisonnement par **analogie** consiste à inférer d'une ressemblance connue entre deux choses une ressemblance supplémentaire. Il va du particulier au particulier : on compare deux objets, deux situations, deux domaines, et on transfère ce que l'on sait de l'un à l'autre. L'analogie est un raisonnement courant dans la vie quotidienne et dans les sciences. En médecine, on expérimente sur les animaux parce qu'ils sont analogues aux humains. En droit, on applique une jurisprudence à un cas nouveau parce qu'il est analogue à un cas déjà jugé. En philosophie, Platon utilise l'analogie de la ligne et l'analogie de la caverne pour expliquer la structure de la réalité et de la connaissance. L'analogie est aussi un outil de la pensée religieuse. Saint Thomas d'Aquin utilise l'analogie pour parler de Dieu : nous ne pouvons connaître Dieu que par analogie avec les créatures, car Dieu est au-delà de notre compréhension. L'« analogie de l'être » (*analogia entis*) est un concept central de la théologie catholique. Mais l'analogie est un raisonnement faible : elle ne donne que des conclusions probables, jamais certaines. Deux choses peuvent se ressembler sur certains points et différer sur d'autres. La force de l'analogie dépend du nombre et de la pertinence des ressemblances. David Hume critique l'analogie dans les *Dialogues sur la religion naturelle* (1779) : l'argument du dessein, qui infère de l'ordre du monde à l'existence d'un créateur intelligent, repose sur une analogie entre le monde et une machine, mais cette analogie est fragile car le monde n'est pas suffisamment semblable à une machine. > **À retenir** : L'analogie est un raisonnement du particulier au particulier, fondé sur la ressemblance. Elle est utilisée en science, en droit, en théologie (Thomas d'Aquin). Elle ne donne que des conclusions probables, jamais certaines. Hume en critique l'usage dans les preuves de l'existence de Dieu. ### 4. Le raisonnement par l'absurde Le raisonnement par l'**absurde** (ou réduction à l'absurde, *reductio ad absurdum*) consiste à démontrer la vérité d'une proposition en montrant que sa négation conduit à une contradiction. On suppose le contraire de ce que l'on veut prouver, on en déduit des conséquences, et si ces conséquences sont contradictoires ou absurdes, on conclut que la supposition initiale est fausse, donc que la proposition à prouver est vraie. Ce raisonnement est utilisé par les mathématiciens grecs. Euclide (IIIe siècle av. J.-C.) démontre par l'absurde que la racine carrée de 2 est irrationnelle : on suppose qu'elle est rationnelle, c'est-à-dire égale à une fraction irréductible p/q, on en déduit que p et q sont tous deux pairs, ce qui contredit l'irréductibilité de la fraction. Donc la racine de 2 n'est pas rationnelle. Aristote utilise le raisonnement par l'absurde pour démontrer le principe de non-contradiction : « Il est impossible qu'une même chose soit et ne soit pas en même temps et sous le même rapport ». Pour le prouver, il suppose que quelqu'un nie ce principe et montre que cette négation est impossible, car celui qui nie le principe de non-contradiction doit pourtant l'utiliser pour affirmer quoi que ce soit. Le raisonnement par l'absurde est également utilisé en philosophie. Dans les *Méditations métaphysiques*, Descartes doute de tout, y compris de l'existence du monde extérieur, pour voir s'il reste quelque chose d'indubitable. Le doute hyperbolique est une expérience de pensée par l'absurde : en poussant le doute à l'extrême, Descartes découvre que le « je pense » résiste à toute tentative de doute, ce qui prouve son évidence. > **À retenir** : Le raisonnement par l'absurde démontre une proposition en montrant que sa négation conduit à une contradiction. Il est utilisé par Euclide (irrationalité de √2), Aristote (principe de non-contradiction) et Descartes (doute hyperbolique). C'est un raisonnement déductif rigoureux, car la contradiction est impossible. ### 5. Le contre-exemple Le **contre-exemple** est un cas particulier qui infirme une proposition générale. Pour réfuter une affirmation universelle (« Tous les S sont P »), il suffit de trouver un seul S qui n'est pas P. Le contre-exemple est l'arme de la réfutation : il montre qu'une généralisation hâtive est fausse. En mathématiques, le contre-exemple est un outil de démonstration essentiel. Pour réfuter la conjecture selon laquelle tous les nombres premiers sont impairs, il suffit de citer le nombre 2, qui est premier et pair. Pour réfuter l'affirmation « tous les oiseaux volent », il suffit de citer l'autruche ou le manchot. En philosophie, le contre-exemple est utilisé pour tester les définitions et les théories. Platon, dans le *Théétète*, examine la définition de la connaissance comme « opinion vraie » et la réfute par un contre-exemple : un jury peut avoir une opinion vraie sur un crime sans le connaître, car il n'a pas assisté aux faits. La connaissance n'est donc pas simplement une opinion vraie ; il faut y ajouter une justification. Edmund Gettier (1927-2021), dans un article célèbre de 1963, « Is Justified True Belief Knowledge ? », a produit des contre-exemples qui réfutent la définition classique de la connaissance comme « croyance vraie justifiée ». Ces « cas Gettier » montrent qu'une croyance peut être vraie et justifiée sans être une connaissance, car la justification peut être accidentellement liée à la vérité. > **À retenir** : Le contre-exemple est un cas particulier qui infirme une proposition générale. Il suffit d'un seul contre-exemple pour réfuter une universalité. Il est utilisé en mathématiques, en sciences et en philosophie (Gettier contre la définition de la connaissance comme croyance vraie justifiée). ### 6. La contraposition La **contraposition** est une opération logique qui transforme une proposition conditionnelle « Si P, alors Q » en sa contraposée « Si non-Q, alors non-P ». Ces deux propositions sont logiquement équivalentes : si l'une est vraie, l'autre l'est aussi. Par exemple, la proposition « Si un animal est un mammifère, alors il a du sang chaud » a pour contraposée « Si un animal n'a pas de sang chaud, alors il n'est pas un mammifère ». Les deux propositions sont vraies ensemble ou fausses ensemble. La contraposition est un raisonnement valide : elle permet de démontrer une implication en démontrant sa contraposée, ce qui est parfois plus facile. En mathématiques, pour démontrer « Si P, alors Q », on peut démontrer « Si non-Q, alors non-P ». Par exemple, pour démontrer que si n² est pair, alors n est pair, on peut démontrer la contraposée : si n est impair, alors n² est impair. La contraposition est également utilisée dans la vie quotidienne et dans les débats. Si quelqu'un affirme « Si tu es camerounais, alors tu es africain », on peut le vérifier par contraposition : « Si tu n'es pas africain, alors tu n'es pas camerounais ». Cette forme de raisonnement est particulièrement utile pour évaluer les implications et leurs conséquences. > **À retenir** : La contraposition transforme « Si P, alors Q » en « Si non-Q, alors non-P ». Les deux propositions sont logiquement équivalentes. C'est un raisonnement valide utilisé en mathématiques et dans l'argumentation quotidienne. ### 7. Le raisonnement par cas Le raisonnement par **cas** (ou disjonction de cas) consiste à examiner toutes les possibilités et à montrer que chacune conduit à la même conclusion. On démontre ainsi une proposition en épuisant tous les cas possibles. La structure du raisonnement par cas est la suivante : on a une disjonction « P ou Q ou R » (toutes les possibilités sont énumérées), puis on montre que chacun des cas conduit à la conclusion C, donc C est vraie. En mathématiques, le raisonnement par cas est fréquent. Pour démontrer qu'un nombre entier est pair ou impair, on examine deux cas : n est pair ou n est impair. Pour démontrer une propriété des nombres réels, on examine les cas x > 0, x = 0, x < 0. En philosophie, le raisonnement par cas est utilisé dans les argumentations dialectiques. Platon, dans le *Phédon*, examine les différents cas possibles concernant le destin de l'âme après la mort pour montrer que l'immortalité est la seule hypothèse cohérente. Le raisonnement par cas est aussi utilisé dans l'éthique appliquée : pour décider si une action est morale, on examine les différents cas de figure et leurs conséquences. > **À retenir** : Le raisonnement par cas examine toutes les possibilités et montre que chacune conduit à la même conclusion. C'est un raisonnement déductif valide, à condition que l'énumération des cas soit exhaustive. ### 8. Le raisonnement par récurrence Le raisonnement par **récurrence** (ou induction mathématique) est une méthode de démonstration utilisée pour prouver qu'une propriété est vraie pour tous les entiers naturels. Il comporte deux étapes : 1. **L'initialisation** : on vérifie que la propriété est vraie pour le premier entier (généralement 0 ou 1). 2. **L'hérédité** : on suppose que la propriété est vraie pour un entier n quelconque (hypothèse de récurrence) et on démontre qu'elle est alors vraie pour n+1. Si ces deux étapes sont réalisées, on conclut que la propriété est vraie pour tous les entiers naturels. Le raisonnement par récurrence repose sur le principe d'induction mathématique, qui est un axiome de l'arithmétique de Peano (1858-1932). Il a été utilisé dès l'Antiquité par Euclide pour démontrer l'infinitude des nombres premiers, mais il a été formalisé au XIXe siècle par les mathématiciens italiens et français. Exemple : démontrons que la somme des n premiers entiers est n(n+1)/2. - Initialisation : pour n = 1, la somme est 1, et 1(1+1)/2 = 1. La propriété est vraie. - Hérédité : supposons que la somme des n premiers entiers est n(n+1)/2. Alors la somme des n+1 premiers entiers est n(n+1)/2 + (n+1) = (n+1)(n/2 + 1) = (n+1)(n+2)/2. La propriété est vraie pour n+1. - Conclusion : la propriété est vraie pour tous les entiers naturels. Le raisonnement par récurrence est une forme de déduction, car la conclusion est nécessaire : si les deux étapes sont correctement réalisées, la propriété est démontrée pour tous les entiers. Il est à distinguer de l'induction empirique, qui ne donne que des conclusions probables. > **À retenir** : Le raisonnement par récurrence comporte deux étapes : l'initialisation (la propriété est vraie pour le premier entier) et l'hérédité (si elle est vraie pour n, elle est vraie pour n+1). Il permet de démontrer des propriétés pour tous les entiers naturels. C'est une déduction rigoureuse, fondée sur l'axiome d'induction de Peano. ## III. Les règles et les erreurs de raisonnement ### 1. Les règles générales du raisonnement valide Un raisonnement est valide lorsqu'il respecte certaines règles fondamentales. Ces règles ont été énoncées par Aristote dans l'*Organon* et systématisées par la logique classique. **Le principe de non-contradiction** : une proposition et sa négation ne peuvent pas être vraies en même temps et sous le même rapport. Aristote en fait le principe suprême de la pensée : « Il est impossible qu'une même chose soit et ne soit pas en même temps et sous le même rapport » (*Métaphysique*, livre Gamma). Ce principe est indémontrable, car toute démonstration le présuppose ; mais on peut le défendre en montrant que celui qui le nie ne peut même pas affirmer sa négation sans le contredire. **Le principe du tiers exclu** : pour toute proposition P, soit P est vraie, soit non-P est vraie ; il n'y a pas de troisième possibilité. Ce principe, également formulé par Aristote, est à la base du raisonnement par l'absurde : si non-P conduit à une contradiction, alors P est vraie. **Le principe d'identité** : une chose est identique à elle-même (A = A). Ce principe, formulé par Leibniz (1646-1716) comme « principe d'identité des indiscernables », est le fondement de la cohérence de la pensée. **Le principe de raison suffisante** : rien n'est sans raison d'être. Leibniz énonce ce principe dans la *Monadologie* (1714) : « Aucun fait ne saurait se trouver vrai ou existant, aucune énonciation véritable, sans qu'il y ait une raison suffisante pour qu'il en soit ainsi et non pas autrement ». Ce principe fonde la recherche des causes et des explications. **La règle de la validité formelle** : un raisonnement est valide si sa forme logique garantit que la conclusion découle des prémisses. La validité formelle est indépendante de la vérité du contenu : un raisonnement peut être valide avec des prémisses fausses, ou invalide avec des prémisses vraies. > **À retenir** : Les règles fondamentales du raisonnement sont le principe de non-contradiction (Aristote), le principe du tiers exclu, le principe d'identité et le principe de raison suffisante (Leibniz). La validité formelle d'un raisonnement est indépendante de la vérité de son contenu. ### 2. Les erreurs de raisonnement : les sophismes et paralogismes Les erreurs de raisonnement sont appelées **sophismes** lorsqu'elles sont commises de mauvaise foi (dans l'intention de tromper) et **paralogismes** lorsqu'elles sont commises de bonne foi (par erreur involontaire). Les sophistes grecs, contre lesquels Platon et Aristote ont lutté, étaient des maîtres de l'argumentation qui enseignaient l'art de persuader, y compris par des raisonnements trompeurs. Aristote a consacré un traité aux réfutations sophistiques (*De Sophisticis Elenchis*) dans lequel il recense les principaux sophismes. On peut les classer en plusieurs catégories. ### 3. Les sophismes de forme Les sophismes de forme sont des raisonnements qui violent les règles de la logique formelle. **Le sophisme de la négation de l'antécédent** : de « Si P, alors Q » et « non-P », on conclut « non-Q ». C'est invalide. Exemple : « S'il pleut, la route est mouillée ; or il ne pleut pas ; donc la route n'est pas mouillée » — la route peut être mouillée pour une autre raison (arrosage, inondation). **Le sophisme de l'affirmation du conséquent** : de « Si P, alors Q » et « Q », on conclut « P ». C'est invalide. Exemple : « S'il pleut, la route est mouillée ; or la route est mouillée ; donc il pleut » — la route peut être mouillée pour une autre raison. **Le sophisme des quatre termes** (*quaternio terminorum*) : le syllogisme comporte quatre termes au lieu de trois, car un terme est utilisé dans deux sens différents. Exemple : « L'homme est un animal ; or un animal est une bête ; donc l'homme est une bête » — « animal » n'a pas le même sens dans les deux prémisses (être vivant dans la première, bête dans la seconde). **Le sophisme du moyen terme non distribué** : le moyen terme n'est pas pris dans toute son extension dans au moins une des prémisses. Exemple : « Quelques hommes sont philosophes ; or quelques philosophes sont grecs ; donc quelques hommes sont grecs » — le moyen terme « philosophes » n'est jamais pris universellement. > **À retenir** : Les sophismes de forme violent les règles de la logique formelle. Les principaux sont la négation de l'antécédent, l'affirmation du conséquent, le sophisme des quatre termes et le moyen terme non distribué. Aristote les a recensés dans les *Réfutations sophistiques*. ### 4. Les sophismes de contenu Les sophismes de contenu sont des raisonnements qui, tout en ayant une apparence logique, reposent sur des confusions de sens ou des présupposés injustifiés. **L'équivoque** : on utilise un même mot dans deux sens différents au cours du raisonnement. Exemple : « La fin de la vie est la mort ; or la fin de la vie est le bonheur ; donc la mort est le bonheur » — « fin » signifie tantôt « terme, cessation » et tantôt « but, objectif ». **L'amphibologie** : une phrase est ambiguë en raison de sa construction grammaticale. Exemple : « J'ai vu un homme avec un télescope » — est-ce l'homme qui a un télescope ou est-ce moi qui regarde à travers un télescope ? **L'accent** : on déforme le sens d'une proposition en insistant sur certains mots. Exemple : « Il n'a pas volé cent mille francs » peut signifier qu'il n'a pas volé cette somme précise mais une autre, ou qu'il n'a pas commis de vol du tout. **La composition** : on attribue au tout ce qui ne vaut que pour les parties. Exemple : « Chaque joueur de l'équipe est excellent ; donc l'équipe est excellente » — l'excellence individuelle ne garantit pas la cohésion collective. **La division** : on attribue aux parties ce qui ne vaut que pour le tout. Exemple : « Cette équipe est excellente ; donc chaque joueur est excellent » — l'excellence collective peut venir de la complémentarité, pas du niveau individuel. **L'accident** : on confond ce qui est essentiel et ce qui est accidentel. Exemple : « Socrate est un homme ; or les hommes sont mortels ; donc Socrate est mortel » est valide, mais « Socrate est un homme ; or les hommes ont deux jambes ; donc Socrate a deux jambes » est un sophisme de l'accident si Socrate a perdu une jambe. > **À retenir** : Les sophismes de contenu reposent sur des confusions de sens ou des présupposés injustifiés : équivoque, amphibologie, accent, composition, division, accident. Ils ont été recensés par Aristote dans les *Réfutations sophistiques*. ### 5. Les sophismes de pertinence Les sophismes de pertinence sont des raisonnements qui n'établissent pas la conclusion mais détournent l'attention ou font appel à des considérations étrangères à la question. **L'argument ad hominem** : on attaque la personne au lieu de discuter son argument. Exemple : « Vous dites que la corruption est un fléau, mais vous-même avez accepté des pots-de-vin » — la valeur de l'argument ne dépend pas de la moralité de celui qui l'énonce. **L'argument ad populum** : on fait appel à l'opinion du plus grand nombre. Exemple : « Tout le monde croit que ce féticheur a des pouvoirs, donc c'est vrai » — la vérité ne se décide pas à la majorité. **L'argument ad baculum** : on fait appel à la force ou à la menace. Exemple : « Vous devez accepter cette proposition, sinon vous aurez des problèmes » — la menace n'est pas une raison. **L'argument ad verecundiam** : on fait appel à l'autorité d'une personne sans que cette autorité soit compétente dans le domaine concerné. Exemple : « Ce footballeur célèbre recommande ce médicament, donc ce médicament est efficace » — la célébrité sportive ne garantit pas la compétence médicale. **L'argument ad ignorantiam** : on affirme qu'une proposition est vraie parce qu'on n'a pas prouvé qu'elle est fausse. Exemple : « Personne n'a prouvé que les sorciers n'ont pas de pouvoirs, donc les sorciers ont des pouvoirs » — l'absence de preuve n'est pas une preuve d'absence. **La pétition de principe** (*petitio principii*) : on suppose ce que l'on veut démontrer. Exemple : « Dieu existe parce que la Bible le dit ; or la Bible est la parole de Dieu, donc elle dit vrai » — on présuppose l'existence de Dieu pour prouver l'autorité de la Bible, et l'autorité de la Bible pour prouver l'existence de Dieu. **Le cercle vicieux** : c'est une pétition de principe qui prend la forme d'un raisonnement circulaire. Exemple : « Pourquoi cet homme est-il riche ? Parce qu'il travaille dur. Comment sait-on qu'il travaille dur ? Parce qu'il est riche » — la richesse explique le travail et le travail explique la richesse, sans preuve indépendante. **La question complexe** : on pose une question qui présuppose ce qui est en question. Exemple : « Avez-vous cessé de voler ? » — cette question présuppose que la personne volait, ce qui est précisément ce qu'il faudrait établir. **L'homme de paille** : on déforme la position de l'adversaire pour la réfuter plus facilement. Exemple : quelqu'un dit « Il faut réguler l'immigration » et son adversaire répond « Vous voulez fermer les frontières et renvoyer tous les étrangers » — la position a été caricaturée. **La fausse alternative** (ou dilemme cornélien) : on présente deux options comme si elles étaient les seules possibles, alors qu'il en existe d'autres. Exemple : « Tu es avec nous ou contre nous » — on peut être ni l'un ni l'autre, ou les deux à la fois. > **À retenir** : Les sophismes de pertinence détournent l'attention de la question : argument ad hominem, ad populum, ad baculum, ad verecundiam, ad ignorantiam, pétition de principe, cercle vicieux, question complexe, homme de paille, fausse alternative. Ces erreurs sont fréquentes dans les débats politiques et médiatiques. ### 6. Les erreurs de raisonnement dans les sciences Les erreurs de raisonnement ne se limitent pas aux sophismes de la vie quotidienne ; elles peuvent aussi affecter la démarche scientifique. **La généralisation hâtive** : on tire une loi générale d'un nombre insuffisant de cas particuliers. Exemple : « J'ai rencontré deux Camerounais qui étaient commerçants, donc tous les Camerounais sont commerçants » — l'échantillon est trop petit et non représentatif. **La fausse cause** (*post hoc ergo propter hoc*, « après cela, donc à cause de cela ») : on confond la succession temporelle avec la relation causale. Exemple : « J'ai porté ce grigri et j'ai réussi mon examen, donc le grigri a causé ma réussite » — la simple succession ne prouve pas la causalité. **La confusion entre corrélation et causalité** : deux phénomènes peuvent varier ensemble sans que l'un cause l'autre. Exemple : « Les ventes de glaces augmentent en même temps que les noyades, donc les glaces causent les noyades » — en réalité, les deux sont causés par la chaleur estivale. **L'erreur d'échantillonnage** : on tire des conclusions d'un échantillon non représentatif de la population. Exemple : interroger uniquement les habitants de Yaoundé pour conclure sur l'opinion de tous les Camerounais. **L'erreur écologique** : on attribue à un individu les caractéristiques statistiques du groupe auquel il appartient. Exemple : « Les habitants du Nord sont en moyenne plus grands que ceux du Sud, donc cet homme du Nord est plus grand que cet homme du Sud » — les moyennes ne s'appliquent pas nécessairement aux individus. **L'erreur de confirmation** : on ne cherche que les confirmations de sa théorie et on ignore les infirmations. Francis Bacon l'appelait l'« idole de la tribu » : l'esprit humain tend à retenir ce qui confirme ses préjugés et à négliger ce qui les contredit. > **À retenir** : Les erreurs scientifiques sont la généralisation hâtive, la fausse cause (post hoc ergo propter hoc), la confusion entre corrélation et causalité, l'erreur d'échantillonnage, l'erreur écologique et l'erreur de confirmation. Bacon a analysé ces tendances de l'esprit humain dans la théorie des idoles. ### 7. La critique du raisonnement : les limites de la logique La logique formelle, qui étudie les règles du raisonnement valide, a ses limites. Plusieurs philosophes ont montré que le raisonnement ne se réduit pas à la logique formelle. **Friedrich Nietzsche** (1844-1900) critique la logique comme une simplification de la réalité. Dans *Par-delà le bien et le mal* (1886), il écrit que « la logique n'est pas une mesure de la vérité, mais une mesure de la vie » : les catégories logiques (identité, non-contradiction, causalité) sont des fictions utiles pour organiser le chaos de l'expérience, mais elles ne correspondent pas à la réalité en soi. **Henri Bergson** (1859-1941) critique la raison discursive, qui procède par concepts et par analyse, pour saisir la réalité vivante. Dans *L'Évolution créatrice* (1907), il oppose l'intelligence, qui découpe et spatialise le réel, à l'intuition, qui saisit la durée et le mouvement. Le raisonnement logique est adapté aux objets inertes mais inadéquat pour comprendre la vie et la conscience. **Gaston Bachelard** (1884-1962) montre que la science progresse en brisant les évidences du sens commun et en corrigeant les erreurs de la pensée spontanée. Dans *La Formation de l'esprit scientifique* (1938), il analyse les « obstacles épistémologiques » : l'opinion, l'expérience première, la généralisation hâtive, l'animisme, le substantialisme. La pensée scientifique doit se méfier de ses propres tendances naturelles. **Kurt Gödel** (1906-1978), logicien et mathématicien, a démontré en 1931 que tout système axiomatique suffisamment puissant pour exprimer l'arithmétique est incomplet : il existe des propositions vraies qui ne sont pas démontrables dans le système. Ce « théorème d'incomplétude » montre les limites intrinsèques de la déduction formelle : la raison ne peut pas tout démontrer à partir de principes. > **À retenir** : La logique formelle a des limites. Nietzsche la critique comme une simplification de la réalité, Bergson oppose l'intuition à l'intelligence discursive, Bachelard analyse les obstacles épistémologiques de la pensée scientifique, et Gödel démontre l'incomplétude des systèmes axiomatiques. Le raisonnement est un outil puissant mais non infaillible. ### 8. Le raisonnement et la vérité La question centrale qui traverse tout ce chapitre est celle du rapport entre le raisonnement et la vérité. Un raisonnement valide garantit-il la vérité de sa conclusion ? Non, car la validité formelle ne suffit pas : il faut aussi que les prémisses soient vraies. Un raisonnement peut être parfaitement valide et aboutir à une conclusion fausse si l'une des prémisses est fausse. Aristote distingue ainsi la **vérité matérielle** (la conformité du contenu avec la réalité) et la **validité formelle** (la conformité du raisonnement avec les règles de la logique). Une démonstration scientifique doit être à la fois formellement valide et matériellement vraie : c'est ce qu'il appelle le « syllogisme scientifique » dans les *Seconds Analytiques*. La question du rapport entre raisonnement et vérité a été renouvelée par la philosophie contemporaine. **Jürgen Habermas** (né en 1929) développe une théorie de l'argumentation dans laquelle la vérité est ce qui résulte d'une discussion rationnelle idéale, où tous les participants sont libres et égaux. La vérité n'est plus une propriété du discours isolé mais le résultat d'un processus de communication sans contrainte. **Paul Ricœur** (1913-2005) distingue la vérité comme adéquation (la correspondance entre le discours et la réalité) et la vérité comme manifestation (le dévoilement d'un monde possible). Le raisonnement n'est pas seulement un outil de démonstration ; il est aussi un moyen d'interprétation et de compréhension. > **À retenir** : La validité formelle d'un raisonnement ne garantit pas la vérité de sa conclusion : il faut aussi que les prémisses soient vraies. Aristote distingue vérité matérielle et validité formelle. Habermas lie la vérité à l'argumentation rationnelle, Ricœur distingue vérité comme adéquation et vérité comme manifestation. ## Conclusion Le raisonnement est l'activité fondamentale de la pensée rationnelle. À travers l'étude du syllogisme, nous avons vu comment Aristote a formalisé la déduction : trois termes, deux prémisses, une conclusion, des modes et des figures, des règles strictes. Les types de raisonnement sont multiples : la déduction va du général au particulier, l'induction du particulier au général, l'analogie du particulier au particulier ; le raisonnement par l'absurde, le contre-exemple, la contraposition, le raisonnement par cas et la récurrence sont des outils spécifiques de la démonstration. Enfin, les règles du raisonnement valide et l'analyse des sophismes nous apprennent à éviter les erreurs de la pensée. Ce chapitre ouvre sur une question essentielle : le raisonnement est-il le seul chemin vers la vérité ? La philosophie contemporaine a montré les limites de la logique formelle, mais elle n'a pas abandonné l'exigence de rationalité. Le raisonnement reste l'instrument privilégié de la pensée critique, celle qui examine, démontre et réfute. Dans un monde où les discours trompeurs et les manipulations de l'opinion sont fréquents, savoir raisonner juste est une compétence intellectuelle et citoyenne fondamentale. Le chapitre suivant, consacré à la démonstration et à la vérité, approfondira cette question en examinant comment la raison peut établir des connaissances certaines dans les sciences et en philosophie.