1 . عدالت عقلا نيكو است .
2 . هرچه عقلا نيكو باشد ، شرعا نيز نيكو است .
پس عدالت شرعا نيكو است .
ب - غير مستقلات عقلى : غير مستقلات عقلى آن دسته از احكام عقلى است كه دليل آن از يك مقدمهء عقلى ( كبرا ) و يك مقدمهء شرعى ( صغرا ) تشكيل مىشود ، مانند :
1 . نماز واجب است . ( حكم شرع )
2 . وجوب فعل ، عقلا مستلزم وجوب مقدمهء آن در شرع است . ( حكم عقل ) پس مقدمهء نماز در شرع واجب است .
2 . علت نامگذارى اين مباحث به ملازمات عقلى
براى روشن شدن اينكه چرا اين مباحث را مستقلات عقلى ناميدهاند ، مستقلات عقلى و غير مستقلات عقلى را جداگانه بررسى مىكنيم .
يكم . مستقلات عقلى چنانكه گذشت از دو مقدمه تشكيل مىشود . اين دو مقدمه هر دو حكم عقل است ، اما مقدمهء نخست ( عدالت عقلا نيكو است . ) معمولا در علم كلام بررسى مىشود و اگر هم در علم اصول مطرح شود ، از باب مقدمه براى بحث اصلى است .
اما مقدمهء دوم ( هرچه عقلا نيكو باشد شرعا نيز نيكو است . ) مستقيما در علم اصول مطرح مىشود و مضمون آن در واقع ملازمهء عقلى ميان حكم عقل و شرع است .
دوم . در غير مستقلات عقلى ، مقدمهء عقلى همان كبراى استدلال است كه از آن در علم اصول بحث مىشود . و مضمون آن مقدمه ملازمهء عقلى ميان دو حكم شرعى است ، مانند ملازمهء عقلى ميان وجوب ذى المقدمه و وجوب مقدمه .