Carnap on Quantum Mechanics

Cet article examine la perspective philosophique de Rudolf Carnap sur la mécanique quantique de son époque et émet des hypothèses sur la manière dont ses conceptions pourraient s'appliquer aux développements récents dans les fondements de ce domaine.

L'essentiel

Imaginez Rudolf Carnap comme un architecte très strict et méticuleux qui croit que vous ne pouvez pas discuter correctement de la conception d'un bâtiment (sa philosophie) tant que les plans ne sont pas parfaitement dessinés dans un langage formel et mathématique.

Ce document, rédigé par Sebastian Horvat et Iulian D. Toader, explore la manière dont cet architecte considérait la Mécanique Quantique (MQ) — la physique de l'infiniment petit — dans son livre de 1966, Philosophical Foundations of Physics.

Voici l'histoire de la vision de Carnap, décomposée en concepts et analogies simples :

1. Le problème des « plans »

La règle principale de Carnap était : Ne discutez pas de la philosophie d'une théorie tant que celle-ci n'est pas entièrement écrite sous la forme d'un système logique formel.

Imaginez la Mécanique Quantique des années 1950 et 1960 comme une maison encore en construction. Les murs étaient érigés et l'électricité fonctionnait, mais les plans étaient brouillons. Certaines parties étaient écrites en « langage naturel » (comme l'anglais), ce qui est vague, plutôt qu'en « langage formel » (comme la logique mathématique pure), ce qui est précis.

Carnap estimait que, puisque les « plans » de la Mécanique Quantique n'étaient pas encore achevés, les philosophes se précipitaient. Ils tentaient de débattre de questions profondes sur la nature de la réalité, la logique et le langage en se basant sur une théorie qui n'était pas entièrement formalisée. Il croyait que, tant que la communauté scientifique n'aurait pas achevé la « reconstruction rationnelle » (le plan formel parfait), nous ne pouvions pas nous permettre de demander en toute sécurité : « Que signifie vraiment cette théorie ? »

2. Ce que Carnap a compris (Le terrain solide)

Même s'il pensait que les plans étaient incomplets, Carnap connaissait très bien les bases de la maison. L'article précise qu'il n'était pas confus au sujet de la Mécanique Quantique ; il voulait simplement être prudent.

Sur la base de ce qu'il savait, il a proposé des réponses claires :

• Le monde est statistique : Il soutenait que le hasard dans la Mécanique Quantique ne vient pas de notre ignorance ou de notre mauvaise maîtrise des mesures (comme une photo floue). C'est parce que l'univers lui-même est construit ainsi. C'est comme lancer un dé : le résultat est aléatoire non pas parce que le dé est cassé, mais parce que c'est ainsi que fonctionnent les dés.
• L'espace et le temps pourraient être « pixelisés » : Il a émis l'hypothèse que l'univers pourrait être composé de petits morceaux discrets (comme des pixels sur un écran) plutôt que d'un flux continu et lisse.
• Le libre arbitre est en sécurité : Il a rejeté l'idée que le hasard quantique sauve le « libre arbitre ». Il a soutenu que si nos décisions n'étaient que des sauts quantiques aléatoires, elles ne seraient pas des « choix » du tout ; ce ne seraient que des accidents. Hasard $\neq$ Liberté.
• Pas de définitions simples : On ne peut pas définir des idées quantiques complexes (comme le « spin ») en utilisant de simples mots du quotidien. Il faut tout un nouveau système formel pour les expliquer.

3. Ce que Carnap a refusé de faire (Le piège logique)

C'est la partie la plus célèbre de sa position. Certains physiciens et philosophes ont regardé la Mécanique Quantique et déclaré : « Les règles de logique que nous utilisons dans la vie quotidienne (comme « A et B ») ne fonctionnent pas ici. Nous devons inventer une nouvelle logique ».

Carnap a dit : « Pas question. »

