مودوس بونيندو بونينز شرح وأمثلة

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

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

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

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

مؤشر

• 1 أصول
  • 1.1 أصل الكلمة
• 2 الشرح
• 3 أمثلة
  • 3.1 المثال الأول
  • 3.2 المثال الثاني
  • 3.3 المثال الثالث
• 4 المتغيرات والأمثلة
  • 4.1 البديل 1
  • 4.2 البديل 2
  • 4.3 البديل 3
  • 4.4 البديل 4
• 5 modus ponens ، طريق إلى المنطق
• 6 المراجع

بداية

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

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

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

بسط و علل

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

تفسير

بعبارات عامة ، فإن طريقة وضع بونيندو يربط بين اقتراحين: شرط سابق يسمى بـ "P" ونتيجة مشروطة تتلقى اسم "Q".

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

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

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

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

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

أمثلة

المثال الأول

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

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

قاطع: "لذلك ، يجب أن تدرس الكثير".

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

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

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

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

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

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

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

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

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

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

البديل 1

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

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

الخلاصة: "¬Q"

في هذه الحالة ، يشبه الرمز "the" إنكار "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"

الخلاصة: "س"

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

المثال الأول

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

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

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

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

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

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

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

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

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

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

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

البديل 4

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

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

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

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

المثال الأول

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ال طريقة وضع بونيندو إنه مورد لا غنى عنه للمعرفة الكاملة للمنطق الأرسطية.

مراجع

1. Ferrater Mora، J. (1969). معجم الفلسفة. بوينس آيرس: هيسبانيوتيكا. تم الاسترجاع من: hispanoteca.eu.
2. وضع وضع ponens. (S. و.). إسبانيا: Webnode. تم الاسترجاع من: ley-de-inferencia5.webnode.es.
3. وضع وضع ponens. (S. و.). (ن / أ): ويكيبيديا. تم الاسترجاع من: wikipedia.org.
4. قواعد الاستدلال والتكافؤ. (S. و.). المكسيك: UPAV. تم الاسترجاع من: universidadupav.edu.mx.
5. مازون ، ر. (2015). وضع ponens. المكسيك: سوبر ميليتو. تعافى من: supermileto.blogspot.com.