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

XML English Abstract Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

Mirsanei S A. Proof theory of Provability Logic. jpt. 2022; 1 (4)
URL: http://jpt.modares.ac.ir/article-34-57996-fa.html
میرصانعی سید احمد. نظریه برهان منطق‌های‌ اثبات‌پذیری. اندیشۀ فلسفی. 1400; 1 (4)

URL: http://jpt.modares.ac.ir/article-34-57996-fa.html


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

ارسال نظر درباره این مقاله : نام کاربری یا پست الکترونیک شما:
CAPTCHA

ارسال پیام به نویسنده مسئول


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