Il a utilisé une excellente analogie (paraphrasée d'une réunion de 1962) : Si les règles d'un jeu semblent étranges, vous ne changez pas les règles du jeu ; vous changez les pièces ou le plateau.

• La vision : Il croyait que nous devions changer nos concepts physiques (les « pièces ») pour qu'ils s'adaptent à notre logique existante et solide, plutôt que de changer la logique elle-même pour qu'elle s'adapte à la physique.
• La raison : Il estimait que, puisque les « plans » de la physique n'étaient pas achevés, nous ne pouvions pas être sûrs si l'étrangeté résidait dans la physique ou simplement dans notre compréhension incomplète. Il voulait voir l'ensemble du système physique (y compris la gravité) formalisé avant d'envisager de réécrire les règles de la logique.

4. Le débat sur le « réalisme » (Qu'est-ce qui est « vraiment » là-bas ?)

Aujourd'hui, les scientifiques débattent de ce que la Mécanique Quantique dit sur la réalité : Y a-t-il de nombreux mondes ? Y a-t-il des particules cachées ?

• L'avis de Carnap : Il qualifierait probablement ces débats de « dépourvus de sens ». À ses yeux, demander ce qui est « vraiment » là-bas en dehors d'un cadre linguistique spécifique est une question piège.
• L'analogie : Imaginez deux personnes se disputant pour savoir si une carte d'une ville est « réelle ». L'un dit que la carte n'est que des lignes ; l'autre dit que la carte est la ville. Carnap dirait : « Arrêtez de débattre de la ville « réelle ». Convenons simplement de savoir quelle carte est utile pour conduire. » Il jugerait les différentes théories en fonction de celle qui est la plus simple et qui fonctionne le mieux, et non de celle qui décrit la « vraie » réalité invisible.

5. Que penserait Carnap aujourd'hui ?

L'article conclut en se demandant : Si Carnap était en vie aujourd'hui, changerait-il d'avis ?

• La mauvaise nouvelle : Nous n'avons toujours pas de « plan » parfait et unifié qui combine la Mécanique Quantique avec la gravité (la théorie d'Einstein). La maison est toujours en construction. Donc, Carnap refuserait probablement toujours de dire que la Mécanique Quantique nous force à changer les règles de la logique.
• La bonne nouvelle : Il existe de nouvelles tentatives pour construire la théorie à partir de zéro en utilisant la théorie de l'information (considérant l'univers comme un système traitant des données). Bien que ce ne soient pas encore les plans formels parfaits que Carnap souhaitait, ce sont des pas dans la bonne direction. Il pourrait s'intéresser à ces nouvelles approches comme un moyen de « reconstruire enfin la théorie » avec des concepts plus clairs.

Résumé

Carnap était un architecte prudent. Il savait que la Mécanique Quantique était révolutionnaire, mais il insistait sur le fait que nous ne devions pas tenter de réécrire les lois de la logique ou débattre de la nature ultime de la réalité tant que la théorie n'était pas écrite dans un langage mathématique formel parfait. Il croyait que, tant que les « plans » n'étaient pas achevés, nous devions nous concentrer sur l'utilité et la simplicité de la théorie, plutôt que de nous perdre dans des arguments métaphysiques sur ce qui est « réel ».

Résumé technique

Résumé technique : Carnap sur la mécanique quantique

Problème
L'article traite de la tension apparente entre la méthodologie philosophique rigoureuse de Rudolf Carnap et son traitement de la mécanique quantique (MQ) dans son ouvrage de 1966, Philosophical Foundations of Physics. Des critiques et des éditeurs récents (Lutz et Tuboly, 2021) ont suggéré que les réflexions de Carnap sur la MQ étaient dépassées, notant son recours au formalisme de von Neumann de 1932 tout en ignorant des approches rigoureuses ultérieures comme celle de Mackey (1963) ou des théorèmes fondateurs tels que ceux de Gleason (1957) et de Bell (1964). Le problème central consiste à clarifier la position réelle de Carnap sur la MQ, en distinguant sa compréhension solide de ses principes fondamentaux de son refus méthodologique spécifique d'aborder certaines questions philosophiques (concernant le langage et la logique) tant que la théorie n'est pas présentée comme un système axiomatique entièrement formalisé. Les auteurs examinent également ce que le cadre de Carnap impliquerait pour les débats contemporains sur les interprétations de la MQ, le réalisme et la sémantique de la théorie quantique.

Méthodologie
Les auteurs emploient une analyse historique et conceptuelle du texte de 1966 de Carnap, croisée avec ses travaux antérieurs sur la syntaxe logique, la reconstruction rationnelle et la sémantique (par exemple, The Logical Syntax of Language, 1937 ; Introduction to Semantics, 1943). La méthodologie comprend :

1. Reconstruction textuelle : Analyse des arguments spécifiques de Carnap dans le dernier chapitre de son livre de 1966 (« Indéterminisme en physique quantique ») concernant le principe d'incertitude, les fonctions d'onde et l'équation de Schrödinger.
2. Contextualisation métaphilosophique : Mise en situation de l'hésitation de Carnap à réviser la logique sur la base de la physique au sein de son engagement plus large envers la « reconstruction rationnelle ». Cela implique d'examiner son exigence selon laquelle les théories scientifiques doivent être formulées dans une structure syntaxique partiellement interprétée comprenant des axiomes logico-mathématiques, des phrases théoriques et des règles de correspondance les reliant aux phrases d'observation.
3. Application contrefactuelle : Projection des principes philosophiques établis de Carnap (spécifiquement ses vues sur les questions internes versus externes, la nature de l'explication scientifique, et l'inférentialisme versus le représentationalisme) sur les développements contemporains en MQ, tels que les théorèmes de non-existence (Bell, Kochen-Specker) et les axiomatisations modernes fondées sur la théorie de l'information (Hardy, Chiribella et al.).

