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


XML English Abstract Print


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

Nabavi L, Mirsanei S. Propositional Provability Logics. jpt 2021; 1 (4) :313-339
URL: http://jpt.modares.ac.ir/article-34-57996-fa.html
نبوی لطف‌اله، میرصانعی سید احمد. نظریه برهان منطق‌های اثبات‌پذیری. اندیشۀ فلسفی. 1400; 1 (4) :313-339

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


1- گروه فلسفه، حکمت و منطق، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران
2- گروه فلسفه، حکمت و منطق، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران ، sa.mir@modares.ac.ir
چکیده:   (1261 مشاهده)
کشف تفاوت‌های نظام‌های گوناگون منطق موجهات، از جمله مزایای ابداع معناشناسی کریپکی بود. یکی از نمونه‌های بارز آن، تعبیر ضرورت به اثبات‌پذیری در منطق‌های اثبات‌پذیری است و به قول بولوس، با کشف این منطق، می‌توان گفت که باب فهم مطالب جدید در زمینه برهان باز شد. در این مقاله با رویکردی فرمال و با روش توصیفی-تحلیلی و مقایسه‌ای، نظام‌های اصل‌ موضوعی گزاره‌ای GL، Grz و H و سمانتیک جهان ممکنی آن‌ها بر مبنای سمانتیک کریپکی مورد بررسی قرار گرفته و نیز نظریه برهان حساب رشته‌ای GL (در حساب پئانو) و GLS (در مدل استاندارد) ارائه و در نهایت، فراقضایای صحت، سازگاری و تمامیت GL تقریر و اثبات شد.
متن کامل [PDF 794 kb]   (716 دریافت)    
نوع مقاله: پژوهشی اصیل | موضوع مقاله: منطق و فلسفۀ منطق (مدرن)
دریافت: 1400/9/27 | پذیرش: 1400/10/6 | انتشار: 1400/11/16
* نشانی نویسنده مسئول: تهران، بزرگراه جلال آل احمد، دانشگاه تربیت مدرس، گروه فلسفه، حکمت و منطق

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

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


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