مستخدم:Fadi f7/ملعب
مبدأ الثنائية القيمية (بالإنجليزية: Principle of bivalence) وهو مبدأ منطقي ينص على أن كل قضية لها قيمة صائبة واحدة، إما أن تكون صحيحة أو خاطئة. [1][2] ويسمى المنطق الذي يحقق هذا المبدأ بمنطق ثنائي القيمة[3] أو منطق ثنائي التكافؤ.[2][4]
يتم دراسة مبدأ الثنائية القيمية في المنطق الفلسفي لمعالجة مسألة أي عبارات اللغة الطبيعية لها قيمة صائبة محددة جيدًا. الجمل التي تتنبأ بالأحداث في المستقبل، والجمل التي تبدو مفتوحة للتأويل، صعبة بشكل خاص على الفلاسفة الذين يرون أن مبدأ الثنائية القيمية ينطبق على جميع عبارات اللغة الطبيعية التقريرية.[2] يضفي المنطق متعدد القيم طابعًا رسميًا على الأفكار القائلة بأن التوصيف الواقعي لمفهوم النتيجة يتطلب قبول المقدمات التي، بسبب الغموض أو عدم التحديد الزمني أو اللاحتمية الكمية أو الفشل المرجعي، لا يمكن اعتبارها ثنائية القيمية كلاسيكيًا. يمكن أيضًا معالجة حالات الفشل المرجعية من خلال المنطق الحر.
العلاقة بمدأ الثالث المرفوع
[عدل]يرتبط مبدأ الثنائية القيمية بمبدأ الثالث المرفوع مع أن الأخير عبارة عن تعبير نحوي للغة منطق على شكل "P ∨ ¬P". الفرق بين مبدأ الثنائية القيمية ومبدأ الثالث المرفوع مهم لأن هناك أنظمة منطقية تؤكد صحة مبدأ الثالث المرفوع وليس مبدأ الثنائية القيمية. [2] على سبيل المثال، منطق المفارقة (LP) هو ثلاثي القيم يؤكد صحة مبدأ الثالث المرفوع، ولكن ليس مبدأ عدم التناقض ، ¬(P ∧ ¬P)، ودلالاته المقصودة ليست ثنائية القيمة. [5] في المنطق الحدسي، لا يصمد مبدأ الثالث المرفوع. في المنطق الكلاسيكي ثنائي القيمة، ينطبق كل من مبدأ الثالث المرفوع ومبدأ عدم التناقض . [6]
- ^ Lou Goble (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. p. 309. ISBN 978-0-631-20693-4.
- ^ ا ب ج د Paul Tomassi (1999). Logic. Routledge. ص. 124. ISBN:978-0-415-16696-6. وسم
<ref>غير صالح؛ الاسم "Tomassi1999" معرف أكثر من مرة بمحتويات مختلفة. - ^ Lou Goble (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. p. 4. ISBN 978-0-631-20693-4
- ^ Mark Hürlimann (2009). Dealing with Real-World Complexity: Limits, Enhancements and New Approaches for Policy Makers. Gabler Verlag. p. 42. ISBN 978-3-8349-1493-4.
- ^ Graham Priest (2008). An introduction to non-classical logic: from if to is. Cambridge University Press. ص. 124–125. ISBN:978-0-521-85433-7.
- ^ Lou Goble (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. ص. 309. ISBN:978-0-631-20693-4.