مودون بونون: شرح وأمثلة

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

يمكن اعتبار الوسيطة modus ponendo ponens بمثابة مخطط منطقي ثنائي الأرجل ، والذي يستخدم بدلاً من استخدام مصطلح ثالث ليكون بمثابة رابط ، بدلاً من ذلك يستخدم جملة شرطية تتعلق بالعنصر السابق مع العنصر الناتج.

إذا تركنا التقاليد التقليدية ، يمكننا أن نرى أن طريقة وضع ponens كإجراء ( طريقة ) لقواعد الاستنتاج ، والتي من خلال تأكيد ( وضع ) سابقة أو مرجع (عنصر سابق) ، تمكنت من تأكيد ( ponens ) نتيجة لذلك أو الاستنتاج (عنصر لاحق).

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

بداية

هذا الأسلوب الإيجابي ، كجزء من تطبيق المنطق الاستنتاجي ، له أصوله في العصور القديمة. ظهرت على يد الفيلسوف اليوناني أرسطو استاجيرا ، القرن الرابع قبل الميلاد. C.

اقترح أرسطو مع ponens طريقة - كما يطلق عليه - للحصول على استنتاج مسبب من خلال التحقق من كل من سابقة ونتيجة في فرضية. في هذه العملية ، يتم التخلص من السوابق ، ولم يتبق سوى النتيجة.

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

بسط و علل

جذور ponendo ponens له جذوره في اللاتينية. في اللغة الإسبانية ، يكون معناها: "طريقة تؤكد (تؤكد) ، تؤكد (تؤكد)" ، لأنها ، كما ذكر أعلاه ، تتكون من عنصرين (سابقة وتبعًا) إيجابي في هيكلها.

تفسير

بعبارات عامة ، ترتبط صيغة ponendo ponens باقتراحين : شرط سابق يسمى بـ "P" ومشروط مشروط يتلقى اسم "Q".

من المهم أن الفرضية 1 تقدم دائمًا نموذج التكييف "if-then" ؛ يذهب "إذا" قبل السابق ، و "ثم" يذهب قبل النتيجة.

صياغتها هي التالية:

الفرضية 1: إذا كانت "P" ثم "Q".

الفرضية 2: "P".

الخلاصة: "س".

أمثلة

المثال الأول

الفرضية 1: "إذا كنت ترغب في اجتياز الاختبار غدًا ، فيجب عليك أن تدرس كثيرًا."

الفرضية 2: "أنت تريد اجتياز الاختبار غدًا".

ختاما: "لذلك ، يجب أن تدرس كثيرا."

المثال الثاني

الفرضية 1: "إذا كنت ترغب في الذهاب إلى المدرسة بسرعة ، فعليك أن تأخذ هذا المسار".

الفرضية 2: "أنت تريد أن تذهب إلى المدرسة بسرعة".

ختاما: "لذلك ، يجب أن تأخذ هذا المسار."

المثال الثالث

الفرضية 1: "إذا كنت تريد أن تأكل السمك ، فيجب أن تشتري في السوق".

الفرضية 2: "أنت تريد أن تأكل السمك".

ختاما: "لذلك ، يجب أن تذهب لشراء في السوق"

المتغيرات والأمثلة

قد يقدم ponens modus modus أشكالًا صغيرة في صيغته. بعد ذلك ، سيتم تقديم المتغيرات الأربعة الأكثر شيوعًا مع أمثلة كل منها.

البديل 1

الفرضية 1: إذا كانت "P" ثم "Q"

الفرضية 2: "P"

الخلاصة: "Q"

في هذه الحالة ، يشبه الرمز "" إنكار "Q"

المثال الأول

الفرضية 1: "إذا واصلت تناول الطعام بهذه الطريقة ، فلن تحقق وزنك المثالي".

الفرضية 2: "أنت لا تزال تأكل هكذا".

الخلاصة: "لذلك ، لن تحقق وزنك المثالي."

المثال الثاني

الفرضية 1: "إذا واصلت تناول الكثير من الملح ، فلن تكون قادرًا على التحكم في ارتفاع ضغط الدم."

الفرضية 2: "أنت لا تزال تأكل الكثير من الملح."

الاستنتاج: "لذلك ، لن تكون قادرًا على التحكم في ارتفاع ضغط الدم."

المثال الثالث

الفرضية 1: "إذا كنت تشاهد الطريق ، فلن تضيع".

الفرضية 2: "أنت تشاهد الطريق".

الخلاصة: "لذلك ، لن تخسر".

البديل 2

