Kuantum mekaniğinin temelde mantık kurallarına meydan okunduğu düşüncesi bir süredir popüler olmuştur, ancak son yıllarda iyilikten uzaklaşmıştır.
While intuitively it might seem that quantum superposition (i.e something being in more than one base state at the same time) is what challenges the rules of logic, by invalidating the law of non-contradiction, this is not the case. An electron in a superposition of spin |+> and spin |-> might seem like a contradiction, but it can simply be treated as being in a distinct third state of being "either |+> or |->".
Kuantum Mekaniği'nden gelen klasik mantığa yönelik asıl zorluk, aşağıdaki durumlara yol açan belirsizlik ilkesinden gelmektedir:
[(p and x) or (p and y)] is different from [p and (x or y)].
Birkhoff ve Von Neuman 1930'larda Kuantum Mekaniğinin paradokslarının klasik mantığı terk ettiğimiz ve bir çeşit “a href =” https://en.wikipedia.org/wiki/Quantum_logic ”rel =" nofollow Bunun yerine noreferrer "> Kuantum mantığı (Birkhoff, Garrett; von Neumann, John." Kuantum Mekaniğinin Mantığı ". Ann. Math. 37 (4): 823–843.). Böyle bir Kuantum mantığı, klasik mantık kurallarının bazılarını birlikte değiştirir veya terk eder ve gözlemle ulaşılan mükemmel bir mantıksal aksiyomdur.
Hilary Putnam bu konuyu derinlemesine tartışmıştır. "Mantık Ampirik midir? ? ", daha sonra" Kuantum Mekaniğinin Mantığı "olarak yeniden yayınlandı. (“Matematik, Madde ve Yöntemde Kuantum Mekaniğinin Mantığı” (1975), s. 174-197). Burada, ampirik fiziksel sonuçların - göreliliğin - Öklid geometrisini terk etmemizi zorunlu kıldığı gibi, kuantum mekaniğinin sonuçlarının bizi klasik mantıktan vazgeçmeye zorlayabileceğini iddia etti.
Von Neumann, Birkhoff ve Putnam, daha sonraki yıllarda bu pozisyondan uzaklaşmış gibi görünüyorlardı. Kuantum mantığı, herhangi bir fizik problemini gerçekten çözemedi ya da Kuantum Mekaniği tarafından ortaya atılan epistemik zorluklara yeni bir anlayış getirmedi.
Kuantum mantığı günümüze kadar hala aktif bir çalışma alanı olmasına rağmen, çoğu filozofun ilgisini çekmez ve tamamen fizikçiler tarafından terk edilmiştir. Buna dikkat eden tek insanlar, matematiksel yapılar olarak farklı mantık türlerini (Kuantum Logic'in Ortomodüler Kafeslerle olan ilişkisi ve Bulanık Kümelerle ilişkisi) inceleyen saf matematikçilerdir, bu tür olmayanların semantik veya epistemik değerine dikkat etmeden. klasik mantıklar. Örneğin bkz. "Kuantum Mantığı, ML Dalla Chiara, R. Giuntini, arXiv: quant-ph/0101028 ".
Zaman zaman, kuantum bilişim literatüründe kullanılan "Quantum Logic" terimine rastlarsınız. Von Neumann ve Birkhoff'un QL'si anlamına gelmez. Bunun yerine, kuantum durumlarına ve kuantum bitlerine uygulanan klasik Boole mantığı kastedilmektedir.