Comment la logique formelle diffère-t-elle de la logique informelle ?

La logique formelle et la logique informelle étudient toutes deux les raisonnements, mais elles ne les examinent pas de la même manière. La logique formelle isole la structure d’un argument afin de déterminer si sa conclusion découle correctement de ses prémisses. La logique informelle analyse plutôt des arguments exprimés dans le langage courant, en tenant compte de leur contenu, de leur contexte et de leur pertinence dans une situation réelle. La différence porte donc principalement sur le niveau d’abstraction, le langage employé et les critères utilisés pour évaluer un raisonnement.

La structure au centre de la logique formelle

La logique formelle représente les propositions et leurs relations au moyen de symboles ou de règles précises. Elle cherche à éliminer les ambiguïtés du langage ordinaire pour examiner la forme d’un raisonnement indépendamment du sujet traité. Dans un raisonnement de type modus ponens, par exemple, si l’on admet « Si

, alors Q » et «

», on peut conclure « Q ». La validité dépend ici de la structure de l’inférence, non de la signification concrète de

et de Q. Un argument formellement valide peut toutefois partir de prémisses fausses : la validité signifie que la conclusion découle nécessairement des prémisses, tandis que la solidité d’un argument suppose aussi que ces prémisses soient vraies. Les calculs booléens, les syllogismes et les systèmes de logique propositionnelle ou des prédicats illustrent cette démarche, utilisée notamment en mathématiques et en informatique.

Le langage courant et les fallacies

La logique informelle s’intéresse aux raisonnements tels qu’ils apparaissent dans les conversations, les débats, les articles de presse ou les discours publics. Elle ne réduit pas les énoncés à des symboles : elle examine leur contenu, les présupposés qu’ils mobilisent, leur contexte et la façon dont ils soutiennent une conclusion. Comme le langage courant peut être ambigu et que les arguments sont souvent liés à des informations incomplètes ou à des enjeux pratiques, l’évaluation ne consiste pas seulement à vérifier une forme déductive. Il faut aussi se demander si les raisons avancées sont pertinentes, suffisantes et acceptables. Cette approche étudie notamment les fallacies, ou sophismes, c’est-à-dire des raisonnements trompeurs ou faibles qui peuvent sembler convaincants. Une attaque contre la personne plutôt que contre son argument relève de l’argument ad hominem ; présenter seulement deux options alors que d’autres possibilités existent constitue un faux dilemme. La logique informelle peut également prendre en considération certains biais cognitifs qui influencent la manière de produire ou d’évaluer les arguments.

Deux outils complémentaires

La logique formelle est particulièrement adaptée aux situations où l’on peut définir clairement les propositions et les règles d’inférence. Elle sert à établir des démonstrations, à analyser des circuits logiques et à concevoir ou vérifier certains aspects de systèmes informatiques. La logique informelle est, elle, indispensable lorsque les arguments dépendent fortement du sens des mots, des circonstances et de la qualité des preuves disponibles, comme dans une discussion politique, une décision de la vie courante ou l’analyse d’un texte médiatique. Les deux approches ne s’excluent pas : un argument formulé en langage naturel peut être traduit en symboles pour tester sa validité formelle, tandis qu’un raisonnement formel doit souvent être interprété et replacé dans un contexte pour déterminer si ses prémisses sont pertinentes ou réellement applicables. En résumé, la logique formelle demande principalement si la conclusion suit correctement une structure donnée ; la logique informelle demande aussi si l’argument est pertinent, raisonnable et convaincant dans le contexte où il est employé.