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

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

خونجی در تقسیم‌بندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزاره‌ی موجبه‌ی کلیه بر اساس تقسیم‌بندی خونجی، صورت‌بندی شده است. در این پایان‌نامه 72 گزاره‌ی جزئیه نزد خونجی صورت‌بندی شده‌اند. خونجی 12 گزاره را از مجموع 72 گزاره‌ی جزئیه، همیشه‌صادق دانسته است. از این 12 گزاره، 6 گزاره موجبه‌ی جزئیه و 6 گزاره‌ی دیگر سالبه‌ی جزئیه‌اند. در فصل دوم با بررسی این گزاره‌ها نشان دادیم که اگر چه این گزاره‌ها در منطق جدید، همیشه‌صادق نیستند اما در منطق خونجی همیشه‌صادق‌اند. خونجی، همچنین 5 گزاره‌ی موجهه را همیشه‌صادق دانسته است. در این پایان‌نامه، پس از صورت‌بندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزاره‌های موجهه‌ی همیشه‌صادقِ خونجی در منطق موجهات جدید همیشه‌صادق نیستند اما در منطق موجهات خونجی همیشه‌صادق‌اند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزاره‌های همیشه‌صادق پرداخته‌ایم.