الگوریتم حکم شناسی

مدّتی است که در مجامع علمی، اصطلاح «الگوریتم» مطرح شده است. این اصطلاح، به معنای فرآیندسازی هر عملیاتی است. از آنجا که علم فقه دارای عملیات استنباط است، می توان گفت استنباط فقهی، دارای الگوریتم است. این الگوریتم استنباط فقهی را باید از علم اصول طلب نمود؛ چراکه رسالت علم اصول، فراهم سازی قواعد کلّی استنباط فقهی و فرآیندسازی آنهاست. در واقع، الگوریتم به مثابه یک دستگاه استنباطی است که توسط علم اصول، مستدل و نظریه پردازی می شود و در اختیار فقیه قرار می گیرد. البته فقها در مباحث فقهی، نگاهی الگوریتمیک به استنباط حکم شرعی داشته اند؛ امّا آن را به صورت شفاف بیان نکردند. ازاین رو، الگوریتم پیشنهادی این دو پژوهشگر حوزوی، شفاف سازی الگوریتم ارتکازی فقهاء محسوب می شود. خروجی این الگوریتم، حکم شرعی و تعیین مرتبه آن است؛ یعنی الگوریتم استنباط باید به این سؤال پاسخ دهد که آیا حکم، جعل شده است یا خیر، و اگر جعل شده است، آیا به مرتبه فعلیت رسیده است یا خیر، و اگر به مرتبه فعلیت رسیده، آیا به مرتبه تنجز هم رسیده است یا خیر. بنابراین، الگوریتم پیشنهادی بر اساس همین مراتب حکم، پی ریزی شده است. حجّت الاسلام والمسلمین سید محمدباقر قدمی و رضا میهن دوست، در این گفت وگو با استفاده از منابع کتابخانه ای و بر اساس روش توصیفی - تحلیلی به بررسی عملکرد فقها پرداخته اند؛ تا بدین وسیله، الگوریتم استنباطی ایشان استخراج شود. گفتنی است در نهمین نشست از سلسله نشست های علمی علوم اسلامی و انسانی دیجیتال با موضوع «فرآیند حکم شناسی در الگوریتم دانش اصول فقه» که به تاریخ 19 آبان 1401ش در مرکز تحقیقات کامپیوتری علوم اسلامی برگزار گردید، این دو پژوهشگر و نویسنده عزیز به ارائه مطلب و معرّفی کتاب یادشده پرداختند. در همین راستا، در این شماره از فصلنامه ره آورد نور به معرّفی بیشتر موضوع و اهمّیّت کتاب مزبور مبادرت ورزیدیم.