منطق
دراسة مناهج الفكر وطرق الاستدلال السليم / من ويكيبيديا، الموسوعة encyclopedia
عزيزي Wikiwand AI, دعنا نجعلها قصيرة من خلال الإجابة ببساطة على هذه الأسئلة الرئيسية:
هل يمكنك سرد أهم الحقائق والإحصائيات حول المنطق?
تلخيص هذه المقالة لعمر 10 سنوات
المنطق يعني دراسة التفكير الصحيح. ويضم كلًا من المنطق الصوري وغير الصوري. المنطق الصوري هو دراسة الاستدلالات الصحيحة استنتاجيًا أو الحقائق المنطقية. يدرس كيف تظهر الاستنتاجات من المقدمات بسبب بنية الحجج وحدها، بصرف النظر عن موضوعها أو محتواها. يرتبط المنطق غير الصوري بالمغالطات غير الصورية والتفكير النقدي ونظرية الحجج. يتقصى الحجج المُعبَر عنها باللغة الطبيعية بينما يستخدم المنطق الصوري اللغة الصورية. عندما يُستخدم اسمًا معدودًا، يُشير مصطلح «منطق» إلى نظام منطقي شكلي يبيّن نظام إثبات. يلعب المنطق دورًا محوريًا في مجالات عديدة، كالفلسفة والرياضيات وعلوم الحاسوب واللسانيات.
جزء من | |
---|---|
تسبب في | |
يدرس | |
يمارسها | |
لديه جزء أو أجزاء |
يدرس المنطق الحجج، والتي تتألف من مجموعة من المقدمات رفقة استنتاج. من الأمثلة على ذلك الحجة النابعة من المقدمتين «اليوم الأحد»، و «إذا كان اليوم الأحد فلستُ مضطرًا إلى العمل» إلى الاستنتاج «لست مضطرًا إلى العمل». تعبر المقدمات والاستنتاجات عن قضايا أو مزاعم يمكن أن تكون صحيحة أو خاطئة. من المزايا المهمة للقضايا بنيتها الداخلية. على سبيل المثال: إن القضايا المعقدة مصنوعة من قضايا أبسط مرتبطة بروابط منطقية مثل ∧ (و) أو → (إذا... فإن). للقضايا البسيطة أجزاء أيضًا، مثل «الأحد» أو «العمل» في المثال. عادة ما تعتمد صحة القضية على معاني جميع أجزائها. تكون صحيحة فقط بسبب بنيتها المنطقية بغض النظر عن المعاني المحددة للأجزاء المنفردة.
لا يمكن للحجج إلا أن تكون صحيحة أو خاطئة. تكون الحجة صحيحة إذا كانت مقدماتها تدعم استنتاجها. تتمتع الحجة الاستنباطية بأقوى أشكال الدعم: إذا كانت المقدمات صحيحة إذن فلا بدّ أن يكون الاستنتاج صحيحًا. ولا ينطبق ذلك على الحجة الإيضاحية، والتي تتوصل إلى معلومات جديدة حقًا لا توجد في المقدمات. العديد من الحجج في المداولات اليومية وفي العلوم حجج إيضاحية. تنقسم إلى حجج استقرائية وحجج قياسية. الحجج الاستقرائية تعميمات إحصائية، مثل استنتاج أن جميع الغربان سوداء بناء على العديد من المشاهدات الفردية لغربان سوداء. الحجج القياسية استدلالات إلى التفسير الأفضل، على سبيل المثال، عندما يستخلص طبيب أن مريضًا مصاب بمرض معين يفسّر الأعراض التي يعانيها. غالبًا ما تجسد الحجج التي تقصر عن معايير التفكير الصحيح المغالطات. أنظمة المنطق أُطُر نظرية لتقدير صحة الحجج.
إن المنطق موضع دراسة منذ العصور القديمة. تتضمن النهوج القديمة المنطق الأرسطي والمنطق الرواقي ونيايا والموهية. يركز المنطق الأرسطي على التفكير في هيئة قياسات. كان يُعد النظام الأساسي للمنطق في العالم الغربي إلى أن حل المنطق الصوري الحديث محله، والذي ترجع جذوره إلى علماء الرياضيات في نهاية القرن التاسع عشر مثل غوتلوب فريغه. أما اليوم، فأكثر الأنظمة استخدامًا هو المنطق الكلاسيكي. يتألف من منطق القضايا ومنطق الرتبة الأولى. منطق القضايا يأخذ بالاعتبار الروابط المنطقية بين القضايا الكاملة فقط. أما منطق الرتبة الأولى فيأخذ أيضًا الأجزاء الداخلية للقضايا بالحسبان، مثل المحمولات والمكممات. يقبل المنطق الموسع الغرائز الأساسية خلف المنطق الكلاسيكي ويوسعها إلى ميادين أخرى، كالميتافيزيقا والأخلاقيات ونظرية المعرفة. أما المنطق المنحرف من ناحية أخرى، فيرفض بعض الغرائز الكلاسيكية ويقدم تفسيرات بديلة لقوانين المنطق الأساسية.