Est-ce qu'Oppy et Morriston répondent avec succès aux arguments de Craig contre l'infini actuel par les données des mathématiques cantoriennes, ou le problème philosophique demeure-t-il ?

Ce débat représente l'une des batailles philosophiques contemporaines les plus importantes dans l'argument kalām. William Lane Craig défend l'impossibilité de l'infini actuel dans le monde réel, tandis que Graham Oppy et Wes Morriston répondent que les mathématiques cantoriennes modernes prouvent la cohérence de l'infini actuel. La question : le succès mathématique se transfère-t-il automatiquement à la réalité physique ?

Réponses insuffisantes qu'il convient d'éviter

Du côté de certains défenseurs de Craig :

« Les mathématiques ne sont que des abstractions, sans rapport avec la réalité. » Simplification excessive. L'histoire des sciences est pleine d'exemples de mathématiques « abstraites » qui se sont révélées plus tard décrire la réalité avec précision (la géométrie non-euclidienne dans la relativité, les nombres complexes en mécanique quantique). Rejeter les mathématiques en bloc est une position indéfendable.

« La théorie des ensembles est contradictoire en elle-même (paradoxe de Russell). » Affirmation dépassée. Le paradoxe de Russell a été résolu depuis plus d'un siècle par des systèmes axiomatiques rigoureux (ZFC). Prétendre que la théorie des ensembles est « contradictoire » révèle une ignorance des développements mathématiques depuis 1920.

« L'hôtel de Hilbert prouve définitivement la contradiction. » Non. L'hôtel de Hilbert montre que l'infini a des propriétés contre-intuitives (counterintuitive), mais « contre-intuitif » ne signifie pas « contradictoire ». Beaucoup de vérités scientifiques sont contre-intuitives (l'intrication quantique, la dilatation du temps) mais elles sont vraies.

Du côté de certains opposants à Craig :

« Cantor a prouvé la possibilité de l'infini actuel, le débat est terminé. » Réduction inexacte. Cantor a prouvé la cohérence de l'infini actuel mathématiquement, mais lui-même était hésitant quant à son application au monde physique. Le débat philosophique sur l'application physique reste ouvert.

« La physique moderne utilise l'infini, donc il existe. » Saut injustifié. Utiliser l'infini comme outil mathématique en physique (comme les intégrales infinies) n'implique pas son existence actuelle dans la nature. La plupart des physiciens considèrent les infinités dans les théories comme un signe que la théorie a besoin de modification.

Pourquoi ces réponses sont insuffisantes

Elles échouent à distinguer entre trois niveaux : (1) la cohérence mathématique abstraite, (2) la possibilité métaphysique, (3) l'existence physique actuelle. Un débat sérieux exige la clarté sur le niveau que nous discutons, et quelle est la relation entre les niveaux.

Structure de l'argument de Craig contre l'infini actuel

Craig distingue clairement entre l'infini potentiel (potential infinity) — un processus qui ne finit pas — et l'infini actuel (actual infinity) — un ensemble complété infini. Son argument ne vise que le second.

L'argument des contradictions supposées. Craig utilise l'hôtel de Hilbert et des paradoxes similaires pour montrer que l'infini actuel conduit à des résultats « métaphysiquement impossibles » : ensemble = partie de lui-même, ajouter ou soustraire de l'infini ne change pas sa taille, etc. Ce ne sont pas des contradictions logiques, mais Craig prétend qu'elles sont des contradictions métaphysiques.

L'argument du principe de détermination. Craig avance que l'infini actuel viole un principe fondamental : on ne peut déterminer « combien » de membres dans un ensemble infini de manière déterminée. Cette indétermination rend l'existence actuelle impossible.

L'argument de la soustraction. Le plus fort des arguments de Craig : en mathématiques, ∞ - ∞ est indéterminé. Mais dans le monde réel, si nous avions un nombre infini de balles et enlevions un nombre infini, combien resterait-il ? L'incapacité de répondre montre l'impossibilité de l'application physique.

La réponse détaillée d'Oppy

Graham Oppy — l'un des plus éminents philosophes de la religion contemporains — présente une réponse méthodique à plusieurs niveaux :

Distinction entre intuition et contradiction. Oppy convient que les propriétés de l'infini sont contre-intuitives, mais insiste que cela ne signifie pas contradiction. L'intuition humaine a évolué pour traiter le fini, il est donc naturel qu'elle ne comprenne pas l'infini. C'est une défaillance cognitive humaine, pas une impossibilité métaphysique.

La réponse cantorienne technique. La théorie moderne des ensembles (ZFC) traite tous les « paradoxes » que soulève Craig. Par exemple, l'égalité entre l'ensemble et une partie de lui-même (bijection) est une propriété mathématique définie des ensembles infinis, pas une contradiction. Les mathématiques cantoriennes sont cohérentes en interne depuis plus d'un siècle.

