سازگاري فرمول‌بندي R2 رشر نسبت به احكام قضاياي موجهه مركبه كاتبي

خالي نبودن نسبت حكميه از ماده و جهت، نقش موجهات را در علوم و كشف مغالطات بسيار مهم جلوه مي‌دهد. ازاين‌رو، نيكولاس رشر كه يكي از سهم‌هاي عمده مسلمانان در علم منطق را ساختار زماني گزاره‌هاي موجهه ابن‌سينا معرفي مي‌كند، كوشيده است اين قضايا را از رساله كاتبي دريافت و به‌صورت‌هاي R1 و R2 فرمول‌بندي كند. پيش‌ از اين، لطف‌الله نبوي كاراييR2 را در تحليل قضاياي موجهه مركبه كلي به دو قضيه بسيطه نشان داد، اما مستقلاً به تحليل احكام موجهات، اعم از بسيطه و مركبه نپرداخت. نگارنده در مقاله‌اي با عنوان «سازگاري فرمول‌بندي R2 رشر نسبت به احكام قضاياي موجهه بسيطه كاتبي»، احكام موجهات بسيطه را بررسي كرد و براي تكميل بحث كوشيده است در اين نوشتار احكام قضاياي موجهه مركبه منطق‌ كاتبي را نيز در دستگاه استنتاجي KT‌ به‌صورت جداگانه با شيوة توصيفي تحليلي بررسي كند تا نشان دهد فرمول‌بنديR2، افزون‌بر كارايي پيش‌گفته، نسبت به احكام قضاياي موجهه مركبه منطق كاتبي نيز از سازگاري لازم برخوردار است. در اين مسير، نتايج برآمده از مقاله پيشين مبني بر اينكه «اثبات برخي استدلال‌هاي مباشر كاتبي در دستگاه موجهات KT‌، بدون لحاظ پيش‌فرض اتصاف (∃x)(∃t)RtAx امكان‌پذير نيست»، كاملاً تأييد مي‌شود.