منطق كمومي

في ميكانيكا الكم ، منطق الكم هو مجموعة من القواعد للتفكير في المقترحات التي تأخذ مبادئ نظرية الكم في الاعتبار. نشأت هذه المنطقة البحثية واسمها في ورقة 1936 [1] من إعداد غاريت بيرخوف وجون فون نيومان ، اللذين كانا يحاولان التوفيق بين التناقض الظاهري للمنطق الكلاسيكي مع الحقائق المتعلقة بقياس المتغيرات التكميلية في ميكانيكا الكم، مثل الموقع و الزخم .

يمكن صياغة المنطق الكمي إما كنسخة معدلة من المنطق المقترح أو منطق كثير القيمغير تبادلي و غير ارتباطي. [2] [3] [4] [5] [6]

تم اقتراح المنطق الكمي باعتباره المنطق الصحيح للاستدلال المقترح بشكل عام، وعلى الأخص الفيلسوف هيلاري بوتنام ، على الأقل في مرحلة واحدة من حياته المهنية. كانت هذه الأطروحة مكونًا مهمًا في بحث بوتنام لعام 1968 " هل المنطق تجريبي؟ " حيث قام بتحليل الحالة المعرفية لقواعد المنطق الافتراضي. ينسب بوتنام فكرة أن الشذوذات المرتبطة بالقياسات الكمية تنشأ مع الشذوذات في منطق الفيزياء نفسه إلى الفيزيائي ديفيد فينكلستين . ومع ذلك، كانت هذه الفكرة موجودة لبعض الوقت وتم إحياءها قبل عدة سنوات من خلال عمل جورج ماكي بشأن تمثيل المجموعات والتماثل.

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

الاختلافات مع المنطق الكلاسيكي

يحتوي المنطق الكمي على بعض الخصائص التي تميزه بوضوح عن المنطق الكلاسيكي، وعلى الأخص فشل قانون التوزيع للمنطق الإفتراضي : [7]

p و ( q أو r ) = ( p و q ) أو ( p and r ) ،

حيث الرموز p و q و r هي متغيرات افتراضية. لتوضيح سبب فشل قانون التوزيع، ضع في اعتبارك أن جسيمًا يتحرك على خط و (باستخدام بعض نظام الوحدات حيث ثابت ثابت بلانك 1)

p = "يحتوي الجسيم على زخم في الفاصل الزمني [0، +1/6]"
q = "الجسيم في الفاصل الزمني [−1 ، 1]"
r = "الجسيم في الفاصل الزمني [1 ، 3]"

ملاحظة : يعد اختيار p و q و r في هذا المثال بديهيًا ولكنه غير صالح رسميًا (أي، p و ( q أو r ) غير صحيح هنا أيضًا) ؛ راجع قسم "منطق الكم كمنطق للملاحظات" أدناه للحصول على التفاصيل ومثال صالح.

بمعنى آخر، أن زخم الجسيم يتراوح بين 0 و 1/6 ، وموقعه بين −1 و +3. من ناحية أخرى، فإن المقترحين " p and q " و " p and r " كليهما خاطئان، حيث إنهما يؤكدان قيودًا أكثر تشددًا على القيم والمكان والزخم المتزامنين مما يسمح به مبدأ عدم اليقين (لكل منهما عدم اليقين 1/3 ، وهو أقل من الحد الأدنى المسموح به من 1/2). وبالتالي،: ( ع و ف ) أو ( ع و ص ) = خطأ

وبالتالي فشل قانون التوزيع.

مراجع
  1. Birkhoff, Garrett; von Neumann, John. "The Logic of Quantum Mechanics" (PDF). Annals of Mathematics, 2nd Ser. 37 (4): 823–843. JSTOR 1968621. مؤرشف من الأصل (PDF) في 4 مارس 2016. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. https://arxiv.org/abs/quant-ph/0101028v2 ماريا لويزا دالا كيارا وروبرتو جونتيني. 2008. منطق الكم ، 102 صفحة PDF
  3. Dalla Chiara, M. L.; Giuntini, R. (1994). "Unsharp quantum logics". Foundations of Physics. 24: 1161–1177. Bibcode:1994FoPh...24.1161D. doi:10.1007/bf02057862. الوسيط |CitationClass= تم تجاهله (مساعدة)
  4. IC Baianu. 2009. المنطق الكمي LMn الجبري. نسخة محفوظة 26 أبريل 2020 على موقع واي باك مشين.
  5. Georgescu, G.; Vraciu, C. (1970). "On the characterization of centered Łukasiewicz algebras". J. Algebra. 16: 486–495. doi:10.1016/0021-8693(70)90002-5. الوسيط |CitationClass= تم تجاهله (مساعدة)
  6. Georgescu, G (2006). "N-valued Logics and Łukasiewicz-Moisil Algebras". Axiomathes. 16 (1–2): 123. doi:10.1007/s10516-005-4145-6. الوسيط |CitationClass= تم تجاهله (مساعدة)
  7. "المنطق الكمي" دخول بيتر فورست في موسوعة روتليدج للفلسفة ، المجلد. 7 (1998) ، ص. 882ff: "يختلف [المنطق الكمي] عن حساب التفاضل والتكامل المعياري ... والفرق الأكثر بروزاً هو أن قوانين التوزيع تفشل ، حيث يتم استبدالها بقانون أضعف يُعرف بالتقويم العرفي".
    • بوابة ميكانيكا الكم
    • بوابة الفيزياء
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.