آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٣٧٤ - ضابطه شرائط اشكال اربعه
سلب كتابت براى ذات حجر بطور ضرورت و لزوم اثبات شده و به بيان فوق قطعا براى وصف عنوانى آن نيز ضرورى است در حاليكه همين محمول در صغرى بطور امكان يعنى سلب ضرورت اثبات شده است و تنافى بين ايندو نيز احتياج چندانى بشرح ندارد .
شارح گويد :
تنافى در اين مثال به بداهت و ظهور مشروطه نيست چون در ضروريه سالبه كه كبرى واقع شده اوّلا و بالذّات حكم ميشود كه محمول ( عدم الكتابة ) براى ذات موضوع ( حجر ) ضرورى است ماداميكه حجر وجود دارد سپس بقاعده اينكه ذات لازمه وصف عنوانى است ثابت ميشود كه اين سلب نسبت بوصف ( حجر بودن ) ضرورت دارد آنگاه مىگوئيم سلب وصف كتابت از وصف اكبر با اثباتش براى ذات اصغر منافات دارد در حالكيكه در مثال مشروطه هيچ احتياجى به قاعده « و لازم اللازم لازم » و امثال آن نميباشد .
حاشيه : و كذا اذا كانت الكبرى ممكنة و الصّغرى ضروريّة بمثل ما مرّ .
ترجمه : در اين عبارت مرحوم محشّى ميفرمايد :
همچنين اگر كبرى ممكنه و صغرى ضروريّه باشد باز تنافى مزبور حاصل است بهمان تقريرى كه در عكسش گذشت و ما جهت عدم تطويل از اعاده آن خوددارى مىكنيم .
حاشيه : و امّا انّها دائرة مع الشّرطين عدما :
اى كلّما انتفى احد الشّرطين المذكورين لم يتحقق المنافاة المذكورة، فلانّه اذا لم يكن الصّغرى ممّا يصدق عليه الدّوام و لا الكبرى ممّا تنعكس سالبتها لم يكن فى الصّغريات اخصّ من المشروطه الخاصّة و لا فى الكبريات اخصّ من الوقتيّه و لا منافاة بين ضرورة الايجاب مثلابحسب الوصف لا دائما
آثار الباقية في شرح الحاشية، ص