Source: Wikipedia
Book: Logic
Domain: Arts & Humanities
Readability level: 17-fa

المنطق (من اليونانية القديمة: λογική، بالحروف اللاتينية: logikḗ) هو الدراسة المنهجية لشكل الاستدلال الصحيح، وقوانين المعرفة الحقيقية الأكثر شيوعًا، 
الاستنتاج الصحيح هو الذي يُوجِد علاقات محددة للدعم المنطقي بين افتراضات الاستدلال ونتائجه.
لا يوجد اتفاق عالمي على النطاق الدقيق لمفهوم المنطق، لكنه بشكل تقليدي يشتمل على تصنيف الحجج والكشف المنهجي لـ«الشكل المنطقي» المشترك بين جميع الحجج الصحيحة ودراسة البرهان والاستدلال، بما في ذلك المفارقات والمغالطات، ودراسة بناء الجملة والدلالات، 
كما يُعرَّف المنطق أيضاً بأنه «آلةُ قانونيةُ تعصم مراعاتُها الذهنَ عن الخطأِ في الفكر».
في المقام الأول يُدْرَس في تخصصات الفلسفة والرياضيات وعلم الدلالة وعلم الحاسوب.
ويعتبر أرسطو أول من كتب عن المنطق بوصفه علمًا قائمًا بذاته، وسميت مجموعة بحوثه المنطقية أورغانون، 
فكان القياس في نظر أرسطو هو صورة الاستدلال، 
ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق علمًا مختلفًا نوعا ما عن منطق أرسطو، 
فظهر منطق الاستقراء الذي كان رائده فرانسيس بيكون واستكمله بعد ذلك جون ستيوارت ميل.
هناك أيضًا جانب المنطق الرياضي الذي ابتدأه لايبنتس وعدّله برتراند راسل الذي ربط الرياضيات بالمنطق وجعلها امتدادًا له.
تاريخيًا، تمت دراسة المنطق في الفلسفة (منذ العصور القديمة) والرياضيات (منذ منتصف القرن التاسع عشر)، 
ودُرس المنطق في الآونة الأخيرة في علوم الحاسوب واللغويات وعلم النفس، وغيرها من المجالات.
'== المفاهيم الأساسية ==
يُعد المفهومُ الشكلَ المنطقي الأساسي في علم المنطق، ويتم تحديد صحة المفاهيم من خلال شكلها المنطقي، وليس عن طريق محتواها.
ومن الأمثلة المنطقية الرسمية المنطق الأرسطي التقليدي والمنطق الرمزي الحديث.
المنطق غير الصوري (غير الرسمي): هو دراسة الحجج اللغوية الطبيعية.
دراسة المغالطات هي فرع مهم من المنطق غير الرسمي.
نظرًا لأن الكثير من الحجة غير الرسمية ليست استنتاجية بالمعنى الدقيق للكلمة، ففي بعض مفاهيم المنطق، فإن المنطق غير الرسمي ليس منطقًا على الإطلاق.
المنطق الرسمي: هو دراسة الاستدلال مع المحتوى الرسمي البحت.
يتمتع الاستدلال بمحتوى رسمي بحت إذا كان يمكن التعبير عنه كتطبيق معين لقاعدة مجردة بالكامل، أي قاعدة لا تتعلق بأي شيء أو خاصية معينة.
تحتوي أعمال أرسطو على أقرب دراسة رسمية معروفة للمنطق.
المنطق الرسمي الحديث يتبع ويوسع منطق أرسطو.
في العديد من تعريفات المنطق، الاستنتاج المنطقي والاستدلال مع المحتوى الرسمي البحت هو نفس الشيء.
هذا لا يجعل فكرة المنطق غير الرسمي مفرغة، لأنه لا يوجد منطق رسمي يلتقط جميع الفروق الدقيقة في اللغة الطبيعية.
المنطق الرمزي: هو دراسة التجريدات الرمزية التي تجسد السمات الرسمية للاستدلال المنطقي.
غالبًا ما يتم تقسيم المنطق الرمزي إلى فرعين رئيسيين: المنطق الافتراضي والمنطق الأصلي.
المنطق الرياضي: هو امتداد للمنطق الرمزي في مناطق أخرى، خاصةً دراسة نظرية النموذج، نظرية البرهان، نظرية المجموعات ونظرية الحوسبة.
'== تاريخ علم المنطق ==
المنطق يأتي من كلمة logos اليونانية، والتي تعني في الأصل «الكلمة» أو «ما يتم التحدث به»، ولكن تعني «الفكر» أو «العقل».
في العالم الغربي، تم تطوير المنطق لأول مرة بواسطة أرسطو، الذي أطلق عليه اسم «التحليلات».
أصبح المنطق الأرسطي مقبولًا على نطاق واسع في العلوم والرياضيات وظل يستخدم على نطاق واسع في الغرب حتى أوائل القرن التاسع عشر.
نظام أرسطو للمنطق كان مسؤولاً عن إدخال القياس المنطقي الافتراضي، المنطق الشرطي الزمني، والمنطق الاستقرائي، وكذلك المفردات المؤثرة مثل المصطلحات والمتوقعات والمنهجية والاقتراحات.
كان هناك أيضا منطق زينون الرواقي المنافس.
في أوروبا خلال فترة العصور الوسطى المتأخرة، بذلت جهود كبيرة لإظهار أن أفكار أرسطو كانت متوافقة مع الإيمان المسيحي.
خلال العصور الوسطى العليا، أصبح المنطق محورًا رئيسيًا للفلاسفة، الذين كانوا منخرطين في التحليلات المنطقية النقدية للحجج الفلسفية، مستخدمين غالبًا اختلافات في منهجية الدراسة المدرسية.
في عام 1323، تم إطلاق السكولاستية الخاصة بوليم الأوكامي.
بحلول القرن الثامن عشر، تدهورت المقاربة المنظمة للحجج وتراجعت، كما هو موضح في مسرحية لودفيغ هولبرغ الساخرة «إيراسموس مونتانوس».
في الهند، تم تأسيس مدرسة (علم الاستقصاء-Anviksiki) للمنطق (حوالي القرن السادس قبل الميلاد).