مصاحبه با مؤلفان کتاب الگوریتم دانش اصول فقه

نگاه الگوریتمی چه فوائد و آثاری دارد؟
از یک منظر می توان مباحث علم اصول را به سه گونه تقسیم کرد.
مباحثی که به تعریف و ماهیت مبادی و قواعد اصولی می پردازد. (چیستی)
مباحثی که به استدلال برای اثبات قواعد اصولی می پردازد. (چرایی)
مباحثی که به روش بکارگیری این قواعد در فرایند استنباط نظر دارد. (چگونگی)
در کتاب های اصولی، به دو گونه اول، بسیار پرداخته شده است؛ اما گونه سوم گرچه بخشی از آن، از لابه‌لای کلمات اصولیان قابل برداشت است ولی به صورت شفاف و مستقیم بیان نشده است.
عدم شفافیت روش بکارگیری قواعد اصولی باعث شده است که گسستی میان اصول و استنباط فقهی احساس شود.
طراحی الگوریتم استنباط فقهی، می تواند باعث شفافیت مسیر استنباط گردد. علاوه بر این که یافتن این خلأها ممکن است به نظرات جدید در علم اصول منجر شود.
از طرفی الگوریتم بیان گام‌به‌گام مباحث است که موجب روشن شدن جایگاه هر بحث در ساختار کلان اصول می شود و ارتباط مباحث اصولی هم معلوم می‌شود؛ لذا این نوع تبیینِ مباحث اصولی می‌تواند شناخت بهتری از مباحث اصولی را ایجاد نماید.
از منظر دیگر، طلبه ها احساس می کنند که پس از سال‌ها صرف عمر، در فراگیری کتاب‌های متعدد اصولی و با صَرف این مقدار از وقت و فراگیری اصطلاحات اصولی، قوه استنباط را کسب نکرده‌اند و هنوز نیاز به تکمیل و جمع‌بندی مباحث اصولی وجود دارند و به نظر می رسد که نگاه الگوریتمی به دانش اصول می تواند، مباحث را به صورت منسجم و ناظر به جایگاه واقعی آن‌ها تبیین کند و این خلأ را در استنباط فقهی جبران کند.