L'argument de la contingence résiste-t-il au théorème de Cantor ?

Le cadre. Un long échange de près de deux heures sur l'argument islamique classique de la contingence, que la tradition appelle Burhān al-Imkān. L'argument est ancien, il vient d'Ibn Sīnā, a été retravaillé par Fakhr al-Dīn al-Rāzī et par al-Taftāzānī, puis repris jusque dans la scolastique. La défense musulmane s'expose en langage naturel, sans formalisation lourde, précisément pour que la discussion ne se réfugie pas dans un jargon technique. L'objection adverse, qui se réclame d'une formation en logique et en théorie des ensembles, annonce au contraire une réfutation préparée depuis plusieurs mois par le théorème de Cantor.

Rappel succinct de l'argument. La thèse se tient en quelques lignes. Des choses existent. Tout ce qui existe est soit nécessaire, soit contingent. Si une chose existe et qu'elle n'est pas nécessaire, elle est contingente, et tout contingent requiert une cause extrinsèque. La totalité des contingents, prise comme groupe ou collection, est elle-même contingente et ne peut donc avoir sa cause en elle-même. Cette cause est extérieure à la totalité des contingents, et puisqu'elle ne peut être contingente sans être réincluse dans la totalité, elle est nécessaire. Donc il existe un être nécessaire.

Première attaque : Cantor. La parade vient immédiatement. Si l'ensemble des contingents C contient tous les contingents, et si tout élément de l'ensemble des parties de C est aussi un contingent, alors l'ensemble des parties de C serait inclus dans C, ce qui viole le théorème de Cantor selon lequel le cardinal d'un ensemble est strictement inférieur au cardinal de son ensemble des parties. La défense ne nie pas le théorème. Elle demande simplement à quoi s'applique exactement ce théorème, et s'il porte sur une collection au sens du langage naturel ou sur une construction formelle de la théorie des ensembles. La réponse reste évasive.

Déplacement vers une distinction ad hoc. L'objection adverse introduit une distinction: il existe plusieurs objets dans la réalité, mais il n'existe pas de pluralité. Les objets pris un à un vérifient le prédicat d'exister, le conglomérat de ces objets ne vérifie pas ce même prédicat. La réponse musulmane note que c'est précisément l'énoncé qu'il faudrait démontrer, non poser. Sommée de dire ce qui distingue il y a plusieurs objets de il y a une pluralité d'objets, la position adverse oscille entre plusieurs formulations, sans jamais produire le critère qui sépare les deux cas.

Pluralité déclarée impossible logique, sans contradiction produite. L'objection finit par concéder que pluralité désigne bien un objet. Sur sa modalité, la réponse adverse soutient qu'elle n'est ni contingente ni nécessaire, mais impossible. La définition retenue pour l'impossibilité est pourtant claire: ce dont l'existence implique une contradiction logique. Cette contradiction n'est jamais produite. La pluralité serait, dit-on, un objet formel qui n'a aucune prise sur le réel, puis pointerait quelque chose par abus de langage, puis ne le pointerait pas vraiment. Ce qui aurait dû être une impossibilité démontrée devient un énoncé stipulé.

Effet de boucle et sondage dans les commentaires. La discussion tourne sur ce point une bonne demi-heure. La position adverse reconnaît ensuite que le théorème de Cantor ne s'applique pas à la pluralité au sens de plusieurs. Le piège se referme alors: si collection est réductible à pluralité au sens de plusieurs, l'attaque par Cantor tombe d'elle-même, puisque Cantor ne vise plus l'objet contre lequel il était invoqué. La réponse reste un refus ferme, sans argument nouveau. La discussion s'enlise au point que les deux parties sondent les commentaires pour trancher la poursuite, et reviennent à Burhān al-Imkān après un refus de présenter un paradigme propre, sous l'argument d'ambiguïté sur toutes les questions, y compris sur la validité du principe de non-contradiction.

Piège sur l'ensemble vide. Un aller-retour secondaire révèle la même instabilité. Selon la position adverse, un ensemble doit avoir une portée dans la réalité. Sur l'ensemble vide, qui par définition ne contient rien, la concession arrive: il n'est pas quelque chose, il désigne l'absence de choses, donc il n'est pas une collection au sens retenu. La définition d'objet s'applique ou ne s'applique pas selon les besoins du moment.

Retournement final sur la subjectivité. Dans la dernière partie, une question simple est posée. La subjectivité personnelle est-elle reconnue? Oui. Cette subjectivité existe-t-elle? Non. Le problème est immédiat. Si la subjectivité n'existe pas, alors, d'après la définition correspondantiste de la vérité retenue par l'objection, dire j'ai une subjectivité ne correspond à rien dans la réalité, donc n'est pas vrai. Vrai signifie correspondre à la réalité, correspondre à la réalité signifie exister dans la réalité. La même logique s'applique à il y a une pluralité de contingents: si l'énoncé est vrai, alors la pluralité existe, ce que la position adverse refuse de concéder. Soit la définition de la vérité tombe, soit la distinction pluralité / plusieurs tombe.

La scène est classique. Un argument de philosophie islamique classique, formulé sobrement, est pris pour cible par une machinerie technique récente, le théorème de Cantor, dont on espère qu'il tranchera tout. La technicité suffit parfois à impressionner. Ici, elle ne suffit pas. La défense musulmane ne se laisse ni enfermer dans le vocabulaire axiomatique ni déborder par la posture savante: elle ramène chaque fois la discussion à la question brute, qu'est-ce qui existe, qu'est-ce qui ne peut pas se causer soi-même. L'attaque par Cantor s'érode d'abord en distinction arbitraire, puis en concession, enfin en contradiction interne, quand la définition correspondantiste de la vérité adoptée par l'attaquant se retourne contre lui. Ce que Burhān al-Imkān réclame est simple : un être qui existe par lui-même, dont l'existence n'a pas besoin d'une autre, et dont la tradition musulmane a toujours dit qu'Il est Allah. Rien dans l'échange n'a fait vaciller cette conclusion.