Critique du principe de détermination. Oppy répond que Craig confond « détermination numérique » (combien exactement ?) et « détermination qualitative » (quel type d'infini ?). Les mathématiques déterminent précisément les types d'infinités (ℵ₀, ℵ₁, etc.) même si elles ne donnent pas un « nombre » au sens fini.

La réponse philosophique de Morriston

Wes Morriston ajoute une dimension philosophique importante :

Le défi à l'intuition aristotélicienne. Morriston avance que le rejet de l'infini actuel par Craig est enraciné dans une métaphysique aristotélicienne ancienne, pas dans une nécessité logique. Pourquoi supposer que l'intuition aristotélicienne sur l'infini est correcte ? La science moderne a dépassé Aristote dans de nombreux domaines.

Réponse à l'argument de la soustraction. Morriston montre que « l'indétermination » dans ∞ - ∞ résulte de la tentative d'appliquer les opérations du fini à l'infini. Dans la théorie des ensembles, les opérations sur les infinités sont définies précisément via les cardinaux et les ordinaux. Le problème est dans la mauvaise application, pas dans l'infini lui-même.

Exemples physiques possibles. Morriston fait référence à des modèles physiques qui impliquent des infinités actuelles : l'espace continu (nombre infini de points), certains modèles d'univers spatialement infini, le temps infini dans certains modèles cosmologiques. Ce ne sont pas des preuves, mais elles montrent que les physiciens ne voient pas d'impossibilité de principe.

La contre-réponse craigienne

Craig et ses alliés répondent avec trois stratégies :

Distinction entre mathématique et réel. La cohérence mathématique ne garantit pas la possibilité physique. On peut construire des mathématiques cohérentes pour des univers à 11 dimensions ou pour des nombres hyperréels, mais cela ne signifie pas leur existence actuelle. Les mathématiques sont plus larges que la réalité.

Problème d'application sélective. Craig accuse Oppy et Morriston de sélectivité : ils acceptent certains résultats des mathématiques cantoriennes (la cohérence) mais ignorent d'autres (comme les résultats d'indécidabilité dans ZFC). Si les mathématiques sont une référence finale, il faut accepter tous leurs résultats.

L'argument de la meilleure explication. Même si l'infini actuel est « possible » mathématiquement, est-il la meilleure explication de la réalité ? Craig prétend qu'un modèle d'univers temporellement fini est plus simple et plus explicatif que les alternatives infinies.

Positions actuelles du débat (2020-2026)

Le courant « réalisme mathématique modéré » (Oppy, Morriston, Malpass) accepte que le succès mathématique donne une forte indication de possibilité métaphysique, sans prétendre à la certitude. L'infini actuel est possible, et la charge de la preuve incombe à ses négateurs.

Le courant « distinction stricte » (Craig, Pruss, Koons) insiste sur la séparation entre les niveaux. Les mathématiques étudient le possible logique, mais la métaphysique étudie le possible réel, et ils sont différents. L'infini peut être cohérent mathématiquement et impossible métaphysiquement.

Le courant « agnosticisme méthodologique » (Alexander Pruss parfois, Earman) voit que le débat a atteint une impasse : on ne peut prouver la possibilité ou l'impossibilité de manière catégorique. Il vaut mieux chercher d'autres arguments pour l'argument kalām qui ne dépendent pas de cette question.

Développements récents

Ces dernières années, des tentatives d'dépasser le débat ont émergé :

Modèles de temps discret. Certains physiciens proposent que le temps pourrait être discret au niveau de Planck, ce qui contourne la question de l'infini actuel. Mais cela soulève d'autres problèmes philosophiques.

L'infini constructif. Tentative de distinguer entre un infini « construit » graduellement (acceptable) et un infini « donné » d'un coup (rejeté). Mais la distinction elle-même fait débat.

Du point de vue du rajḥān ʿaqlī

La méthode du site traite ce débat comme un cas exemplaire de pondération cumulative plutôt que de résolution catégorique. Nous enregistrons les indices comme suit :

─ Le succès des mathématiques cantoriennes est réel et continu depuis plus d'un siècle, ce qui donne une indication considérable en faveur de la cohérence de l'infini actuel au niveau logique abstrait.
─ Mais la transition de la cohérence mathématique à la possibilité métaphysique n'est pas automatique, et Craig a raison d'attirer l'attention sur cette lacune. L'histoire des sciences montre que les structures mathématiques cohérentes ne se réalisent pas toutes physiquement.
─ L'argument de la soustraction reste ce que Craig possède de plus fort, et les réponses de Morriston sont sérieuses mais ne résolvent pas définitivement la question.
─ Le bilan cumulatif : l'impossibilité de l'infini actuel n'est pas démontrée de manière catégorique, mais elle reste probable avec une probabilité modérée. L'argument kalām ne tombe pas avec les réponses d'Oppy et Morriston, mais il a besoin d'humilité dans la formulation de sa force argumentative — il se présente comme une indication dans un faisceau cumulatif, pas comme une preuve catégorique indépendante.

Où nous en sommes de ce débat aujourd'hui

Dans la période 2020-2026, le débat s'est cristallisé autour de trois nouveaux axes. Premièrement, l'intérêt croissant pour les approches « finitistes » en philosophie des mathématiques elle-même, où des philosophes comme les nouveaux Dummett et Brouwer défendent le rejet de l'infini actuel même mathématiquement, donnant à la position de Craig des alliés inattendus de l'intérieur des mathématiques. Deuxièmement, les réponses d'Oppy dans ses œuvres récentes ont évolué vers une position plus précise qui reconnaît que la possibilité mathématique ne tranche pas la métaphysique, mais il insiste que la charge de la preuve incombe à celui qui prétend à l'impossibilité. Troisièmement, les travaux d'Alex Malpass et Joe Schmid ont reformulé le débat dans un cadre plus large qui se demande : l'argument kalām a-t-il même besoin de l'impossibilité de l'infini actuel, ou suffit-il de montrer qu'il est improbable ? Cette dernière transformation s'aligne parfaitement avec la méthode du rajḥān ʿaqlī : ce qui est requis n'est pas une certitude absolue mais une pondération rationnelle suffisante pour construire dessus dans le cadre d'un argument cumulatif plus large.