ثنائية القيمة: هل الحقيقة دائماً أبيض وأسود؟

مدرس الدكتور محمد لوتي

المحتويات:

ثنائية القيمة (Bivalence)

Primary Disciplinary Field(s): المنطق الفلسفي، المنطق الرياضي، علم الدلالة

1. التعريف الأساسي والمبدأ

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

يجب التمييز بدقة بين مبدأ ثنائية القيمة ومبدأ عدم التناقض ومبدأ الثالث المرفوع، على الرغم من ارتباطها الوثيق بالمنطق الكلاسيكي. ثنائية القيمة هي مبدأ دلالي؛ أي أنه يتعلق بطبيعة قيم الصدق التي يمكن أن تحملها الجملة. إنه بيان حول طبيعة اللغة والقضايا: لكل جملة، يوجد بالضبط أحد هذين الحالين الصدق أو الكذب. هذه النظرة الدلالية هي التي تمنح المنطق الكلاسيكي قوته التفسيرية وقدرته على استخلاص الاستنتاجات الحاسمة، خاصة في سياقات البراهين الرياضية التي تعتمد على اليقين المطلق في صحة القضايا الأساسية.

إن الالتزام بثنائية القيمة يعني أننا نتعامل مع فضاء مغلق للاحتمالات الدلالية. لا يمكن للقضية أن تكون غير محددة القيمة (Indeterminate)، ولا يمكن أن تكون جزئياً صادقة وجزئياً كاذبة، ولا يمكن أن تكون غير ذات صلة بقيم الصدق على الإطلاق. هذا التبسيط الثنائي هو ما يسهل بناء الحسابات المنطقية الرسمية، مثل حساب التفاضل والتكامل للقضايا (Propositional Calculus)، ويسمح بترميز قيم الصدق في صيغة 0 و 1، وهو الأساس الذي تقوم عليه البنى المنطقية الرقمية في علوم الحاسوب الحديثة.

2. الجذور التاريخية والتطور الفلسفي

تعود جذور مبدأ ثنائية القيمة إلى الفلسفة اليونانية القديمة، وتحديداً إلى أعمال أرسطو. على الرغم من أن أرسطو لم يصغ المبدأ بصيغته الحديثة، إلا أن أعماله في كتاب “العبارة” (De Interpretatione) وضعت الأساس لمفاهيم الصدق والكذب. ومع ذلك، قدم أرسطو تحدياً مبكراً لهذا المبدأ فيما يتعلق بـالاحتمالات المستقبلية الطارئة (Future Contingents)، وهو ما يُعرف بـ”مشكلة معركة البحر” الشهيرة. تساءل أرسطو عما إذا كانت القضايا المتعلقة بالأحداث المستقبلية التي لم تُحدد بعد (مثل “ستحدث معركة بحر غداً”) تحمل قيمة صدق محددة بالفعل (صادقة أو كاذبة)، مما يشير إلى أنه ربما تكون هناك قضايا لا تنطبق عليها الثنائية في الوقت الحاضر.

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

في المنطق الحديث، تم تثبيت مبدأ ثنائية القيمة بشكل رسمي ورياضي من خلال أعمال غوتلوب فريجه وبرتراند راسل وألفرد تارسكي. أصبح هذا المبدأ سمة مميزة لـالمنطق الكلاسيكي (Classical Logic) أو المنطق ذي القيمتين. لقد وفرت التطورات في المنطق الرمزي إطاراً دقيقاً حيث يمكن تعريف قيم الصدق حصرياً على أنها 1 (صادق) و 0 (كاذب)، مما سمح ببناء أنظمة استدلالية قوية. لقد أدت هذه الصياغة الرياضية القاطعة إلى اعتبار ثنائية القيمة شرطاً ضرورياً لسلامة العديد من النظريات الرياضية، بل وأصبحت الأساس الذي بنيت عليه أسس نظرية المجموعات ونظرية البرهان.

3. السمات الرئيسية والمكونات المنطقية

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

الشمولية (Universality): ينطبق مبدأ ثنائية القيمة على جميع القضايا التصريحية المحددة جيداً داخل النظام. لا يوجد استثناء؛ فإذا كانت القضية مؤهلة لتكون حكماً (Statement)، فيجب أن تكون إما صادقة أو كاذبة. هذا الشمول هو ما يمنع وجود “مناطق رمادية” أو قضايا معلقة لا يمكن الحكم عليها دلالياً.
الحصرية (Exclusivity): يجب أن تحمل القضية قيمة صدق واحدة فقط. لا يمكن أن تكون القضية صادقة وكاذبة في نفس الوقت وتحت نفس الظروف. هذه السمة هي الوجه الدلالي لـمبدأ عدم التناقض (Law of Non-Contradiction) الذي ينص على أنه لا يمكن لـ (P و نفي P) أن تكون صادقة.
الاستنفادية (Exhaustivity): يجب أن تحمل القضية إحدى القيمتين (صادقة أو كاذبة). لا يمكن أن تكون القضية ليست صادقة وليست كاذبة. هذه السمة هي الجانب الدلالي لـمبدأ الثالث المرفوع (Law of Excluded Middle)، حيث تستنفد قيمتا الصدق جميع الاحتمالات المتاحة للقضية.

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

