المنطق
عودة للموسوعة| جزء من سلسلة منطقات حول |
| الفلسفة |
|---|
|
| فلاسفة |
|
| الفلسفات التقليدية |
|
| بحسب الحقبة الزمنية |
|
| أدب |
|
| فروع |
|
| قوائم |
|
| متنوع |
|
|
بوابة فلسفة |
| جزء من سلسلة منطقات حول |
| المغالطات المنطقية |
|---|
|
عام
|
|
مغالطات صوريَّة
|
|
مغالطات غير صوريَّة
|
|
مغالطات الارتباط
|
|
بوابة منطق |
المنطق (من اليونانية القديمة: λογική، بالحروف اللاتينية: logikḗ) هوالدراسة المنهجية لشكل الاستدلال السليم، وقوانين الفهم الحقيقية الأكثر شيوعاً، الاستنتاج السليم هوالذي يوجد علاقات محددة للدعم المنطقي بين افتراضات الاستدلال ونتائجه.
لا يوجد اتفاق عالمي على النطاق الدقيق لمفهوم المنطق لكنه بشكل تقليدي يشتمل على تصنيف الحجج والكشف المنهجي لـ"الشكل المنطقي" المشهجر بين جميع الحجج السليمة، دراسة البرهان والاستدلال بما في ذلك المفارقات والمغالطات، ودراسة بناء الجملة والدلالات، كما يُعرَّف المنطق أيضاً بأنه «آلةُ قانونيةُ تعصم مراعاتُها الذهنَ عن الخطأِ في الفكر». في المقام الأول يفهم في تخصصات الفلسفة والرياضيات وفهم الدلالة وفهم الحاسوب. ويعتبر أرسطوأول من خط عن المنطق بوصفه فهماً قائماً بذاته، وسميت مجموعة بحوثه المنطقية اورغانون، فكان القياس في نظر أرسطوهوصورة الاستدلال، ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق فهماً مختلفاً نوعا ما عن منطق أرسطوفظهر منطق الاستقراء الذي كان رائده فرانسيس بيكون واستكمله بعد ذلك جون ستيوارت ميل. هناك أيضاً جانب المنطق الرياضي الذي ابتدأه لايبنتس وعدّله برتراند راسل الذي ربط الرياضيات بالمنطق وجعلها امتداد له.
تاريخيا، تمت دراسة المنطق في الفلسفة (منذ العصور القديمة) والرياضيات (منذ منتصف القرن التاسع عشر)، ودرس المنطق في الآونة الأخيرة في علوم الحاسوب واللغويات وفهم النفس، وغيرها من المجالات.
المفاهيم الأساسية
مفهوم الشكل المنطقي أساسي في المنطق. يتم تحديد صحة وسيطة من خلال شكلها المنطقي، وليس عن طريق محتواها. ومن الأمثلة المنطقية الرسمية المنطق الأرسطي التقليدي والمنطق الرمزي الحديث.
- المنطق غير الصوري (غير الرسمي): هودراسة الحجج اللغوية الطبيعية. دراسة المغالطات هي فرع مهم من المنطق غير الرسمي. نظرًا لأن الكثير من الحجة غير الرسمية ليست استنتاجية بالمعنى الدقيق للحدثة، ففي بعض مفاهيم المنطق، فإن المنطق غير الرسمي ليس منطقًا على الإطلاق.
- المنطق الرسمي: هودراسة الاستدلال مع المحتوى الرسمي البحت. يتمتع الاستدلال بمحتوى رسمي بحت إذا كان يمكن التعبير عنه كتطبيق معين لقاعدة مجردة بالكامل، أي قاعدة لا تتعلق بأي شيء أوخاصية معينة. تحتوي أعمال أرسطوعلى أقرب دراسة رسمية معروفة للمنطق. المنطق الرسمي الحديث يتبع ويوسع منطق أرسطو. في الكثير من تعريفات المنطق، الاستنتاج المنطقي والاستدلال مع المحتوى الرسمي البحت هونفس الشيء. هذا لا يجعل فكرة المنطق غير الرسمي مفرغة، لأنه لا يوجد منطق رسمي يلتقط جميع الفروق الدقيقة في اللغة الطبيعية.
- المنطق الرمزي: هودراسة التجريدات الرمزية التي تجسد السمات الرسمية للاستدلال المنطقي. غالبًا ما يتم تقسيم المنطق الرمزي إلى فرعين رئيسيين: المنطق الافتراضي والمنطق الأصلي.
- المنطق الرياضي: هوامتداد للمنطق الرمزي في مناطق أخرى، خاصةً دراسة نظرية النموذج، نظرية البرهان، نظرية المجموعات ونظرية الحوسبة.
تاريخ فهم المنطق
المنطق يأتي من حدثة logos اليونانية، والتي تعني في الأصل "الحدثة" أو"ما يتم التحدث به"، ولكن تعني "الفكر" أو"العقل". في العالم الغربي، تم تطوير المنطق لأول مرة بواسطة أرسطو، الذي أطلق عليه اسم "التحليلات". أصبح المنطق الأرسطي مقبولًا على نطاق واسع في العلوم والرياضيات وظل يستخدم على نطاق واسع في الغرب حتى أوائل القرن التاسع عشر. نظام أرسطوللمنطق كان مسؤولاً عن إدخال القياس المنطقي الافتراضي، المنطق الشرطي الزمني، والمنطق الاستقرائي، وكذلك المفردات المؤثرة مثل المصطلحات والمتسقطات والمنهجية والاقتراحات. كان هناك أيضا منطق زينون الرواقي المنافس.
في أوروبا خلال فترة العصور الوسطى المتأخرة، بذلت جهود كبيرة لإظهار حتى أفكار أرسطوكانت متوافقة مع الإيمان المسيحي. خلال العصور الوسطى العليا، أصبح المنطق محورًا رئيسيًا للفلاسفة، الذين كانوا منخرطين في التحليلات المنطقية النقدية للحجج الفلسفية، مستخدمين غالبًا اختلافات في منهجية الدراسة المدرسية. في عام 1323، تم إطلاق السكولاستية الخاصة بوليم الأوكامي. بحلول القرن الثامن عشر، تدهورت المقاربة المنظمة للحجج وتراجعت، كما هومشروح في مسرحية لودفيغ هولبرغ الساخرة "إيراسموس مونتانوس".
في الهند، تم تأسيس مدرسة (فهم الاستقصاء-Anviksiki) للمنطق (حوالي القرن السادس قبل الميلاد). استمرت الابتكارات في المدرسة الفلسفية، التي تسمى نيايا، منذ العصور القديمة وحتى أوائل القرن الثامن عشر مع مدرسة نافيا نايا. بحلول القرن السادس عشر، طورت نظريات تشبه المنطق الحديث، مثل التمييز بين جوتلوب فريج وبين الإحساس بالأسماء السليمة ومرجعيته "وتعريف الرقم"، وكذلك نظرية "الشروط التقييدية للعالميين" التي تتسقط بعضًا من التطورات في نظرية المجموعة الحديثة. منذ عام 1824، جذب المنطق الهندي انتباه الكثير من الفهماء الغربيين، وكان له تأثير على فهماء المنطق المهمين في القرن التاسع عشر مثل تشارلز باباج وأوغست دومورغان وجورج بول. في القرن العشرين، اكتشف الفلاسفة الغربيون مثل ستانيسلاف شاير وكلاوس غلاشوف المنطق الهندي على نطاق أوسع.
ساد المنطق الذي طوره أرسطوفي الغرب حتى منتصف القرن التاسع عشر، عندما حفز الاهتمام بأساسيات الرياضيات على تطوير المنطق الرمزي (الذي يسمى الآن المنطق الرياضي). في عام 1854، نشر جورج بول كتاباً بعنوان "التحقيق في قوانين الفكر" التي تأسست عليها النظريات الرياضية للمنطق والاحتمالات، مقدمًا المنطق الرمزي ومبادئ ما يعهد الآن بالمنطق الرياضي. في عام 1879، نشر جوتلوب فريجه "Begriffsschrift"، الذي افتتح المنطق الحديث مع اختراع التدوين الرقمي الكمي، والتوفيق بين منطق أرسطووالرواقية في نظام أوسع، وحلت مثل هذه المشاكل التي كان منطق أرسطوفيها عاجزًا، مثل معضلة العمومية المتعددة. من عام 1910 إلى عام 1913، نشر ألفريد نورث وايتهيد وبرتراند راسل مبادئ الرياضيات، في محاولة لاستخلاص الحقائق الرياضية من البديهيات وقواعد الاستدلال في المنطق الرمزي. في عام 1931، أثار كورت غودل مشاكل خطيرة (مبرهنات عدم الاكتمال) مع البرنامج التأسيسي وتوقف المنطق في الهجريز على مثل هذه القضايا.
كان لتطور المنطق منذ جوتلوب فريجه ورسل ولودفيغ فيتغنشتاين تأثير عميق على ممارسة الفلسفة والطبيعة المدركة للمشاكل الفلسفية وفلسفة الرياضيات. يتم تطبيق المنطق، وخاصة المنطق الحسي، في دوائر منطق الحاسوب وهوأساسي لعلوم الحاسوب. عادة ما يتم تدريس المنطق من قبل الجامعة في تخصصات الفلسفة، وفهم الاجتماع، وقسم الإعلان والأدب، وغالبًا ماقد يكون تخصصًا إلزاميًا لجميع الطلاب.
انظر أيضًا
- منطق رياضي
- منطق أرسطو
المراجع
- ^ عبد النبي بن عبد الرسول الأحمد (2000-01-01). . Dar Al Kotob Al Ilmiyah دار الخط الفهمية. مؤرشف من "آلةُ+قانونيةُ+تعصم+مراعاتُها+الذهنَ+عن+الخطأِ+في+الفكر"&source=bl&ots=jYQ1KdkRMB&sig=ACfU3U2dQuaYHOZe1pVvyFYpASp2q_vN1g&hl=en&sa=X&ved=2ahUKEwjgzuzfw4fnAhWQ-KQKHUYoCiEQ6AEwA3oECAUQAQ#v=onepage&q="آلةُ%20قانونيةُ%20تعصم%20مراعاتُها%20الذهنَ%20عن%20الخطأِ%20في%20الفكر"&f=false الأصل في 02 مارس 2020.
- ^ Aristotle (2001). "Posterior Analytics". In Mckeon, Richard (ed.). The Basic Works. Modern Library.
- ^ Whitehead, Alfred North; Russell, Bertrand (1967). Principia Mathematica to *56. Cambridge University Press.
- ^ S.C. Vidyabhusana (1971). A History of Indian Logic: Ancient, Mediaeval, and Modern Schools, pp. 17–21.
وصلات خارجية
- Logic and Philosophy of Logic على PhilPapers.
التصنيفات: منطق, إحساس, تجريد, علوم شكلية, فلسفة الرياضيات, صفحات بها وصلات إنترويكي, قالب تصنيف كومنز بوصلة كما في ويكي بيانات, بوابة لسانيات/مقالات متعلقة, بوابة علوم/مقالات متعلقة, بوابة علم الحاسوب/مقالات متعلقة, بوابة فلسفة/مقالات متعلقة, بوابة منطق/مقالات متعلقة, بوابة رياضيات/مقالات متعلقة, بوابة تقنية المعلومات/مقالات متعلقة, جميع المقالات التي تستخدم شريط بوابات, صفحات تستخدم خاصية P227, تحويلات متصلة بعنصر ويكي بيانات
