منطق صوري

تاريخ

• انظر كذلك
• منطق طوري
• منطق رياضي

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

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

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

نبذة

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