ما هو منطق الفلسفة

المنطق الفلسفي

• هو عبارة عن مصطلح ألفه الفيلسوف برتراند رسل لتقديم فكرته أن نتاج اللغات الطبيعية والفكر لا يمكنها أن تصور إلا عن طريق الاصطناعية وكان ذلك أساسا لبرنامجه إضفاء الطابع الرسمي على اللغة الطبيعية.ويستخدم هذا المصطلح في العصر الحديث للدلالة على معاني أخرى متعددة.

فلسفة المنطق

• تُعرَف فلسفة المنطق على أنّها دراسة لطبيعة وأنواع المنطق من منظور فلسفيّ، بحيث تشمل المشاكل في علاقة المنطق ومجاله في الرياضيات، وغيرها من التخصّصات، ويأتي مصطلح المنطق (logic) من الكلمة اليونانية (logos)، وهي تعني تنوّع الحواس التي يحكمها المنطق، والتي قد تشير إلى الصعوبات الكامنة في وصف الطبيعة ونطاق المنطق، ومن الترجمات العديدة لمصطلح لوجو (logos): الجملة، والسبب، والخطاب، والنسبة، والحكم، والتقرير، والتعريف، والمبدأ المنطقي، وعلى خلاف هذه المعاني فقد أُشير إلى أنّ موضوع المنطق يقال في قوانين الفكر، وقواعد المنطق الصحيح، ومبادئ الحجج الصحيحة

علم المنطق أرسطو

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

المفاهيم الأساسية

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

تعريف المنطق الصوري

• المنطق الصوري أو المنطق الشكلي هو علم آلي وضع لصيانة الذهن عن الخطأ في الفكر. فهو الميزان والمعيار الأساس لمعرفة التفكير الصحیح.
• المنطق الصوري هو المنطق الأرسطي، وسمي بذلك لأن صحة الاستدلالات أو سقمها من وجهة نظر هذا العلم تُبنَى علی صورة القياس والاستدلال من الأشکال الأربعة المبحوث عنها في المنطق، لا علی مادته من القضايا التي تشکل القیاس المنطقي، غير أن هذا لا يعني عدم اهتمام أرسطو بالإمكان الواقعي لتحقق هذه الاستدلالات وتأكد صحتها واقعًا. يعرّف أرسطو المنطق أنه آلة العلم وأداة البحث والمعرفة الصحيحة.

المنطق في الرياضيات

• المنطق هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح.وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرق التفكير وصيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا.

القضية : جملة تقوم على علاقة بين عدد من الكلمات المفهومة، وتنقسم إلى قسمين :

• القضية الإخبارية: وهي تخبر عن شيء ما وتحتمل الصدق أو الكذب مثل (المثلثات المتطابقة متكافئة)، (كل ما في الكون يجذب بعضه بعضا).
• القضية الإنشائية: وهي التي لا يمكن أن توصف بالصدق أو الكذب مثل لا تمش في الأرض مرحا وهي ليست قضايا منطقية.

تاريخ علم المنطق

