دوره 1، شماره 4 - ( 1400 )                   جلد 1 شماره 4 صفحات 0-0 | برگشت به فهرست نسخه ها

XML English Abstract Print


دانشجوی دکترای منطق فلسفی، گروه فلسفه، حکمت و منطق دانشکده علوم انسانی دانشگاه تربیت مدرس تهران ، sa.mir@modares.ac.ir
چکیده:   (67 مشاهده)
کشف تفاوت‌های نظام‌های گوناگون منطق‌ موجهات، از جمله مزایای ابداع معنا‌شناسی کریپکی بود. یکی از نمونه‌های بارز آن، تعبیر ضرورت به اثبات‌پذیری در منطق‌های اثبات‌پذیری است و به قول بولوس در کتاب The Logic of Provability، با کشف این منطق، می‌توان گفت باب فهم مطالب جدید در زمینه برهان باز شد. در این مقاله با رویکردی فرمال و با روش توصیفی تحلیلی و مقایسه‌ای، نظام‌های اصل‌موضوعی گزاره‌ای GL، Grz و H، و سمانتیک جهان ممکنی آن‌ها بر مبنای سمانتیک کریپکی مورد بررسی قرار گرفته، و نیز نظریه برهان حساب رشته‌ای GL (در حساب پئانو) و GLS (در مدل استاندارد) ارائه، و در نهایت، فراقضایای صحت، سازگاری و تمامیت GL تقریر و اثبات شد.
     
نوع مقاله: پژوهشی اصيل | موضوع مقاله: منطق و فلسفۀ منطق (مدرن)
دریافت: 1400/9/27 | پذیرش: 1400/10/6 | انتشار: 1400/10/14

بازنشر اطلاعات
Creative Commons License این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است.