1.5.2 Définition de la ‘condition suffisante’.

Une condition A est dite suffisante pour une condition B, si et seulement si la vérité (occurrence/existence) de A garantit (ou permet, amène à) la vérité (existence/occurrence) de B. Par exemple, l’air est une condition nécessaire pour la vie humaine, mais elle n’est en aucun cas une condition suffisante, i.e., elle ne suffit pas par elle-même, seule à la vie humaine. Tandis qu’une personne à de l’air pour respirer, elle peut mourir si elle manque d’eau (pendant quelques jours), a pris du poison, a été exposé à des extrêmes température (froid ou chaud), etc... En fait, il y a un très grand nombre de conditions nécessaires à la vie humaine, et pas une -ou même un petit nombre d’entre elles- seront suffisantes (ou garantiront) pour la vie humaine. Si on veut aller plus loin, considérons l’exemple du carré, et la propriété d’avoir 4 côtés. Bien que le fait d’avoir 4 côté soit une condition nécessaire pour être un carré, cette condition n’est pas en elle-même suffisante (garantissant) que quelque chose soit un carré, i.e., des objets à 4 côtés (trapézoïdes) ne sont pas des carrés. Il y a plusieurs conditions nécessaires pour qu’un objet soit un carré, et toutes doivent être satisfaites pour que l’objet soit un carré.

• x a exactement 4 côtés
• Chacun des côtés de x est droit
• x est une figure fermée
• x est contenu dans un plan
• Chacun des côtés de x est égal en longueur par rapport aux autres côtés
• Chacun des angles internes de x est égal aux autres (ils sont tous des angles droits, i.e., 90°)
• les côtés de x se joignent sur leurs extrémités

Ceci, est un ensemble complet de conditions nécessaires. L’ensemble comprend un ensemble de conditions suffisantes pour que x soit un carré. La terminologie de ‘individuellement nécessaire’ et ‘conjointement suffisant’ est fréquemment utilisée. On peut dire que chaque membre de l’ensemble ci-dessus est individuellement nécessaire, et tous ensembles, ils sont conjointement suffisants pour que x soit un carré. Mais attention, dans cet exemple, il a été aisé de prendre une liste de conditions nécessaires individuellement qui est aussi suffisante pour qu’un objet soit carré. Cependant, nous ne devons pas généraliser cet exemple et croire qu’il est tâche facile de spécifier des ensembles de conditions qui soient individuellement nécessaires et conjointement suffisant. Parfois, il est beaucoup plus facile de déterminer des conditions nécessaires mais s’il nous est impossible de spécifier un ensemble qui soit conjointement suffisant. Dans d’autres cas, l’inverse se produit: il sera plus facile de spécifier des conditions suffisantes sans que nous soyons capables de spécifier les conditions individuellement nécessaires.