است . به عبارت ديگر عدم صحت سلب لفظ از معنا علامت حقيقت و صحت سلب علامت مجاز است .
توضيح :
مقدمه : حمل در يك تقسيم بر دو قسم است :
1 ) حمل اولى ذاتى : حمل اولى ذاتى اين است كه موضوع و محمول اتحاد مفهومى داشته باشند . « 1 » مثل الانسان بشر .
2 ) حمل شايع صناعى : حمل شايع صناعى اين است كه موضوع و محمول فقط اتحاد وجودى داشته باشند ( هردو موجود به يك وجود مىشوند ) . در حمل شايع صناعى ، گاهى موضوع و محمول فرد و كلى و گاهى هردو كلى هستند . چهار مثال :
الف ) زيد كاتب . « 2 »
ب ) الانسان ناطق .
ج ) الانسان حيوان .
د ) الانسان ابيض .
با حفظ اين مقدمه ، براى استفاده از اين علامت چهارم بايد دو آزمايش انجام بدهيم .
آزمايش اول : در اين آزمايش قضيه حمليهاى تشكيل داده ، موضوع را معناى مشكوك و محمول را لفظ قرار مىدهيم سپس به انبار پر الفاظ و پر معناى ذهن مراجعه مىكنيم . ذهن دو صورت دارد :
الف ) اين حمل را بهصورت حمل اولى مىپذيرد . پذيرش اين حمل ، علامت اين است كه لفظ حقيقت در اين معناست . مثل الانسان بشر .
هامش
( 1 ) - نكته الف ) : الحمل الاولى الذاتى على قسمين فتارة يكون الموضوع و المحمول فيه متحدين مفهوما و ماهيّة كما فى الانسان بشر و اخرى يكون الموضوع و المحمول فيه متحدين ماهيّة لا مفهوما كما فى الانسان حيوان ناطق فانّهما متحدان بحسب الماهيّة دون المفهوم كيف و مفهوم الانسان بسيط و مفهوم الحيوان الناطق مركب و عليه فملاك الحمل الاولى الذاتى هو الاتحاد الماهوى لا المفهومى . فقول المصنّف لا يخلو عن مسامحة . عناية الاصول ، ج 1 ، ص 46 ؛ حاشيه مرحوم مشكينى .
نكته ب ) : الحمل الذى كان بين الحد و المحدود لا يجدى فى استكشاف نفس الموضوع له و ان كان يجدى فى تعيين الحقيقة و الطبيعة . . . حاشيه مرحوم قوچانى ، ج 1 ، ص 17 .
( 2 ) - نهاية الدرايه ، ج 1 ، ص 29 .