ادله انحصار عرضی ذاتی در محمول مساوی با موضوع از نظر علامه طباطبایی

بررسی عرضی ذاتی (عرض ذاتی) در بحث موضوع علم و تمایز علوم و همچنین در صناعت برهان اهمیت اساسی دارد. از نظر علامه طباطبایی، عرضی ذاتی منحصر در محمولات مساوی با موضوع است. یعنی محمولات باواسطه و محمولات اعم و اخص از موضوع، عرضی ذاتی نیستند. برای اثبات نظر ایشان بیان شد که یقینی بودن قضیه مستلزم ذاتی بودن محمول آن است و ذاتی بودن محمول قضیه مستلزم یقینی بودن آن، و چون حمل محمولات باواسطه «یقینی» نیست، پس محمول باواسطه عرضی ذاتی نیست. همچنین اثبات شد که عرضی ذاتی با "وضع موضوع" وضع می شود و الا قضیه یقینی نیست و همچنین با "رفع موضوع" رفع می شود، و الا تناقض لازم می آید. در ادامه ثابت شد که لازمه این دو ویژگی، تساوی عرضی ذاتی با موضوع است. در نهایت به دو اشکال نقضی پاسخ داده شد. اشکال اول درباره محمولات باواسطه در ثبوت بود که با تفکیک بین حکم به اتحاد و اصل تحقق محمول اشکال دفع شد. در اشکال دوم بیان شد که اگر محمول اعم از موضوع باشد، قضیه می تواند یقینی باشد که در جواب بیان شد این فرض مستلزم لغویت قید ماخوذ در موضوع و تناقض است و یقینی انگاشتن این قضیه ناشی از نوعی مسامحه می باشد.