عرض مصدر منطق

{{عن|3=منطق (توضيح)}}
{{بطاقة عامة}}
{{شريط جانبي فلسفة}}
{{شريط جانبي المغالطات المنطقية}}

'''المنطق''' (من [[اليونانية القديمة]]: λογική، بالحروف [[اللاتينية]]: logikḗ) هو الدراسة المنهجية لشكل ال[[استدلال]] الصحيح، وقوانين المعرفة الحقيقية الأكثر شيوعًا، الاستنتاج الصحيح هو الذي يُوجِد علاقات محددة للدعم المنطقي بين افتراضات الاستدلال ونتائجه.

لا يوجد اتفاق عالمي على النطاق الدقيق لمفهوم المنطق، لكنه بشكل تقليدي يشتمل على تصنيف الحجج والكشف المنهجي لـ«الشكل المنطقي» المشترك بين جميع الحجج الصحيحة ودراسة البرهان والاستدلال، بما في ذلك المفارقات والمغالطات، ودراسة بناء الجملة والدلالات، كما يُعرَّف المنطق أيضاً بأنه
«آلةُ قانونيةُ تعصم مراعاتُها الذهنَ عن الخطأِ في الفكر».<ref>{{استشهاد بكتاب|عنوان=دستور العلماء (جامع العلوم في اصطلاحات الفنون) 1-4 ج3|مسار= https://web.archive.org/web/20200502100511if_/https://books.google.com.sa/books?id=nSx0DwAAQBAJ&pg=PT231&lpg=PT231&dq=#v=onepage&q&f=false|تاريخ=2000-01-01|لغة=ar|مؤلف1=عبد النبي بن عبد الرسول الأحمد|مسار أرشيف=|تاريخ أرشيف=}}</ref>
في المقام الأول يُدْرَس في تخصصات [[فلسفة|الفلسفة]] و[[رياضيات|الرياضيات]] و[[علم الدلالة]] و[[علم الحاسوب]]. ويعتبر [[أرسطو]] أول من كتب عن المنطق بوصفه علمًا قائمًا بذاته، وسميت مجموعة بحوثه المنطقية [[أورغانون]]، فكان القياس في نظر أرسطو هو صورة الاستدلال، ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق علمًا مختلفًا نوعا ما عن منطق أرسطو، فظهر منطق الاستقراء الذي كان رائده [[فرانسيس بيكون]] واستكمله بعد ذلك [[جون ستيوارت مل|جون ستيوارت ميل]]. هناك أيضًا جانب المنطق الرياضي الذي ابتدأه [[غوتفريد لايبنتس|لايبنتس]] وعدّله [[بيرتراند راسل|برتراند راسل]] الذي ربط ال[[رياضيات]] بالمنطق وجعلها امتدادًا له.

تاريخيًا، تمت دراسة المنطق في ال[[فلسفة]] (منذ العصور القديمة) وال[[رياضيات]] (منذ منتصف [[القرن 19|القرن التاسع عشر]])، ودُرس المنطق في الآونة الأخيرة في [[علم الحاسوب|علوم الحاسوب]] وال[[لسانيات|لغويات]] و[[علم النفس]]، وغيرها من المجالات.