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