منطق كمومي

في ميكانيكا الكم، منطق الكم هو مجموعة من القواعد للتفكير في المقترحات التي تأخذ مبادئ نظرية الكم في الاعتبار. نشأت هذه المنطقة البحثية واسمها في ورقة 1936 من إعداد غاريت بيرخوف وجون فون نيومان، اللذين كانا يحاولان التوفيق بين التناقض الظاهري للمنطق الكلاسيكي مع الحقائق المتعلقة بقياس المتغيرات التكميلية في ميكانيكا الكم، مثل الموقع والزخم. يمكن صياغة المنطق الكمي إما كنسخة معدلة من المنطق المقترح أو منطق كثير القيمغير تبادلي وغير ارتباطي. تم اقتراح المنطق الكمي باعتباره المنطق الصحيح للاستدلال المقترح بشكل عام، وعلى الأخص الفيلسوف هيلاري بوتنام، على الأقل في مرحلة واحدة من حياته المهنية. كانت هذه الأطروحة مكونًا مهمًا في بحث بوتنام لعام 1968 «هل المنطق تجريبي؟» حيث قام بتحليل الحالة المعرفية لقواعد المنطق الافتراضي. ينسب بوتنام فكرة أن الشذوذات المرتبطة بالقياسات الكمية تنشأ مع الشذوذات في منطق الفيزياء نفسه إلى الفيزيائي ديفيد فينكلستين. ومع ذلك، كانت هذه الفكرة موجودة لبعض الوقت وتم إحياءها قبل عدة سنوات من خلال عمل جورج ماكي بشأن تمثيل المجموعات والتماثل. لكن الرأي الأكثر شيوعًا فيما يتعلق بالمنطق الكمومي، هو أنه يوفر شكلاً رسميًا فيما يتعلق بالملاحظات ذات الصلة، ومرشحات إعداد النظام والحالات. في هذا الرأي، يشبه النهج المنطقي الكمومي بشكل أو بآخر النهج الجبرالي في ميكانيكا الكم. إن أوجه التشابه في الشكلية المنطقية الكمومية لنظام المنطق الاستنتاجي يمكن اعتبارها فضولاً أكثر منها حقيقة ذات أهمية فلسفية أساسية. يتمثل الأسلوب الأكثر حداثة في بنية المنطق الكمومي في افتراض أنه مخطط - بمعنى نظرية الفئة - للمنطق الكلاسيكي (انظر ديفيد إدواردز).