مبدأ الثالث المرفوع
'''مبدأ الثالث المرفوع''' أو '''قانون الوسط المستبعد''' {{إنج|law of excluded middle}} أو {{إنج|principle of excluded middle}} وهو [[مبدأ]] [[منطق|منطقي]] ينص على أن كل قضية إما هي أو نقيضتها صحيحة، ولا توسط بينهما. فمثلا: «سقراط حي» أو «سقراط ميت» هما قضيتان متناقضتان، إذا صحت الأولى كذبت الثانية والعكس بالعكس، ولا ثالث بينهما. فالقضية إما أن تكون صادقةً أو كاذبة، وليس هنالك حلٌّ ثالث.<ref>[http://encyc.reefnet.gov.sy/?page=entry&id=152047 الثالث المرفوع] - المعجم الفلسفي، د. جميل صليبا، 1982 م {{Webarchive|url=https://web.archive.org/web/20191215194718/http://encyc.reefnet.gov.sy/?page=entry&id=152047 |date=15 ديسمبر 2019}}</ref> كما إنه أحد [[قوانين الفكر الثلاثة]] مع كل من [[مبدأ الهوية]] [[مبدأ عدم التناقض|ومبدأ عدم التناقض]].<ref>{{استشهاد بويب
| مسار = https://www.britannica.com/topic/law-of-excluded-middle
| عنوان = Law of excluded middle {{!}} logic
| موقع = Encyclopedia Britannica
| لغة = en
| تاريخ الوصول = 2020-06-15
| مسار أرشيف = https://web.archive.org/web/20200326153531/https://www.britannica.com/topic/law-of-excluded-middle | تاريخ أرشيف = 26 مارس 2020 }}</ref>

ولا ينبغي الخلط بين هذا المبدأ و<nowiki/>[[مبدأ الثنائية القيمية]]، الذي ينص على أن كل قضية إما أن تكون صحيحة أو خاطئة. حيث إن مبدأ الثنائية القيمية يتضمن دائما مبدأ الثالث المرفوع، في حين أن العكس ليس صحيحا دائما.<ref>Tomassi, Paul (1999). [https://books.google.com/books?id=5Funj1Zaau0C Logic]. Routledge. p. 124. {{Webarchive|url=http://web.archive.org/web/20241211061324/https://books.google.com/books?id=5Funj1Zaau0C|date=2024-12-11}}</ref>

== تاريخ ==

=== أرسطو ===
أقرب صياغة معروفة كانت في مناقشة أرسطو [[مبدأ عدم التناقض|لمبدأ عدم التناقض]] ، الذي تم اقتراحه لأول مرة في ''[[العبارة (أرسطو)|العبارة]]،'' <ref>P. T. Geach, The Law of Excluded Middle in ''Logic Matters,'' p. 74</ref> حيث يقول أنه من بين افتراضين [[تناقض (منطق)|متناقضين]] (أي عندما يكون أحد الاقتراحين هو نقيض الآخر) يجب أن يكون أحدهما صحيحًا، والآخر كاذب.<ref>''On Interpretation'', c. 9</ref> ويصرح به أيضًا كمبدأ في كتاب ''[[ما وراء الطبيعة (أرسطو)|الميتافيزيقا]]'' 3، قائلاً إنه لا بد في كل حال من إثبات أو نفي، <ref>''Metaphysics'' ''B'' 2, 996b 26–30</ref> وأنه من غير الممكن أن يكون بين طرفي التناقض شيء.<ref>''Metaphysics'' Γ 7, 1011b 26–27</ref>

كتب [[أرسطو]] أن الغموض يمكن أن ينشأ من استخدام الأسماء الغامضة، ولكن لا يمكن أن يوجد في الحقائق نفسها:{{اقتباس|من المستحيل إذن أن يعني "كونك إنسانًا" على وجه التحديد "ألا تكون إنسانًا"، إذا كان "الإنسان" لا يعني شيئًا يتعلق بموضوع واحد فحسب، بل له أيضًا أهمية واحدة.  … ولن يكون من الممكن أن يكون ولا يكون شيئًا واحدًا إلا في حالة غموض، كما لو أن من نسميه إنسانًا والآخرون يسمونه لا إنسانًا؛  لكن النقطة المعنية ليست ما إذا كان الشيء نفسه يمكن أن يكون رجلاً بالاسم ولا يمكن أن يكون في نفس الوقت، ولكن ما إذا كان يمكن أن يكون في الواقع.
 (الميتافيزيقا 4.4، دبليو دي روس (عبر)، GBWW 8، 525–526).}}
إن تأكيد أرسطو على أنه "لن يكون من الممكن أن يكون أو لا يكون نفس الشيء" سيتم كتابته في المنطق الافتراضي كـ ~( ''P'' ∧ ~ ''P'' ). وفي ما يسمى بالمنطق الكلاسيكي الحديث، فإن هذه العبارة تعادل قانون الوسط المستبعد ( ''P'' ∨ ~ ''P'' )، من خلال توزيع النفي في تأكيد أرسطو. فالأول يدعي أنه لا توجد عبارة صحيحة أو خاطئة ''في نفس الوقت'' ، في حين أن الثانية تتطلب أن تكون أي عبارة ''صحيحة'' أو خاطئة.

لكن أرسطو يكتب أيضًا: "بما أنه من المستحيل أن تكون المتناقضات صحيحة في نفس الوقت لنفس الشيء، فمن الواضح أن الأضداد أيضًا لا يمكن أن تنتمي في نفس الوقت إلى نفس الشيء" (الكتاب الرابع، الفصل 6، ص.&nbsp;531). ثم يقترح أنه "لا يمكن أن يكون هناك وسيط بين المتناقضات، ولكن يجب علينا إما تأكيد أو نفي أي مسند واحد على موضوع واحد" (الكتاب الرابع، الفصل 7، ص.&nbsp;531). في سياق منطق أرسطو التقليدي ، يعد هذا بيانًا دقيقًا بشكل ملحوظ لقانون الوسط المستبعد، ''P'' ∨ ~ ''P'' .

أيضًا في ''"العبارة"'' ، يبدو أن أرسطو ينكر قانون الثالث المرفوع في حالة الوحدات المستقبلية ، في مناقشته حول المعركة البحرية.

=== لايبنتز ===
{{اقتباس|شكلها المعتاد، "كل حكم إما أن يكون صحيحًا أو كاذبًا" [الحاشية 9] ..." (من كولموجوروف في فان هيجينورت، ص. 421) الحاشية 9: "هذه هي صياغة [[غوتفريد لايبنتس|لايبنيز]] البسيطة جدًا " (المرجع نفسه ص 421)}}

== المصادر ==
{{مراجع}}
{{شريط بوابات|رياضيات|علوم|فلسفة|منطق}}

{{ضبط استنادي}}

{{بذرة فلسفة}}

[[تصنيف:مبرهنات في منطق القضايا]]
[[تصنيف:منطق]]
[[تصنيف:فلسفة]]
[[تصنيف:رياضيات]]
[[تصنيف:استنتاج]]
[[تصنيف:تاريخ الأفكار]]
[[تصنيف:تاريخ التعليم]]
[[تصنيف:تاريخ الفلسفة]]
[[تصنيف:تاريخ المنطق]]
[[تصنيف:حقيقة]]
[[تصنيف:مبادئ]]
[[تصنيف:مفاهيم]]
[[تصنيف:مفاهيم فلسفية]]
[[تصنيف:مفاهيم في المنطق]]
[[تصنيف:منطق فلسفي]]
[[تصنيف:غوتفريد لايبنتس]]
[[تصنيف:أرسطو]]
مبدأ الثالث المرفوع أو قانون الوسط المستبعد  أو  وهو مبدأ منطقي ينص على أن كل قضية إما هي أو نقيضتها صحيحة، ولا توسط بينهما. فمثلا: «سقراط حي» أو «سقراط ميت» هما قضيتان متناقضتان، إذا صحت الأولى كذبت الثانية والعكس بالعكس، ولا ثالث بينهما. فالقضية إما أن تكون صادقةً أو كاذبة، وليس هنالك حلٌّ ثالث.الثالث المرفوع - المعجم الفلسفي، د. جميل صليبا، 1982 م  كما إنه أحد قوانين الفكر الثلاثة مع كل من مبدأ الهوية ومبدأ عدم التناقض.

ولا ينبغي الخلط بين هذا المبدأ ومبدأ الثنائية القيمية، الذي ينص على أن كل قضية إما أن تكون صحيحة أو خاطئة. حيث إن مبدأ الثنائية القيمية يتضمن دائما مبدأ الثالث المرفوع، في حين أن العكس ليس صحيحا دائما.Tomassi, Paul (1999). Logic. Routledge. p. 124. 

 تاريخ 

 أرسطو 
أقرب صياغة معروفة كانت في مناقشة أرسطو لمبدأ عدم التناقض ، الذي تم اقتراحه لأول مرة في العبارة، P. T. Geach, The Law of Excluded Middle in Logic Matters, p. 74 حيث يقول أنه من بين افتراضين متناقضين (أي عندما يكون أحد الاقتراحين هو نقيض الآخر) يجب أن يكون أحدهما صحيحًا، والآخر كاذب.On Interpretation, c. 9 ويصرح به أيضًا كمبدأ في كتاب الميتافيزيقا 3، قائلاً إنه لا بد في كل حال من إثبات أو نفي، Metaphysics B 2, 996b 26–30 وأنه من غير الممكن أن يكون بين طرفي التناقض شيء.Metaphysics Γ 7, 1011b 26–27

كتب أرسطو أن الغموض يمكن أن ينشأ من استخدام الأسماء الغامضة، ولكن لا يمكن أن يوجد في الحقائق نفسها:
إن تأكيد أرسطو على أنه "لن يكون من الممكن أن يكون أو لا يكون نفس الشيء" سيتم كتابته في المنطق الافتراضي كـ ~( P ∧ ~ P ). وفي ما يسمى بالمنطق الكلاسيكي الحديث، فإن هذه العبارة تعادل قانون الوسط المستبعد ( P ∨ ~ P )، من خلال توزيع النفي في تأكيد أرسطو. فالأول يدعي أنه لا توجد عبارة صحيحة أو خاطئة في نفس الوقت ، في حين أن الثانية تتطلب أن تكون أي عبارة صحيحة أو خاطئة.

لكن أرسطو يكتب أيضًا: "بما أنه من المستحيل أن تكون المتناقضات صحيحة في نفس الوقت لنفس الشيء، فمن الواضح أن الأضداد أيضًا لا يمكن أن تنتمي في نفس الوقت إلى نفس الشيء" (الكتاب الرابع، الفصل 6، ص. 531). ثم يقترح أنه "لا يمكن أن يكون هناك وسيط بين المتناقضات، ولكن يجب علينا إما تأكيد أو نفي أي مسند واحد على موضوع واحد" (الكتاب الرابع، الفصل 7، ص. 531). في سياق منطق أرسطو التقليدي ، يعد هذا بيانًا دقيقًا بشكل ملحوظ لقانون الوسط المستبعد، P ∨ ~ P .

أيضًا في "العبارة" ، يبدو أن أرسطو ينكر قانون الثالث المرفوع في حالة الوحدات المستقبلية ، في مناقشته حول المعركة البحرية.

 لايبنتز 

 المصادر 

تصنيف:مبرهنات في منطق القضايا
تصنيف:منطق
تصنيف:فلسفة
تصنيف:رياضيات
تصنيف:استنتاج
تصنيف:تاريخ الأفكار
تصنيف:تاريخ التعليم
تصنيف:تاريخ الفلسفة
تصنيف:تاريخ المنطق
تصنيف:حقيقة
تصنيف:مبادئ
تصنيف:مفاهيم
تصنيف:مفاهيم فلسفية
تصنيف:مفاهيم في المنطق
تصنيف:منطق فلسفي
تصنيف:غوتفريد لايبنتس
تصنيف:أرسطو