Skip to main content
فهرست مقالات

بررسی نمادی محصورات چهار گانه با توجه به مبحث حقیقیه و خارجیه

نویسنده:

ISC (26 صفحه - از 361 تا 386)

کلید واژه های ماشینی : محصورات، حقیقیه، منطق، خارجیه، جزئیه، عقد وضع و عقد حمل، سالبهء جزئیه، سالبهء کلیه، قضایای حقیقیه، قدما، موجبهء کلیه، منطق قدیم، موجبهء جزئیه، انسانی حیوان، صدق، قضایای خارجیه، تضاد، منطقیان جدید، بررسی نمادی محصورات، عقد وضع، Ax، نمادی محصورات چهار، حمل، قضایای حقیقیه به‌ازاء افراد، قضایای حقیقیه حمل محمول، موضوع، صدق موجبهء جزئیه، قالب، قضایای شخصیه، منطقیان جدید قضایای جزئیه

خلاصه ماشینی: "اگر در محصورات چهارگانه‌ای که نمادی کرده‌ایم به جای‌ H و A که به ترتیب‌ نمایشگر انسان بودن و حیوان بودن می‌باشند دو متغیر B و E را قرار دهیم صورت‌ کلی تمام قضایائی را که در قالب محصورات اربعه باشند بدین منوال بدست می‌آوریم: موجبهء کلیه‌ A?x(B?xU?E?x موجبهء جزئیه‌ M?x(B?xV?E?x سالبهء کلیه‌ A?(B?xU?-E?x سالبهء جزئیه‌ M?x(B?xV?-E?x صورتهای چهارگانهء فوق حاصل تحلیل منطقیان جدید برای محصورات است‌ که با صورتهای منطقی حاصل از دیدگاه منطق قدیم فرق دارد و این تفاوت صوری،روابط محصورات را هم چنانکه در(شکل 3)نشان داده شده تغییر می‌دهد1. دیگر اینکه از نظر بسیاری از اصحاب‌ منطق قدیم قضیه محصوره‌ای که یا حقیقیه و یا خارجیه نباشد وجود ندارد و چون اعتبار حقیقی و خارجی بودن قضایا در صدق و کذب آنها مؤثر است حتما می‌بایست در صورت‌ نمادی محصورات منعکس شود یعنی اگر بخواهیم محصورات ملحوظ از دیدگاه قدما را به زبان نمادی ترجمه کنیم باید دو نوع ترجمه متفاوت داشته باشیم که یکی از آنها صورتا بر قضایای حقیقیه تطبیق کند و دیگری بر قضایای خارجیه. و اگر فردی برای‌ X در خارج موجود نباشد قضیه صادق نیست درست مثل اینکه‌ شخصی بگوید«عمویم مریض است»و دروغ می‌گوید چون عموئی ندارد که مریض‌ باشد پس صورت نمادی محصورات خارجیه چنین می‌شود: موجبهء کلیه( E?X ) A?B?X موجبهء جزئیه( E?X ) M?B?X سالبهء کلیه( -E?X ) A?B?X سالبهء جزئیهء( -E?X ) M?B?X در این چهار صورت حمل محمول بر افراد موضوع به واسطهء صرف عقد وضع نیست بلکه ذات افراد X محمول‌ EẒ »می‌باشند."

  • دانلود HTML
  • دانلود PDF

برای مشاهده محتوای مقاله لازم است وارد پایگاه شوید. در صورتی که عضو نیستید از قسمت عضویت اقدام فرمایید.