تعتبر هذه المكونات حاسمة في بناء الجداول الحقيقية (Truth Tables) للمشغلات المنطقية (Connectives) مثل “و” (AND)، و”أو” (OR)، و”إذا…فإن” (If…Then). تعتمد الجداول الحقيقية بشكل كامل على الافتراض بأن مدخلات ومخرجات هذه المشغلات تنحصر فقط في القيمتين 0 و 1، مما يضمن أن تكون كل عملية منطقية محددة النتائج وذات قيمة صدق واحدة لا لبس فيها.

4. العلاقة بمبدأ الثالث المرفوع

يُخلط كثيراً بين مبدأ ثنائية القيمة ومبدأ الثالث المرفوع (Law of Excluded Middle)، على الرغم من ارتباطهما الوثيق في المنطق الكلاسيكي. ثنائية القيمة هي، كما ذكرنا، مبدأ دلالي يتعلق بوجود قيم الصدق (القضية P يجب أن يكون لها قيمة صدق V حيث V = T أو F). أما مبدأ الثالث المرفوع فهو مبدأ تركيبي (Syntactic) أو إثباتي (Assertive) يتعلق بـصيغة محددة.

ينص مبدأ الثالث المرفوع على أن الصيغة P ∨ ¬P (إما P أو نفي P) هي دائماً عبارة صادقة منطقياً (Tautology)، بغض النظر عن محتوى P. بمعنى آخر، نحن نؤكد صحة الصيغة القائلة بأن القضية أو نقيضها لا بد أن يكون صحيحاً. في المنطق الكلاسيكي، يؤدي قبول ثنائية القيمة حتماً إلى قبول الثالث المرفوع، لأنه إذا كانت P يجب أن تكون إما T أو F (ثنائية القيمة)، فإن الصيغة P ∨ ¬P يجب أن تكون دائماً T (الثالث المرفوع).

لكن التمييز يصبح حاسماً عند النظر إلى الأنظمة المنطقية غير الكلاسيكية. على سبيل المثال، يرفض المنطق الحدسي (Intuitionistic Logic) مبدأ الثالث المرفوع. المنطقيون الحدسيون (أو البنائيون) يرفضون القول بأن P ∨ ¬P صادقة ما لم نتمكن من إثبات P أو إثبات ¬P. بالنسبة لهم، الصدق يعني القابلية للإثبات (Constructive Proof). ومع ذلك، يمكن لنظام منطقي أن يرفض الثالث المرفوع دون أن يرفض بالضرورة ثنائية القيمة بالكامل؛ قد يرفض النظام أن كل قضية قابلة للإثبات، لكنه قد يظل يؤمن بأن القضايا في الواقع تحمل قيمة صدق محددة (وإن كنا لا نستطيع معرفتها).

وفي المقابل، فإن أي نظام يرفض ثنائية القيمة (كأن يقبل قيمة صدق ثالثة، مثل “غير محدد”)، فإنه سيرفض بالضرورة مبدأ الثالث المرفوع. إذا كانت القضية P يمكن أن تكون “غير محددة”، فإن P ليست صادقة (T) ونفيها (¬P) ليس صادقاً أيضاً، وبالتالي فإن P ∨ ¬P لن تكون صادقة منطقياً في جميع الحالات. لذلك، يمكن القول إن مبدأ ثنائية القيمة هو شرط أقوى وأكثر دلالية، ورفضه يستتبع رفض الثالث المرفوع، بينما رفض الثالث المرفوع لا يعني بالضرورة رفض ثنائية القيمة، على الرغم من أن هذا الأخير يحدث في أغلب الأحيان في سياقات البناءية والمنطق متعدد القيم.

5. الأهمية والتطبيقات في النظم المنطقية

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

في المنطق الرياضي، تتيح ثنائية القيمة استخدام تقنيات برهانية قوية مثل البرهان بالخلف (Reductio ad Absurdum). تعتمد هذه التقنية على افتراض كذب القضية التي نريد إثباتها (افتراض أن P كاذبة). إذا أدى هذا الافتراض إلى تناقض منطقي (Q و ¬Q)، فإننا نستنتج أن الافتراض الأولي كان خاطئاً، وبموجب ثنائية القيمة (الاستنفادية)، يجب أن تكون القضية الأصلية P صادقة. إذا كنا لا نملك ضماناً بأن القضية يجب أن تكون إما صادقة أو كاذبة، يصبح هذا النوع من البرهان غير صالح أو ضعيفاً.

أما في علوم الحاسوب والهندسة الكهربائية، فإن ثنائية القيمة هي الأساس النظري لـالجبر البولي (Boolean Algebra)، الذي وضعه جورج بول. يمثل الصدق القيمة المنطقية 1، والكذب القيمة المنطقية 0. تعتمد جميع الدوائر المنطقية الرقمية (Logic Gates) التي تشغل المعالجات الحديثة على هذا النظام الثنائي. إن كل بت (Bit) في الذاكرة أو المعالج يجب أن يكون إما 1 (تشغيل/صادق) أو 0 (إيقاف/كاذب). هذا التطبيق العملي يوضح كيف أن مبدأ فلسفياً مجرداً أصبح القوة الدافعة وراء التكنولوجيا الحديثة.

علاوة على ذلك، في علم الدلالة اللغوي، تساهم ثنائية القيمة في تحديد شروط الحقيقة (Truth Conditions) للجمل. لفهم معنى جملة ما، يجب أن نعرف الظروف التي تجعلها صادقة والظروف التي تجعلها كاذبة. بالنسبة لمعظم النظريات الدلالية الشكلية، يُفترض أن كل جملة تصريحية في اللغة الطبيعية، بعد تحديد سياقها بدقة، تخضع لمبدأ ثنائية القيمة، مما يسمح بتحليل العلاقات الاستنتاجية بين الجمل بشكل منهجي.

6. الانتقادات والمناقشات الفلسفية

على الرغم من هيمنة ثنائية القيمة في المنطق الكلاسيكي، فقد واجه المبدأ تحديات كبيرة أدت إلى ظهور عائلات كاملة من المنطق غير الكلاسيكي. تنبع هذه التحديات من حالات لا يبدو فيها أن القضايا تتوافق بشكل مريح مع التصنيف الصارم لـ(صادق/كاذب).

أول وأقدم تحدٍ هو تحدي القضايا المستقبلية الطارئة، كما طرحه أرسطو. إذا كان تحديد قيمة صدق قضية مستقبلية اليوم يعني أنها ستحدث حتماً، فإن ذلك يهدد مفاهيم الحرية والصدفة. استجابة لذلك، طور بعض المناطقة، مثل يان لوكاشيفيتش، منطقاً ثلاثي القيمة (Three-Valued Logic) في أوائل القرن العشرين، حيث أضافوا قيمة ثالثة: “محتمل” أو “غير محدد” (Indeterminate)، لتطبيقها على القضايا المستقبلية. هذا الرفض لثنائية القيمة فتح الباب أمام المنطق متعدد القيم (Many-Valued Logic).

التحدي الثاني يأتي من مشكلة الغموض أو التشويه (Vagueness)، والتي تظهر بشكل واضح في مفارقة سوريتس (Sorites Paradox). تتعلق هذه المفارقة بالصفات التي لا يمكن تطبيقها أو نفيها بوضوح (مثل “طويل”، “كومة”، “أصلع”). هل الشخص الذي لديه 5000 شعرة “أصلع”؟ لا يبدو أنه صادق تماماً ولا كاذب تماماً. للتعامل مع هذا، تم تطوير منطق ضبابي (Fuzzy Logic)، حيث يمكن أن تأخذ القضايا قيمة صدق ضمن نطاق مستمر بين 0 و 1، مما يمثل رفضاً جذرياً لثنائية القيمة الحصرية.

أما التحدي الثالث والأكثر منهجية فيأتي من المنطق الحدسي (Intuitionism). يرفض الحدسيون، مثل إل. إي. جيه. بروير، فكرة أن القضايا الرياضية تمتلك قيمة صدق مستقلة عن قدرتنا على إثباتها. بالنسبة لهم، لا يمكن أن تكون القضية صادقة إلا إذا كان لدينا برهان بنائي لها. هذا الموقف لا يرفض ثنائية القيمة بشكل مباشر للقضايا التي يمكن إثباتها أو دحضها، ولكنه يرفض شموليتها (Universality)، لأنه يعتبر القضايا التي لم يتم إثباتها بعد غير محددة القيمة، وبالتالي يرفض الثالث المرفوع ويحد من نطاق ثنائية القيمة الكلاسيكية.