إن جمیع الأمور تنقسم إلی ممکن ومحال والمحال ینقسم إلی محال عادی وعقلی والمحال العادی هو ما حصل العلم بعدم وجوده بملاحظة العادة ، والمحال العقلی هو ما استحال وجوده بملاحظة العقل ، ولازم المحال العقلی إنه لا یثبت خلافه بدلیل عقلیا کان الدلیل أو عادیا ، لأن العادی لا یعارض العقل ، والعقلیان
لا یتعارضان ، ولا بد أن یرمی أحدهما بالاشتباه فیکشف المعارض عن إن المعارض - بالفتح - غیر محال عقلی ، بل ممکن عقلی ، وکذا المحال العادی لا یمکن إثباته بالعادة ، وإلا یلزم إنه غیر محال عادی ، نعم یمکن إثبات خلافه بدلیل عقلی إذ لا منافاة بین امتناع الشیء بحسب العادة وبین وقوعه بقدرة الله تعالی .
وأما الأدلة الشرعیة فقسمان قطعیة وظنیة : -
والأول هو الذی لا یتطرقه احتمال الخلاف ، والثانی ما یحتمل فیه ذلک . والقسم الأول لا یقبل المعارضة حتی بالدلیل العقلی ، ولو