بازگشت علوم حصولی به حضوری و حل مسئله صدق - سربخشی,‌محمد (حکمت اسلامی)