مقدمات برهان:
معنای حمل اولی:
حمل اولی یا قید موضوع است یعنی مفهوم موضوع مراد است
یا قید قضیه است یعنی مفهوم موضوع و محمول و اتحاد دو مفهوم مراد است
معنای حمل شایع:
حمل شایع یا قید موضوع است یعنی مصداق موضوع مراد است
یا قید قضیه است یعنی مصداق موضوع و محمول و اتحاد دو مصداق مراد است
یا قید قضیه است یعنی موضوع، مصداق محمول است
هر مفهومی فقط خودش است نه مفهوم دیگر و لذا معنای هر ماهیتی هم فقط معنای همان ماهیت است لا غیر: ماهیت از جهت ماهیت و ذات فقط ماهیت است نه معنای موجود در اوست و نه معنای عدم؛ نه معنای تقدم در اوست و نه تأخر و نه هیچ معنای دیگر …
مثلا مفهوم انسان فقط مفهوم انسان است نه هیچ چیز دیگر و مفهوم ممکن فقط مفهوم ممکن است نه هیچ چیز دیگر.
با توجه به معنای حمل؛ این قضایا تناقض ندارند
مثال:
