علم المنطق

مقدمة في علم المنطق

علم المنطق (Logic) هو العلم الذي يدرس مبادئ التفكير الصحيح والاستدلال السليم. يُعتبر المنطق أداة أساسية للفلسفة والرياضيات وعلوم الحاسوب والذكاء الاصطناعي. وضع أرسطو أسس المنطق الكلاسيكي في كتابه «الأورغانون»، ثم تطور عبر العصور مع فلاسفة مسلمين مثل الفارابي وابن سينا وابن رشد، وصولاً إلى المنطق الرمزي الحديث مع فلاسفة مثل جوتلوب فريجه وبرتراند راسل.

أنواع المنطق

المنطق الكلاسيكي (الأرسطي): يعتمد على القضايا الحملية (Subject-Predicate) والقياس المنطقي (Syllogism). مثال: كل البشر فانون. سقراط بشر. إذن سقراط فانٍ.

المنطق الرمزي (Symbolic Logic): يستخدم الرموز الرياضية لتمثيل القضايا والروابط المنطقية، مما يسمح بمعالجة أدق وأكثر تعقيداً. يستخدم رموزاً مثل ∧ (و)، ∨ (أو)، ¬ (نفي)، → (استلزام)، ↔ (تكافؤ).

القضايا والروابط المنطقية

القضية (Proposition) هي جملة خبرية تحتمل الصدق أو الكذب. الروابط المنطقية تسمح بتركيب قضايا أكثر تعقيداً:
• النفي (¬p): ينفي صحة القضية p. إذا كان p صادقاً، فإن ¬p كاذب والعكس.
• العطف (p ∧ q): صادق فقط عندما تكون كل من p و q صادقتين.
• الفصل (p ∨ q): صادق عندما تكون واحدة على الأقل من p أو q صادقة.
• الاستلزام (p → q): كاذب فقط عندما يكون p صادقاً و q كاذباً.

مثال: جدول الصدق للعطف

p | q | p ∧ q
T | T | T
T | F | F
F | T | F
F | F | F

الاستدلال الاستنباطي والاستقرائي

الاستنباط (Deduction): ينتقل من العام إلى الخاص، حيث تكون النتيجة لازمة عن المقدمات. إذا كانت المقدمات صادقة والاستدلال صحيحاً، فالنتيجة صادقة حتماً.

الاستقراء (Induction): ينتقل من الخاص إلى العام، حيث تستند النتيجة إلى أدلة تجريبية جزئية. النتيجة في الاستقراء محتملة وليست يقينية.

للاستزادة، راجعوا درس المنطق الرمزي: القضايا والروابط المنطقية ودرس النظريات الاجتماعية الكبرى: دوركايم وماركس وويبر.

📍 دروس مشابهة:

• علوم الطبيعة والحياة — دورة الماء — السنة الثانية إبتدائي — المنهاج الجزائري
• الرياضيات — الهندسة: الأسطوانة القائمة — M1-متوسط-علوم — الدرس 037
• توزيع الثلاثي الثاني للثالثة متوسط – رياضيات – — تحديث 2026