Contributions clés
L'article apporte plusieurs contributions distinctes à la compréhension de la philosophie de la physique de Carnap :

• Réfutation de l'ignorance : Il réfute explicitement les affirmations selon lesquelles Carnap était unfamiliar avec la théorie quantique, en arguant qu'il possédait une compréhension solide de ses principes fondamentaux, même s'il jugeait la formalisation incomplète pour ses objectifs philosophiques spécifiques.
• Clarification de la « reconstruction rationnelle » : Les auteurs clarifient que le rejet par Carnap de la révision de la logique sur la base de la MQ n'était pas dû à un manque de rigueur mathématique dans les formulations existantes (comme celles de von Neumann ou de Mackey), mais parce que celles-ci ne constituaient pas une reconstruction rationnelle de la physique moderne dans son ensemble. Carnap exigeait un système unifié incluant la physique gravitationnelle/spatiale-temporelle et une division claire entre les termes théoriques et observationnels, ce qui était absent dans les années 1960 et l'est encore aujourd'hui.
• Réinterprétation de Carnap sur le réalisme : L'article soutient que Carnap considérerait probablement les débats actuels sur les interprétations de la MQ (par exemple, mondes multiples versus variables cachées) comme de « pseudo-débats » concernant des questions externes. Au lieu de cela, il évaluerait probablement ces interprétations selon des critères pragmatiques (simplicité, unification) plutôt que selon la vérité métaphysique.
• Analyse métasémantique des théorèmes de non-existence : Les auteurs proposent que Carnap interpréterait les théorèmes de Bell et de Kochen-Specker non pas comme des obstacles au réalisme, mais comme des limitations métasémantiques à fournir une sémantique représentationaliste pour le formalisme quantique. Cela s'aligne avec les vues inférentialistes modernes (par exemple, Healey, 2017), suggérant que les règles d'application déterminent le sens des termes quantiques.
• Le test de la catégoricité : L'article applique la solution de Carnap au problème de la catégoricité en logique classique à la MQ. Il suggère que même si l'on adopte une sémantique inférentialiste pour les termes quantiques, Carnap exigerait un test pour déterminer si les règles physiques (règles-P) de la théorie sont catégoriques (déterminant de manière unique le sens des termes).

Résultats

• Statut de la révision de la logique : Carnap resterait probablement convaincu de réviser la logique fondamentale de la physique (par exemple, en adoptant une logique non distributive) uniquement sur la base de la MQ, car la condition préalable d'une reconstruction rationnelle complète et unifiée de la physique n'est toujours pas remplie.
• Nature de l'explication scientifique : L'article confirme la vue de Carnap selon laquelle le caractère statistique de la MQ n'est pas le résultat d'une ignorance mais une caractéristique fondamentale de la structure du monde, impliquant que toutes les explications physiques sont intrinsèquement statistiques.
• Libre arbitre : L'argument de Carnap selon lequel l'indéterminisme quantique ne soutient pas le libre arbitre est réaffirmé : les sauts quantiques aléatoires rendraient simplement les décisions aléatoires (hasards) plutôt que des choix libres.
• Pertinence contemporaine : Bien que les axiomatisations modernes de la MQ fondées sur la théorie de l'information (dérivant les espaces d'état à partir de principes informationnels) ne soient pas encore des reconstructions rationnelles à la manière de Carnap (manquant de langages formels et de règles de correspondance), l'article suggère qu'elles pourraient ouvrir la voie vers une telle reconstruction.

Signification
L'article revendique une importance en corrigeant le registre historique concernant l'engagement de Carnap avec la mécanique quantique, dépassant la vision selon laquelle il était simplement « dépassé ». Il démontre que la prudence de Carnap était une nécessité méthodologique enracinée dans sa philosophie de la reconstruction rationnelle plutôt qu'un manque de compréhension technique. De plus, l'article fait le pont entre la philosophie de Carnap du milieu du XXe siècle et les débats contemporains, suggérant que son cadre offre une manière robuste d'interpréter les théorèmes de non-existence modernes et les approches sémantiques de la MQ sans tomber dans des pièges métaphysiques. Il postule que l'insistance de Carnap sur la formalisation et la distinction entre questions internes et externes demeure un outil vital pour analyser les fondements logiques et linguistiques de la théorie quantique aujourd'hui.