الفلسفة — المنطق الصوري: القضايا والاستدلال

المنطق الصوري: القضايا والاستدلال

المنطق الصوري (Formal Logic) هو فرع من الفلسفة يدرس مبادئ الاستدلال الصحيح. يعنى المنطق الصوري بتحليل اشكال القضايا والحجج للتمييز بين الاستدلال الصحيح والخاطئ. يعتبر ارسطو المؤسس الاول للمنطق الصوري.

القضية (Proposition)

القضية هي جملة خبرية تحمل معنى يمكن الحكم عليه بالصدق او الكذب. انواع القضايا:
– القضية الحملیة: تتكون من موضوع ومحمول، مثل “السماء زرقاء”
– القضية الشرطية: تتكون من مقدم وتال، مثل “اذا طلعت الشمس فالنهار موجود”

انواع القضايا الحملية حسب الكم والكيف

• كلية موجبة: كل S هو P (مثال: كل انسان فاني)
• كلية سالبة: كل S ليس P (مثال: كل انسان ليس صخرة)
• جزئية موجبة: بعض S هو P (مثال: بعض الطلاب مجتهدون)
• جزئية سالبة: بعض S ليس P (مثال: بعض الطلاب ليسوا مجتهدين)

القياس المنطقي (Syllogism)

القياس المنطقي هو حجة تتكون من ثلاث قضايا: مقدمتان ونتیجة. شرط صحة القياس هو ان تنتج النتیجة بالضرورة عن المقدمتین. مثال:
المقدمة الاولى: كل انسان فاني
المقدمة الثانية: سقراط انسان
النتيجة: اذا سقراط فاني

قواعد صحة القياس

يجب ان يحتوي القياس على ثلاثة حدود فقط (الحد الاكبر والحد الاصغر والحد الاوسط). يجب ان لا يكون الحد الاوسط موجودا في النتيجة. اذا كانت احدى المقدمتين سالبة، فالنتيجة سالبة.

لمزيد من المعلومات، راجع درس التكامل في الرياضيات ودرس الفلسفة في التعليم الثانوي.