المنطق هو دراسة صور الفكر وطرق الاستدلال السليم، وفي المقام الأول يُدرَس في تخصصات الفلسفة، والرياضيات، وعلم الدلالة، وعلم الحاسوب.
يعتبر أرسطو أول من كتب عن المنطق بوصفه علمًا قائمًا بذاته، وسميت مجموعة بحوثه المنطقية أورغانون، فكان القياس في نظر أرسطو هو صورة الاستدلال، ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق علمًا مختلفًا نوعا ما عن منطق أرسطو فظهر منطق الاستقراء الذي كان رائده فرانسيس بيكون واستكمله بعد ذلك جون ستيوارت ميل.
هناك أيضًا جانب المنطق الرياضي الذي ابتدأه ليبنتز وعدّله برتراند راسل الذي ربط الرياضيات بالمنطق وجعلها امتداد له.

المنطق الأرسطي (الجزء الثاني)

بعد ما تعرضنا في الموضوع السابق لمكونات وخصائص الأنظمة المنطقية، واستعرضنا معًا تاريخ بدايات المنطق، نصل معًا إلى أول نظام منطقي فى التاريخ، وهو المنطق الصوري لأرسطو الذى عرضه أرسطو فى كتابه الشهير (The Organon).ويسمى نظام أرسطوبـ(Term Logic). ويقوم هذا النظام على تحليل الأحكام (Judgments)إلى قضيتين (Premises) أو أكثر، كل منهم تتكون من مصطلحين نوعيين [...]

أساسيات النظم المنطقية (الجزء الأول)

المنطق هو  دراسة لطرق التفكير والاستدلال والإثبات السليمة؛ للوصول للحقيقة، أي كيف نفكر بطريقة صحيحة. وفي مقالنا هذا سنتعرض معًا  بنظرة عامة  أنواع المنطق وأنواع الاستدلال، ومفهوم النظم المنطقية، ومكوناتها وخصائصها، ثم نتعرف على بدايات ظهور المنطق. ينقسم المنطق إلى نوعين، وهما:-  «المنطق غير المحكم-Informal Logic» : وهو يشمل القدرة على التفكير الصحيح لكن بدون [...]

النظام الجبري في المنطق (الجزء الخامس)

بعد تعرضنا فى المرة السابقة لأفكار ليبنتز فى المنطق وكيف زاوج بين المنطق وقواعد الرياضيات المجرده متحررا من قواعد أرسطو في الإستنباط وكيف أكمل بولزانو التحرر من فلسفة المنطق الأرسطية، واضعا فلسفة متكاملة للمنطق الحديث. كانت الخطوة التالية هى وضع نظام منطقي معتمدا على قواعد الرياضيات يمكن فيه تمثيل نظام أرسطو المنطقي كاملا بحيث يعتبر [...]

فلسفة المنطق الحديث (الجزء الرابع)

تعرضنا في المرات السابقة للمنطق الأرسطي وعيوبه، وكيف فشل ليبنتز من تجاوزها رغم قربه الشديد؛ فظل المنطق الأرسطي رغم كل تلك العيوب النظام المنطقي الأوحد في أوروبا حتى جاء ديكارت واستطاع كسر قيود أرسطو في الفلسفة، حيث كان له الفضل في كسر قيود أرسطو في فلسفة المنطق على يد اثنين من تلاميذه وهم أنطوان أرنولد-Antoine [...]

ليبينتز والمنطق الرياضي (الجزء الثالث)

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

اظهر المزيد من المواضيع