Inférence formelle vs. informelle
Certains pensent que tous les bons arguments consistent essentiellement en des inférences logiques formelles ou des syllogismes. Mais quand on regarde de près, on s'aperçoit vite qu'argumenter n'a pas grand-chose à voir avec l'inférence logique formelle.
L'inférence logique peut se diviser en deux groupes : l'inférence formelle et l'inférence informelle. Les deux sont importantes pour la pensée critique, mais elles ont des domaines d'application et des méthodes différents.
L'inférence formelle
L'inférence formelle repose sur des règles et des structures explicites, indépendantes du contenu des arguments. Elle se concentre sur la forme ou la structure d'un argument et utilise souvent une notation symbolique.
Caractéristiques de l'inférence formelle :
- Utilisation de systèmes formels comme la logique des prédicats ou la logique propositionnelle
- Des règles strictes pour les inférences valides
- Indépendance par rapport au contenu spécifique
- Précision et univocité
- Possibilité d'une démonstration formelle
Exemple d'inférence formelle (syllogisme) : Prémisse 1 : Tous les A sont B. Prémisse 2 : Tous les B sont C. Conclusion : Tous les A sont C.
Ce schéma d'argumentation est valide indépendamment du contenu spécifique. Peu importe ce que désignent A, B et C — la conclusion découle nécessairement des prémisses.
L'inférence informelle
L'inférence informelle concerne les argumentations en langage naturel, qui ne sont pas entièrement formalisées. Elle tient compte du contexte, des connaissances de fond et des hypothèses implicites.
Caractéristiques de l'inférence informelle :
- Utilisation du langage naturel
- Prise en compte du contexte et des connaissances de fond
- Intégration de prémisses implicites
- Souplesse et capacité d'adaptation
- Application dans les discussions et débats quotidiens
Exemple d'inférence informelle : « La pelouse est mouillée. Il a dû pleuvoir cette nuit. »
Cet argument contient des hypothèses implicites (p. ex. que la pluie est la cause la plus probable d'une pelouse mouillée) et repose sur le savoir et l'expérience du quotidien.
Différences et domaines d'application
Les principales différences entre l'inférence formelle et informelle sont :
- Précision vs. souplesse : l'inférence formelle est plus précise, mais moins souple ; l'inférence informelle est plus souple, mais éventuellement moins précise.
- Explicite vs. implicite : l'inférence formelle rend toutes les hypothèses explicites ; l'inférence informelle peut contenir des hypothèses implicites.
- Domaine d'application : l'inférence formelle est souvent utilisée en mathématiques, en logique formelle et en informatique théorique ; l'inférence informelle prédomine dans les discussions quotidiennes, la politique, l'éthique et bien d'autres domaines.
Les deux types d'inférence ont leurs forces et leurs faiblesses :
- L'inférence formelle offre précision et clarté, mais peut être trop rigide dans des situations réelles complexes.
- L'inférence informelle est plus souple et plus contextuelle, mais peut être plus sujette aux raisonnements fallacieux et aux ambiguïtés.
Pour la pensée critique, il est important de comprendre les deux types d'inférence et de les employer de façon appropriée selon le contexte.