بحث در تعریف استصحاب در اشکالاتی بود که مرحوم محقق اصفهانی بر این تعریف مختار شیخ وارد کردند، ملاحظه فرمودید که شیخ فرمودند از بین تعاریفی که دیگران کردند تعریف «ابقاء ماکان» اسدّ تعریف و اخصر تعاریف است.

بحث در تعریف استصحاب بود و اشکالاتی را که مرحوم محقق اصفهانی در حاشیه کفایه بر تعریف شیخ اعظم انصاری قدس سره وارد کردند ملاحظه فرمودید. در اینکه آیا این اشکالات بر مرحوم شیخ وارد است یا نه؟ ما انشاء الله این را در جمع‌بندی بحث خواهیم گفت.

مرحوم امام می‌فرمایند تعاریفی را که اصولیّین برای استصحاب بیان کردند هم دچار اشکال است (یعنی فی نفسه اشکال دارد) و هم دچار اضطراب و تناقض است که بعد از اینکه تحقیق خودشان را در این بحث بیان می‌کنند هم اشکال و هم تناقض در آن تعاریف روشن می‌شود.

کلمات بزرگانی همچون شیخ و آخوند تا برسد به معاصرین، را در تعریف استصحاب بیان کردیم، تعاریف دیگری هم در بین کلمات وجود دارد که در این تحقیق ممکن است به بعضی از آنها اشاره کنیم. ما ابتدا تعریف شیخ را بیان کردیم و اشکالات مرحوم محقق اصفهانی(اعلی الله مقامه الشریف) را بر شیخ ذکر کردیم.