جستجو در:
دوره 1، شماره 4 - ( 1400 )
جلد 1 شماره 4 صفحات 339-313 |
برگشت به فهرست نسخه ها
Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
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
URL: http://jpt.modares.ac.ir/article-34-57996-fa.html
نبوی لطف‌اله، میرصانعی سید احمد. نظریه برهان منطق‌های اثبات‌پذیری. اندیشۀ فلسفی. 1400; 1 (4) :313-339
1- گروه فلسفه، حکمت و منطق، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران
2- گروه فلسفه، حکمت و منطق، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران ،sa.mir@modares.ac.ir
2- گروه فلسفه، حکمت و منطق، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران ،
چکیده: (2145 مشاهده)
کشف تفاوت‌های نظام‌های گوناگون منطق موجهات، از جمله مزایای ابداع معناشناسی کریپکی بود. یکی از نمونه‌های بارز آن، تعبیر ضرورت به اثبات‌پذیری در منطق‌های اثبات‌پذیری است و به قول بولوس، با کشف این منطق، می‌توان گفت که باب فهم مطالب جدید در زمینه برهان باز شد. در این مقاله با رویکردی فرمال و با روش توصیفی-تحلیلی و مقایسه‌ای، نظام‌های اصل موضوعی گزاره‌ای GL، Grz و H و سمانتیک جهان ممکنی آن‌ها بر مبنای سمانتیک کریپکی مورد بررسی قرار گرفته و نیز نظریه برهان حساب رشته‌ای GL (در حساب پئانو) و GLS (در مدل استاندارد) ارائه و در نهایت، فراقضایای صحت، سازگاری و تمامیت GL تقریر و اثبات شد.
واژه‌های کلیدی: منطق‌های اثبات‌پذیری ، منطق موجهات ، سیستم اصل موضوعی ، حساب رشته‌ای ، سمانتیک جهان ممکنی ، فراقضایا
نوع مقاله: پژوهشی اصیل |
موضوع مقاله:
منطق و فلسفۀ منطق (مدرن)
دریافت: 1400/9/27 | پذیرش: 1400/10/6 | انتشار: 1400/11/16
دریافت: 1400/9/27 | پذیرش: 1400/10/6 | انتشار: 1400/11/16
ارسال پیام به نویسنده مسئول
| بازنشر اطلاعات | |
 |
این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است. |