منطق صوري

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

 نبذة 
يُعنى المنطق الصوري بالحجج الصحيحة إستنباطيًا، وهي تلك التي يضمن فيها صدقُ المقدمات صدقَ النتيجة بالضرورة؛ مما يعني إستحالة أن تكون المقدمات صادقة بينما تكون النتيجة كاذبة. وفي الحجج الصحيحة، تتبع البنية المنطقية التي تُفضي من المقدمات إلى النتيجة نسقًا يُعرف بـ "قاعدة الإستدلال". فعلى سبيل المثال، تُعد قاعدة "وَضْع المُقَدَّم" (Modus Ponens) قاعدة إستدلال تكون بموجبها جميع الحجج التي تأخذ الصيغة: "(1) س، (2) إذا كان س فإن ص، (3) إذن ص" حججًا صحيحة، بصرف النظر عما ترمز إليه الحدود "س" و"ص".

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

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

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

 انظر أيضًا 
 منطق طوري
 منطق رياضي

 المصادر 

*
تصنيف:علوم شكلية
تصنيف:منطق رياضي