سازگاری فرمول‌بندی r2 رشر نسبت به احکام قضایای موجهه مرکبه کاتبی
|
|
|
|
|
|
|
|
نویسنده
|
فقیه احمد
|
|
منبع
|
معارف منطقي - 1399 - دوره : 7 - شماره : 2 - صفحه:87 -104
|
|
چکیده
|
خالی نبودن نسبت حکمیه از ماده و جهت، نقش موجهات را در علوم و کشف مغالطات بسیار مهم جلوه می‌دهد. ازاین‌رو، نیکولاس رشر که یکی از سهم‌های عمده مسلمانان در علم منطق را ساختار زمانی گزاره‌های موجهه ابن‌سینا معرفی می‌کند، کوشیده است این قضایا را از رساله کاتبی دریافت و به‌صورت‌های r1 و r2 فرمول‌بندی کند. پیش از این، لطف‌الله نبوی کاراییr2 را در تحلیل قضایای موجهه مرکبه کلی به دو قضیه بسیطه نشان داد، اما مستقلاً به تحلیل احکام موجهات، اعم از بسیطه و مرکبه نپرداخت. نگارنده در مقاله‌ای با عنوان «سازگاری فرمول‌بندی r2 رشر نسبت به احکام قضایای موجهه بسیطه کاتبی»، احکام موجهات بسیطه را بررسی کرد و برای تکمیل بحث کوشیده است در این نوشتار احکام قضایای موجهه مرکبه منطق کاتبی را نیز در دستگاه استنتاجی kt به‌صورت جداگانه با شیوة توصیفی تحلیلی بررسی کند تا نشان دهد فرمول‌بندیr2، افزون‌بر کارایی پیش‌گفته، نسبت به احکام قضایای موجهه مرکبه منطق کاتبی نیز از سازگاری لازم برخوردار است. در این مسیر، نتایج برآمده از مقاله پیشین مبنی بر اینکه «اثبات برخی استدلال‌های مباشر کاتبی در دستگاه موجهات kt، بدون لحاظ پیش‌فرض اتصاف (∃x)(∃t)rtax امکان‌پذیر نیست»، کاملاً تایید می‌شود.
|
|
کلیدواژه
|
احکام قضایا، فرمول‌بندی r2، موجهات زمانی، موجهه مرکبه، منطق کاتبی
|
|
آدرس
|
مرکز تخصصی اسراء, ایران
|
|
پست الکترونیکی
|
seyyedahmadfaghih@gmail.com
|
|
|
|
|
|
|