• المنطق يأتي من كلمة logos اليونانية، والتي تعني في الأصل “الكلمة” أو “ما يتم التحدث به”، ولكن تعني “الفكر” أو “العقل”. في العالم الغربي، تم تطوير المنطق لأول مرة بواسطة أرسطو، الذي أطلق عليه اسم “التحليلات”. أصبح المنطق الأرسطي مقبولًا على نطاق واسع في العلوم والرياضيات وظل يستخدم على نطاق واسع في الغرب حتى أوائل القرن التاسع عشر. نظام أرسطو للمنطق كان مسؤولاً عن إدخال القياس المنطقي الافتراضي، المنطق الشرطي الزمني، والمنطق الاستقرائي، وكذلك المفردات المؤثرة مثل المصطلحات والمتوقعات والمنهجية والاقتراحات. كان هناك أيضا منطق زينون الرواقي المنافس.
• في أوروبا خلال فترة العصور الوسطى المتأخرة، بذلت جهود كبيرة لإظهار أن أفكار أرسطو كانت متوافقة مع الإيمان المسيحي. خلال العصور الوسطى العليا، أصبح المنطق محورًا رئيسيًا للفلاسفة، الذين كانوا منخرطين في التحليلات المنطقية النقدية للحجج الفلسفية، مستخدمين غالبًا اختلافات في منهجية الدراسة المدرسية. في عام 1323، تم إطلاق السكولاستية الخاصة بوليم الأوكامي. بحلول القرن الثامن عشر، تدهورت المقاربة المنظمة للحجج وتراجعت، كما هو موضح في مسرحية لودفيغ هولبرغ الساخرة “إيراسموس مونتانوس”.
• في الهند، تم تأسيس مدرسة (علم الاستقصاء-Anviksiki) للمنطق (حوالي القرن السادس قبل الميلاد).استمرت الابتكارات في المدرسة الفلسفية، التي تسمى نيايا، منذ العصور القديمة وحتى أوائل القرن الثامن عشر مع مدرسة نافيا نايا. بحلول القرن السادس عشر، طورت نظريات تشبه المنطق الحديث، مثل التمييز بين جوتلوب فريج وبين الإحساس بالأسماء الصحيحة ومرجعيته “وتعريف الرقم”، وكذلك نظرية “الشروط التقييدية للعالميين” التي تتوقع بعضًا من التطورات في نظرية المجموعة الحديثة. منذ عام 1824، جذب المنطق الهندي انتباه العديد من العلماء الغربيين، وكان له تأثير على علماء المنطق المهمين في القرن التاسع عشر مثل تشارلز باباج وأوغست دو مورغان وجورج بول. في القرن العشرين، اكتشف الفلاسفة الغربيون مثل ستانيسلاف شاير وكلاوس غلاشوف المنطق الهندي على نطاق أوسع.
• ساد المنطق الذي طوره أرسطو في الغرب حتى منتصف القرن التاسع عشر، عندما حفز الاهتمام بأساسيات الرياضيات على تطوير المنطق الرمزي (الذي يسمى الآن المنطق الرياضي). في عام 1854، نشر جورج بول كتاباً بعنوان “التحقيق في قوانين الفكر” التي تأسست عليها النظريات الرياضية للمنطق والاحتمالات، مقدمًا المنطق الرمزي ومبادئ ما يعرف الآن بالمنطق الرياضي. في عام 1879، نشر جوتلوب فريجه “Begriffsschrift”، الذي افتتح المنطق الحديث مع اختراع التدوين الكمي، والتوفيق بين منطق أرسطو والرواقية في نظام أوسع، وحلت مثل هذه المشاكل التي كان منطق أرسطو فيها عاجزًا، مثل مشكلة العمومية المتعددة. من عام 1910 إلى عام 1913، نشر ألفريد نورث وايتهيد وبرتراند راسل مبادئ الرياضيات، في محاولة لاستخلاص الحقائق الرياضية من البديهيات وقواعد الاستدلال في المنطق الرمزي. في عام 1931، أثار كورت غودل مشاكل خطيرة (مبرهنات عدم الاكتمال) مع البرنامج التأسيسي وتوقف المنطق في التركيز على مثل هذه القضايا.

تطور المنطق

• كان لتطور المنطق منذ جوتلوب فريجه ورسل ولودفيغ فيتغنشتاين تأثير عميق على ممارسة الفلسفة والطبيعة المدركة للمشاكل الفلسفية وفلسفة الرياضيات. يتم تنفيذ المنطق، وخاصة المنطق الحسي، في دوائر منطق الحاسوب وهو أساسي لعلوم الحاسوب. عادة ما يتم تدريس المنطق من قبل الجامعة في تخصصات الفلسفة، وعلم الاجتماع، وقسم الإعلان والأدب، وغالبًا ما يكون تخصصًا إلزاميًا لجميع الطلاب.

أفضل كتب المنطق المعاصرة

• من حيث الترتيب والتسهيل وللمبتدئين
  كتاب طرق الاستدلال ومفدماتها للدكتور الأصولي يعقوب باحسين