الاستنتاج المنطقي في القرآن الكريم

Abstract

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