جستجوي پيشرفته | کتابخانه مجازی الفبا

خونجی، پس از بیان نقیض موجهات بسیط و موجهات مرکب کلیه، از دو شیوة متفاوت برای استنتاج نقیض گزارة موجهة مرکب جزئیه استفاده کرده است. او در یک شیوه، نقیض گزارة موجهة جزئیه را گزارة کلیة مردده المحمول می داند و در شیوة دیگر نقیض این گزاره را گزارة منفصله ای تلقی می کند که موضوع یکی از طرفین آن به وسیلة محمول مشترک اجزای انفصال مقید شده است. ما در این مقاله پس از بیان مختصری دربارة چگونگی تناقض موجهات بسیط و گزاره های مرکب کلیه نزد خونجی، به چگونگی تناقض موجهات مرکب جزئیه نزد این منطق دان خواهیم پرداخت و نشان خواهیم داد که خونجی مبدع شیوة اول استنتاج نقیض این گزاره، و اولین منطق دانی است که گزارة مردده المحمول را کشف کرده است. هم چنین نشان خواهیم داد که خونجی شیوة دوم استنتاج نقیض گزارة موجهة مرکب جزئیه را وام دار کشّی بوده است و دومین منطق دانی است که از چنین روشی استفاده کرده است.