مبدأ الثالث المرفوع
مبدأ الثالث المرفوع أو قانون الوسط المستبعد (بالإنجليزية: law of excluded middle) أو (بالإنجليزية: principle of excluded middle) وهو مبدأ منطقي ينص على أن كل قضية إما هي أو نقيضتها صحيحة، ولا توسط بينهما. فمثلا: «سقراط حي» أو «سقراط ميت» هما قضيتان متناقضتان، إذا صحت الأولى كذبت الثانية والعكس بالعكس، ولا ثالث بينهما. فالقضية إما أن تكون صادقةً أو كاذبة، وليس هنالك حلٌّ ثالث.[1] كما إنه أحد قوانين الفكر الثلاثة مع كل من مبدأ الهوية ومبدأ عدم التناقض.[2]
ولا ينبغي الخلط بين هذا المبدأ ومبدأ الثنائية القيمية، الذي ينص على أن كل قضية إما أن تكون صحيحة أو خاطئة. حيث إن مبدأ الثنائية القيمية يتضمن دائما مبدأ الثالث المرفوع، في حين أن العكس ليس صحيحا دائما.[3]
تاريخ
عدلأرسطو
عدلأقرب صياغة معروفة كانت في مناقشة أرسطو لمبدأ عدم التناقض ، الذي تم اقتراحه لأول مرة في العبارة، [4] حيث يقول أنه من بين افتراضين متناقضين (أي عندما يكون أحد الاقتراحين هو نقيض الآخر) يجب أن يكون أحدهما صحيحًا، والآخر كاذب.[5] ويصرح به أيضًا كمبدأ في كتاب الميتافيزيقا 3، قائلاً إنه لا بد في كل حال من إثبات أو نفي، [6] وأنه من غير الممكن أن يكون بين طرفي التناقض شيء.[7]
كتب أرسطو أن الغموض يمكن أن ينشأ من استخدام الأسماء الغامضة، ولكن لا يمكن أن يوجد في الحقائق نفسها:
إن تأكيد أرسطو على أنه "لن يكون من الممكن أن يكون أو لا يكون نفس الشيء" سيتم كتابته في المنطق الافتراضي كـ ~( P ∧ ~ P ). وفي ما يسمى بالمنطق الكلاسيكي الحديث، فإن هذه العبارة تعادل قانون الوسط المستبعد ( P ∨ ~ P )، من خلال توزيع النفي في تأكيد أرسطو. فالأول يدعي أنه لا توجد عبارة صحيحة أو خاطئة في نفس الوقت ، في حين أن الثانية تتطلب أن تكون أي عبارة صحيحة أو خاطئة.
لكن أرسطو يكتب أيضًا: "بما أنه من المستحيل أن تكون المتناقضات صحيحة في نفس الوقت لنفس الشيء، فمن الواضح أن الأضداد أيضًا لا يمكن أن تنتمي في نفس الوقت إلى نفس الشيء" (الكتاب الرابع، الفصل 6، ص. 531). ثم يقترح أنه "لا يمكن أن يكون هناك وسيط بين المتناقضات، ولكن يجب علينا إما تأكيد أو نفي أي مسند واحد على موضوع واحد" (الكتاب الرابع، الفصل 7، ص. 531). في سياق منطق أرسطو التقليدي ، يعد هذا بيانًا دقيقًا بشكل ملحوظ لقانون الوسط المستبعد، P ∨ ~ P .
أيضًا في "العبارة" ، يبدو أن أرسطو ينكر قانون الثالث المرفوع في حالة الوحدات المستقبلية ، في مناقشته حول المعركة البحرية.
لايبنتز
عدلالمصادر
عدل- ^ الثالث المرفوع - المعجم الفلسفي، د. جميل صليبا، 1982 م نسخة محفوظة 15 ديسمبر 2019 على موقع واي باك مشين.
- ^ "Law of excluded middle | logic". Encyclopedia Britannica (بالإنجليزية). Archived from the original on 2020-03-26. Retrieved 2020-06-15.
- ^ Tomassi, Paul (1999). Logic. Routledge. p. 124. نسخة محفوظة 2024-12-11 على موقع واي باك مشين.
- ^ P. T. Geach, The Law of Excluded Middle in Logic Matters, p. 74
- ^ On Interpretation, c. 9
- ^ Metaphysics B 2, 996b 26–30
- ^ Metaphysics Γ 7, 1011b 26–27
