2 - صحت سلب : ذاتى كه قبلا متصف به اين صفت بوده و اكنون نيست ، صحيح است كه مشتق را از ذات سلب كنيم . مثلا : تقى ليس بضارب .
عدم صحت سلب : ذاتى كه اكنون متلبس به اين مبدأ و صحت حمل دارد نه صحت سلب ، يعنى وقتى كه تقى اكنون ضارب است ، نمىتوان گفت ليس بضارب و اين علامت حقيقت است ، همانطور كه صحت سلب علامت مجاز است .
نتيجه : به نظر ما : مشتقات حقيقت هستند در خصوص ذاتى كه متلبس به مبدأ باشد فعلا . و مجاز هستند در ما انقضى عنه التلبس .
پايان
كفاية الأصول ( فارسى ) — Page 574
Contributors: الآخوند الخراساني
P.574