الفرضية 1: إذا كان "P" ^ "R" ثم "Q"

الفرضية 2: "P" ^

الخلاصة: "س"

في هذه الحالة ، يشير الرمز "^" إلى الاقتران copulative "و" ، بينما يأتي "R" لتمثيل سابقة سابقة تتم إضافتها للتحقق من صحة "Q". وهذا هو ، نحن في وجود حالة مزدوجة.

المثال الأول

الفرضية 1: "إذا عدت إلى المنزل وأحضرت الفشار ، فسنرى فيلمًا."

الفرضية 2: "لقد عدت إلى المنزل وأحضرت الفشار".

الخلاصة: "لذلك ، سنرى فيلمًا".

المثال الثاني

الفرضية 1: "إذا كنت تقود السيارة في حالة سكر ورأيت الهاتف الخلوي ، فسوف تتعطل".

الفرضية 2: "أنت تقود مخمورًا وترى الهاتف الخلوي".

الخلاصة: "لذلك ، سوف تعطل".

المثال الثالث

الفرضية 1: "إذا كنت تشرب القهوة وتناول الشوكولاته ، فأنت تهتم بقلبك".

الفرضية 2: "شرب القهوة وأكل الشوكولاته".

الخلاصة: "لذلك ، أنت تعتني بقلبك".

البديل 3

الفرضية 1: إذا كانت "P" ثم "Q"

الفرضية 2: "P"

الخلاصة: "س"

في هذه الحالة ، يشبه الرمز "the" نفي "P".

المثال الأول

الفرضية 1: "إذا لم تدرس دقة حرف العلة ، فسوف تفشل في امتحان اللغويات".

الفرضية 2: "أنت لم تدرس دقة حرف العلة".

الخلاصة: "لذلك ، سوف تفشل في امتحان اللغويات".

المثال الثاني

الفرضية 1: "إذا لم تعطِ الببغاء للطعام ، فسوف يموت".

الفرضية 2: "أنت لا تعطي الطعام لببغاء".

الخلاصة: "لذلك ، سوف يموت".

المثال الثالث

الفرضية 1: "إذا كنت لا تشرب الماء ، فستصاب بالجفاف".

الفرضية 2: "لا تشرب الماء".

الخلاصة: "لذلك ، سوف تصبح المجففة".

البديل 4

الفرضية 1: إذا كانت "P" ثم "Q" ^ "R"

الفرضية 2: "P"

الخلاصة: "Q" ^ "R"

في هذه الحالة ، يشير الرمز "^" إلى الاقتران copulative "و" ، بينما يمثل "R" نتيجة ثانية في الاقتراح ؛ لذلك ، سيتم تأكيد السوابق السابقة اثنين في نفس الوقت.

المثال الأول

الفرضية 1: "إذا كنت جيدًا مع والدتك ، فإن والدك سيحضر لك غيتارًا وخيوطه".

الفرضية 2: "لقد كنت جيدًا مع والدتك".

الخلاصة: "لذلك ، سوف يجلب لك والدك الغيتار وسلاسلها".

المثال الثاني

الفرضية 1: "إذا كنت تمارس السباحة ، فسوف تقوم بتحسين قدرتك البدنية على التحمل وفقدان الوزن."

الفرضية 2: "أنت تمارس السباحة."

الخلاصة: "لذلك ، سوف تقوم بتحسين التحمل البدني وفقدان الوزن."

المثال الثالث

الفرضية 1: "إذا كنت قد قرأت هذا المقال في Lifeder ، فعندئذ تكون قد تعلمت وأنت أكثر استعدادًا".

الفرضية 2: "لقد قرأت هذا المقال في Lifeder."

الخلاصة: "لذلك ، لقد تعلمت وأنت أكثر استعدادًا".

مودوس بونينز ، طريق إلى المنطق

يمثل أسلوب ponens القاعدة الأولى للمنطق الإفتراضي. إنه مفهوم ، بدءًا من المباني البسيطة إلى الفهم ، يفتح الفهم المنطقي الأعمق.

على الرغم من كونه أحد أكثر الموارد استخدامًا في عالم المنطق ، فإنه لا يمكن الخلط بينه وبين القانون المنطقي ؛ إنها ببساطة طريقة لإعداد أدلة استنتاجية.

عند كبح جملة من الاستنتاجات ، تتجنب ponens طريقة تراص العناصر وتسلسلها عند إجراء الاستقطاعات. لهذه الجودة تسمى أيضًا "قاعدة الفصل".

تعد modon ponendo مورداً لا غنى عنه للتعرف الكامل على المنطق الأرسطي.