quantique (logique)
Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».
Logique
Variété de logique non classique destinée à traiter les « anomalies logiques » de la mécanique quantique.
Créée en 1936 par Birkhoff et von Neumann(1), la logique quantique a pour objectif de formaliser certaines particularités inférentielles de la mécanique quantique, comme le fait qu'un système physique dans un état donné puisse satisfaire une certaine alternative (pour une particule, passer par l'un ou l'autre de deux orifices dans une paroi), alors même que la question de savoir quelle branche de l'alternative est satisfaite est « fortement indéterminée ». La logique quantique, qui admet sans restriction le principe classique du tiers exclu A v ¬A, se caractérise en revanche par son rejet du principe de bivalence : il y est en général impossible de considérer un énoncé comme vrai ou faux.
Jacques Dubucs
Notes bibliographiques
- 1 ↑ Birkhoff, G., et von Neumann, J., « The Logic of Quantum Mechanics », Annals of Mathematics, vol. 37, 1936, pp. 823-843.
- Voir aussi : Putnam, H., « The Logic of Quantum Mechanics » (1928), in Philosophical Papers. I. Mathematics, Matter and Method, Cambridge University Press, Cambridge, 1975, pp. 174-197.