حساب رشته سطح بالاتر برای منطق ناسره ابتنای دروست و فاین (مقاله علمی وزارت علوم)
درجه علمی: نشریه علمی (وزارت علوم)
آرشیو
چکیده
منطق ناسره ابتنای دروست و فاین نسخه اصلاح شده ای از منطق ناسره ابتنای فاین است. دروست و فاین نشان داده اند که این منطق (به خلاف منطق اولیه فاین) نسبت به سمنتیکی که برای آن تنظیم کرده اند صحت و تمامیت دارد. پس از معرفی سیستم استنتاجی منطق اولیه فاین استدلال می کنم که پاره ای از مشکلات نظریه برهانی در خصوص این منطق وجود دارد. بیش از این، استدلال می کنم که نسخه اصلاح شده دروست و فاین نیز (اگرچه برای اهداف سمنتیکی یادشده مناسب است) با همان مشکلات نظریه برهانی دست به گریبان است. با اصلاح بیشتر سیستم استنتاجی دروست و فاین یک حساب رشته سطح بالاتر تنظیم می کنم. نشان می دهم که به لحاظ سمنتیکی منطق پیشنهادی من معادل با منطق دروست و فاین است. همچنین دلایلی می آورم که در سیستم استنتاجی پیشنهادی مشکلات نظریه برهانی یادشده مرتفع می شوند. حاصل این مقاله ارائه یک سیستم استناجی مناسب برای منطق ناسره ابتنای دروست و فاین است؛ سیستمی که پدیدآورندگان این منطق به آن دست نیافته اند.تبلیغات
