Notre thèse est une analyse philosophique dont le but est de spécifier la métaphysique de la mécanique quantique et d'en déterminer les fondements logiques. Depuis le début de sa formulation, des problèmes d'interprétation ont surgi en mécanique quantique. La cause principale de ces problèmes est, d'après nous, le choix d'une métaphysique, entendue comme positionnement par rapport à l'existence des entités théoriques étudiées par la mécanique quantique. D'autre part, il existe en philosophie des sciences un débat entre le réalisme scientifique et ses opposants antiréalistes. En philosophie analytique, Dummett a déplacé les débats métaphysiques du terrain de l'ontologie vers le terrain logico-sémantique. En effet, selon son analyse, les débats métaphysiques sont des débats à propos du choix d'une logique. Selon Dummett, une métaphysique réaliste a pour fondement la logique classique et une métaphysique antiréaliste a pour fondement une logique non classique. Par contre, le choix d'une logique doit être justifié par une théorie sémantique qui doit elle-même être justifiée par un modèle de la signification. L'approche logico-algébrique de la mécanique quantique a donné naissance à la logique quantique comme champ de recherche. Ce champ de recherche tente de déterminer la structure logique de la mécanique quantique par des structures d'ordre ou algébriques. Par exemple, la logique classique est interprétée par une algèbre de Boole tandis que la logique quantique standard est interprétée par la structure de treillis orthomodulaire. Nos hypothèses sont que la métaphysique de la mécanique quantique est antiréaliste et que la structure formelle de la logique quantique est une algèbre booléenne partielle transitive. Nous faisons l'hypothèse additionnelle que la logique quantique que nous défendons possède une assignation de valeurs de vérité probabilitaire conditionnelle dans laquelle la valeur de vérité d'un énoncé quantique est identifiée à la probabilité que lui attribue la théorie quantique et est conditionnelle à l'état du système quantique. Pour la détermination de la métaphysique de la mécanique quantique, la méthode utilisée est l'application de l'analyse dummettienne des débats métaphysiques à la classe des énoncés de la mécanique quantique. Pour la détermination de la logique quantique, nous nous inscrivons dans l'approche logico-algébrique de la mécanique quantique. Le choix de la structure algébrique ainsi que celui de l'assignation de valeurs de vérité sont justifiés par des contraintes sémantiques provenant de la théorie sémantique quantique et du modèle de la signification. L'analyse dummettienne appliquée à la classe des énoncés quantiques soutient un antiréalisme radical puisque, pour cette classe, la bivalence est inacceptable et le modèle de signification est le modèle justificationniste. En montrant que les conjonctions et disjonctions d'énoncés quantiques portant sur des observables incompatibles n'ont pas de signification, le modèle justificationniste de la signification justifie la structure algébrique que nous proposons. La signification des énoncés quantiques revient à une signification expérimentale. De plus, la signification des énoncés quantiques revient à une signification expérimentale. De plus, la théorie sémantique quantique que nous avons construite dont l'assignation probabilitaire fait partie, est justifiée également par le modèle justificationniste de la signification. L'originalité majeure de notre recherche est sa méthode, c'est-à-dire le fait de combiner une analyse dummettienne de la métaphysique de la mécanique quantique et une exploration des logiques quantiques existantes. Autant pour la spécification de la métaphysique que pour la détermination de la logique quantique, les justifications sont issues, en fin de compte, du modèle de la signification qui s'applique à la classe des énoncés quantiques. Un autre point important et original de notre thèse est la construction de la théorie sémantique quantique qui permet d'expliquer la compositionnalité des énoncés quantiques. Grâce à la théorie sémantique quantique, la logique quantique que nous proposons, en l'occurrence la logique quantique booléenne partielle, est vérifonctionnelle. Plutôt que de nous servir des arguments habituels que nous rencontrons en sciences et en philosophie des sciences pour prendre position dans le débat opposant le réalisme et l'antiréalisme qui a lieu en mécanique quantique, nous nous servons d'une thèse que Dummett a développée en philosophie analytique pour y parvenir. Notre recherche vient appuyer, par le biais de la philosophie analytique, tout un courant de pensée antiréaliste à propos de la mécanique quantique qui existe en physique et en philosophie des sciences. Notre contribution se situe sur le plan de l'interprétation logique et métaphysique de la mécanique quantique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Philosophie de la physique, Mécanique quantique, Métaphysique, Dummett, Logique quantique, Structures algébriques et d'ordre.
Notre thèse est une analyse philosophique dont le but est de spécifier la métaphysique de la mécanique quantique et d'en déterminer les fondements logiques. Depuis le début de sa formulation, des problèmes d'interprétation ont surgi en mécanique quantique. La cause principale de ces problèmes est, d'après nous, le choix d'une métaphysique, entendue comme positionnement par rapport à l'existence des entités théoriques étudiées par la mécanique quantique. D'autre part, il existe en philosophie des sciences un débat entre le réalisme scientifique et ses opposants antiréalistes. En philosophie analytique, Dummett a déplacé les débats métaphysiques du terrain de l'ontologie vers le terrain logico-sémantique. En effet, selon son analyse, les débats métaphysiques sont des débats à propos du choix d'une logique. Selon Dummett, une métaphysique réaliste a pour fondement la logique classique et une métaphysique antiréaliste a pour fondement une logique non classique. Par contre, le choix d'une logique doit être justifié par une théorie sémantique qui doit elle-même être justifiée par un modèle de la signification. L'approche logico-algébrique de la mécanique quantique a donné naissance à la logique quantique comme champ de recherche. Ce champ de recherche tente de déterminer la structure logique de la mécanique quantique par des structures d'ordre ou algébriques. Par exemple, la logique classique est interprétée par une algèbre de Boole tandis que la logique quantique standard est interprétée par la structure de treillis orthomodulaire. Nos hypothèses sont que la métaphysique de la mécanique quantique est antiréaliste et que la structure formelle de la logique quantique est une algèbre booléenne partielle transitive. Nous faisons l'hypothèse additionnelle que la logique quantique que nous défendons possède une assignation de valeurs de vérité probabilitaire conditionnelle dans laquelle la valeur de vérité d'un énoncé quantique est identifiée à la probabilité que lui attribue la théorie quantique et est conditionnelle à l'état du système quantique. Pour la détermination de la métaphysique de la mécanique quantique, la méthode utilisée est l'application de l'analyse dummettienne des débats métaphysiques à la classe des énoncés de la mécanique quantique. Pour la détermination de la logique quantique, nous nous inscrivons dans l'approche logico-algébrique de la mécanique quantique. Le choix de la structure algébrique ainsi que celui de l'assignation de valeurs de vérité sont justifiés par des contraintes sémantiques provenant de la théorie sémantique quantique et du modèle de la signification. L'analyse dummettienne appliquée à la classe des énoncés quantiques soutient un antiréalisme radical puisque, pour cette classe, la bivalence est inacceptable et le modèle de signification est le modèle justificationniste. En montrant que les conjonctions et disjonctions d'énoncés quantiques portant sur des observables incompatibles n'ont pas de signification, le modèle justificationniste de la signification justifie la structure algébrique que nous proposons. La signification des énoncés quantiques revient à une signification expérimentale. De plus, la signification des énoncés quantiques revient à une signification expérimentale. De plus, la théorie sémantique quantique que nous avons construite dont l'assignation probabilitaire fait partie, est justifiée également par le modèle justificationniste de la signification. L'originalité majeure de notre recherche est sa méthode, c'est-à-dire le fait de combiner une analyse dummettienne de la métaphysique de la mécanique quantique et une exploration des logiques quantiques existantes. Autant pour la spécification de la métaphysique que pour la détermination de la logique quantique, les justifications sont issues, en fin de compte, du modèle de la signification qui s'applique à la classe des énoncés quantiques. Un autre point important et original de notre thèse est la construction de la théorie sémantique quantique qui permet d'expliquer la compositionnalité des énoncés quantiques. Grâce à la théorie sémantique quantique, la logique quantique que nous proposons, en l'occurrence la logique quantique booléenne partielle, est vérifonctionnelle. Plutôt que de nous servir des arguments habituels que nous rencontrons en sciences et en philosophie des sciences pour prendre position dans le débat opposant le réalisme et l'antiréalisme qui a lieu en mécanique quantique, nous nous servons d'une thèse que Dummett a développée en philosophie analytique pour y parvenir. Notre recherche vient appuyer, par le biais de la philosophie analytique, tout un courant de pensée antiréaliste à propos de la mécanique quantique qui existe en physique et en philosophie des sciences. Notre contribution se situe sur le plan de l'interprétation logique et métaphysique de la mécanique quantique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Philosophie de la physique, Mécanique quantique, Métaphysique, Dummett, Logique quantique, Structures algébriques et d'ordre.
Le débat sur l'interprétation de la mécanique quantique est, aujourd'hui, sensiblement différent de ce qu'il était dans la période de «fondation» de cette théorie. Cette modification tient à deux causes : l'ancrage des conceptions quantiques dans la pensée des physiciens, favorisé par l'utilisation systématique et fructueuse de la théorie quantique en physique atomique et subatomique, d'une part et, d'autre part, les développements théoriques et expérimentaux survenus au cours des vingt dernières années, qui ont amené à considérer comme des faits physiques des énoncés qui paraissaient naguère relever davantage de l'interprétation, avec liberté d'options, voire de la spéculation. Quelle est la signification des énoncés et des concepts théoriques de la physique quantique ? et comment celle-ci s'est-elle modifiée ? Qu'entend-on par «interprétation» ? Telles sont les questions qui servent de guide à ce travail. Nous nous proposons de clarifier ce qui, dans les questions de signification, relève respectivement de la physique (essentiellement les contenus conceptuels et théoriques), et de perspectives philosophiques. Cette distinction est plus nette aujourd'hui qu'elle ne l'était au moment de l'établissement de la mécanique quantique, ce qui permet d'approfondir notre compréhension de chacun de ces deux aspects, qui s'enrichissent mutuellement de cette clarification. Nous nous interrogeons, pour terminer, sur ce que peut être une conception réaliste en termes d'un «monde d'objets quantiques».
Les théories physiques classiques peuvent être interpretées comme représentant le monde en termes d'intéractions causales à la fois locales et déterministiques entre des systèmes characterisés par des propriétés bien définies. Il est bien connu que la mécanique quantique orthodoxe, qui se trouve être une de nos théories les mieux confirmées, ne peut pas être interprétée dans les termes du cadre décrit ci-dessus. Au début des années soixante, John Bell a démontré que toute théorie représentant son domaine dans les termes du cadre classique ci-dessus satisfait une série d'inégalités, les inégalités de Bell. Certains physiciens ont développé des théories alternatives à la théorie quantique orthodoxe, théories dont les interprétations associées abandonnent au moins une des charactéristiques du cadre classique. Les philosophes s'efforcent d'interpreter ce resultat de la physique contemporaine, i.e. s'efforcent de comprendre à quoi peut ressembler le monde s'il est vrai que les interactions entre les systèmes physiques sont soit non-locales, soit non-déterministiques, ou bien que ces systèmes physiques ne possèdent pas de propriétés définies. Cette ligne de pensée a atteint son apogée avec la "métaphysique expérimentale" qui s'est développée après que la violation des inégalités de Bell par l'expérience a été observée. L'interprétation orthodoxe est que les expériences de type Bell nous forcent à accepter certaines formes d'interactions non-locales, et peut- être non causales, au niveau fondamental. Dans cette thèse, j'évalue dans quelle mesure l'investigation philosophique de nos meilleures théories scientifiques peut nous aider à décider de ce que peut être le monde au niveau fondamental. J'étudie cette question en considérant le domaine quantique, et en particulier les phénomènes de type Bell. Mes conclusions pointent dans la direction d'une vue plus modeste du rôle possible de la philosophie de la physique que celle que les programmes de métaphysique expérimentale suggèrent. Dans une première partie, j'étudie le rôle que la philosophie de la physique peut légitimement jouer dans le développement et l'évaluation des différentes theories quantiques. Je soutiens que le rôle de la philosophie de la physique ne consiste pas à imposer des critères d'acceptabilité pour les théories physiques en plus des critères usuels de cohérence interne et d'adéquation empirique. Un rôle à la fois important et légitime que peut jouer la philosophie de la physique consiste à distinguer clairement, pour nos théories et leurs interprétations, ce qui est imposé par les phénomènes et les théories de ce que relèvent de nos choix et préférences. Je soutiens enfin qu'un tel travail d'analyse peut se faire sur la base de l'analyse structurelle de nos théories et de nos modèles de données. Dans la seconde partie de la thèse, j'étudie spécifiquement le cas de l'interprétation des théorèmes de Bell et des expériences associées. J'évalue systématiquement l'interprétation orthodoxe selon laquelle les résultats de ces expériences nous force à accepter une forme "bénigne" de non-localité, bénigne" parce que de type non-causal. Je montre que l'interprétation orthodoxe comprends trois thèses différentes, la première portant sur la question de la localité, la seconde portant sur la question de la causalité et la troisième concernant le holisme. Je fournis des cadres théoriques rigoureux afin d'évaluer ces trois thèses. Le résultat de mon analyse concernant la question de la localité est que l'interprétation orthodoxe peut être défendue. En revanche, concernant les questions de causalité, aucun des cadres théoriques existant ne permet de soutenir l'interprétation orthodoxe, si cette dernière est comprise dans sa version forte de métaphysique expérimentale. Dans les deux cas cependant, une version faible peut être défendue. En particulier, un résultat important de ma thèse est que l'interprétation orthodoxe peut être défendue rigoureusement au niveau empirique.
Comprendre les phénomènes quantiques Les théories physiques classiques peuvent être interpretées comme représentant le monde en termes d'intéractions causales à la fois locales et déterministiques entre des systèmes characterisés par des propriétés bien définies. Il est bien connu que la mécanique quantique orthodoxe, qui se trouve être une de nos théories les mieux confirmées, ne peut pas être interprétée dans les termes du cadre décrit ci-dessus. Au début des années soixante, John Bell a démontré que toute théorie représentant son domaine dans les termes du cadre classique ci-dessus satisfait une série d'inégalités, les inégalités de Bell. Certains physiciens ont développé des théories alternatives à la théorie quantique orthodoxe, théories dont les interprétations associées abandonnent au moins une des charactéristiques du cadre classique. Les philosophes s'efforcent d'interpreter ce resultat de la physique contemporaine, i.e. s'efforcent de comprendre à quoi peut ressembler le monde s'il est vrai que les interactions entre les systèmes physiques sont soit non-locales, soit non-déterministiques, ou bien que ces systèmes physiques ne possèdent pas de propriétés définies. Cette ligne de pensée a atteint son apogée avec la "métaphysique expérimentale" qui s'est développée après que la violation des inégalités de Bell par l'expérience a été observée. L'interprétation orthodoxe est que les expériences de type Bell nous forcent à accepter certaines formes d'interactions non-locales, et peut- être non causales, au niveau fondamental. Dans cette thèse, j'évalue dans quelle mesure l'investigation philosophique de nos meilleures théories scientifiques peut nous aider à décider de ce que peut être le monde au niveau fondamental. J'étudie cette question en considérant le domaine quantique, et en particulier les phénomènes de type Bell. Mes conclusions pointent dans la direction d'une vue plus modeste du rôle possible de la philosophie de la physique que celle que les programmes de métaphysique expérimentale suggèrent. Dans une première partie, j'étudie le rôle que la philosophie de la physique peut légitimement jouer dans le développement et l'évaluation des différentes theories quantiques. Je soutiens que le rôle de la philosophie de la physique ne consiste pas à imposer des critères d'acceptabilité pour les théories physiques en plus des critères usuels de cohérence interne et d'adéquation empirique. Un rôle à la fois important et légitime que peut jouer la philosophie de la physique consiste à distinguer clairement, pour nos théories et leurs interprétations, ce qui est imposé par les phénomènes et les théories de ce que relèvent de nos choix et préférences. Je soutiens enfin qu'un tel travail d'analyse peut se faire sur la base de l'analyse structurelle de nos théories et de nos modèles de données. Dans la seconde partie de la thèse, j'étudie spécifiquement le cas de l'interprétation des théorèmes de Bell et des expériences associées. J'évalue systématiquement l'interprétation orthodoxe selon laquelle les résultats de ces expériences nous force à accepter une forme "bénigne" de non-localité, ``bénigne" parce que de type non-causal. Je montre que l'interprétation orthodoxe comprends trois thèses différentes, la première portant sur la question de la localité, la seconde portant sur la question de la causalité et la troisième concernant le holisme. Je fournis des cadres théoriques rigoureux afin d'évaluer ces trois thèses. Le résultat de mon analyse concernant la question de la localité est que l'interprétation orthodoxe peut être défendue. En revanche, concernant les questions de causalité, aucun des cadres théoriques existant ne permet de soutenir l'interprétation orthodoxe, si cette dernière est comprise dans sa version forte de métaphysique expérimentale. Dans les deux cas cependant, une version faible peut être défendue. En particulier, un résultat important de ma thèse est que l'interprétation orthodoxe peut être défendue rigoureusement au niveau empirique.
Le problème typique du physicien théoricien, tel qu'il peut être décrit dans certains manuels scolaires, consiste à rendre compte de faits expérimentaux et d'observations à l'aide d'un modèle théorique. L'expérimentateur (qui peut être la même personne) quant à lui valide ou invalide le modèle au moyen de nouvelles expériences. Pour le physicien et épistémologiste Thomas S. Kuhn (''La structure des révolutions scientifiques'', 1960), cette vision du progrès scientifique qui suppose, notons le en passant, que l'on ait affaire à des théories réfutables au sens de Popper, est quelque peu naïve. En effet, expérimentateurs et théoriciens sont déjà de connivence pour accepter les mêmes paradigmes au sens de Kuhn, c'est-à-dire en particulier qu'il y a accord, en général tacite, sur les problèmes susceptibles d'être formulés. Ils répondent malgré eux à des questions qu'ils ne se sont pas posés. Notre travail s'inscrit dans le cadre orthodoxe de la théorie quantique. Nous avons cependant tenté de répondre à quelques questions que l'on omet généralement de poser. Ceci aussi bien au niveau des méthodes et des concepts de la chimie théorique qu'au niveau de l'analyse de données expérimentales. Par exemple, dans nos travaux théoriques nous nous sommes demandé si la définition de certains concepts tenus pour fondamentaux était véritablement indépendante de toute approximation ou représentation arbitraire, et inversement si d'autres concepts supposés liés à une approximation particulière, ne pouvaient pas être étendus ou avoir une signification plus profonde que celle qu'on leur accorde habituellement (cas des surfaces de Born-Oppenheimer). Dans nos travaux d'analyse de données nous avons tenté de remonter à des données expérimentales aussi brutes que possible pour éviter les biais que peuvent introduire les traitements qu'elles subissent. Ces traitements sont fonctions des modèles physiques auxquels les données sont supposées se conformer et que nous avons remis en question. Depuis notre thèse, nous nous sommes efforcé de maintenir un équilibre entre une recherche fondamentale tournée vers la théorie et permettant de voir de façon plus synthétique ou plus critique, certains aspects de la chimie quantique, et une recherche tournée vers l'expérience et les applications astrophysiques. La présentation de nos travaux s'articulera donc naturellement sur deux volets. Notons aussi que cette présentation n'est pas exhaustive. En particulier nous n'aborderons pas ici nos travaux sur les hydrocarbones polycycliques aromatiques qui entrent dans une des thématiques traditionnelles de notre laboratoire. Notre exposé se limitera aux principaux projets de recherches dont nous avons eu l'initiative et qui ont donné lieu à des collaborations, (à l'exception de notre travail sur les bases flottantes dont il ne sera pas non plus question dans cette présentation). Ce choix nous a paru conforme à l'esprit de l'habilitation à diriger des recherches.
La these vise a montrer que la coherence de l’interpretation instrumentaliste de la mecaniquequantique (sur laquelle les reconstructions logiques de la theorie, d’inspiration pragmatiste, s’appuient) ne peut pas etre defendue sans remettre en cause la semantique extensionnelle utilisee en logique classique. J’examine en particulier les arguments misen avant par Niels Bohr, en montrant que son analyse physique du processus de mesureest insuffisante pour assurer la coherence de l’interpretation conditionnelle des probabilites quantiques qu’il adopte. Au lieu d’essayer de ‘completer’ l’approche de Bohrpar un compte rendu plus exhaustif des processus physiques (telle la decoherence) quijouent un role dans l’observation, je suggere que le probleme de la mesure decoule d’unetheorie de la signification inadequate. Je discute l’interet et les limites de la critiquebohrienne des presupposes representationalistes inherents a la description classique desphenomenes, et je conclus en formulant l’hypothese que l’adoption d’une semantiqueinferentialiste permettrait d’envisager a la fois la dissolution du probleme de la mesureet la justification a priori des traits structuraux des probabilites quantiques (comme etantl’expression des relations conceptuelles presupposees par tout langage qui doit incluredes enonces objectifs).
Nous montrons que la longue et âpre querelle sur l’interprétation de la mécanique quantique s’explique par le fait que chacun des pères fondateurs fonde sa conviction sur une vérité indiscutable, mais partielle. Pour proposer une interprétation synthétique de la mécanique quantique, nous devons tenir compte de la façon dont les particules quantiques sont préparées et de la validité de l’approximation semi-classique, c’est-à-dire si les actions ont des valeurs très supérieures ou non à la constante de Planck. On parlera de particules discernées quand la fonction d’onde représente complètement la particule et de particules indiscernées lorsque la fonction d’onde n’est plus suffisante. Dans le cas indiscerné semi-classique où la fonction d’onde ne suffit pas pour représenter les particules quantiques, il est obligatoire de lui ajouter les positions initiales des particules et l’interprétation de Broglie-Bohm-Bell s’impose. Bien qu’il existe un déterminisme pour ces particules, on se trouve, à l’échelle de notre représentation, devant un indéterminisme empirique lié à la non-connaissance de la position initiale de la particule. Dans le cas discerné semi-classique où la fonction d’onde suffit pour représenter les particules quantiques, l’interprétation de Schrödinger semble s’imposer. À l’échelle de notre représentation, il existe un déterminisme ontologique pour ces particules. Dans le cas où l’approximation semi-classique n’est plus valable, comme lors de la transition entre deux nivaux de l’atome d’hydrogène, les deux interprétations précédentes de la fonction d’onde de Schrödinger s’avèrent fausses comme le pensaient Einstein et Heisenberg. L’interprétation statistique de Born est alors la seule interprétation possible de l’équation de Schrödinger. L’interprétation déterministe doit alors se faire à partir des opérateurs de création et d’annihilation de la théorie quantique des champs et non à partir de l’équation de Schrödinger. Nous appelons cette interprétation synthétique de la mécanique quantique l’interprétation EB 5 SH (Einstein, de Broglie, Bohm, Bell, Bohr, Born, Schrödinger, Heisenberg).