نظریه برهان منطقهای اثباتپذیری | ||
| اندیشه فلسفی | ||
| Article 4, Volume 1, Issue 4, 1400, Pages 313-339 PDF (793.89 K) | ||
| Document Type: پژوهشی اصیل | ||
| DOI: 10.58209/jpt.1.4.313 | ||
| Authors | ||
| سید احمد میرصانعی* ; لطفاله نبوی | ||
| گروه فلسفه، حکمت و منطق، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران | ||
| Abstract | ||
| کشف تفاوتهای نظامهای گوناگون منطق موجهات، از جمله مزایای ابداع معناشناسی کریپکی بود. یکی از نمونههای بارز آن، تعبیر ضرورت به اثباتپذیری در منطقهای اثباتپذیری است و به قول بولوس، با کشف این منطق، میتوان گفت که باب فهم مطالب جدید در زمینه برهان باز شد. در این مقاله با رویکردی فرمال و با روش توصیفی-تحلیلی و مقایسهای، نظامهای اصل موضوعی گزارهای GL، Grz و H و سمانتیک جهان ممکنی آنها بر مبنای سمانتیک کریپکی مورد بررسی قرار گرفته و نیز نظریه برهان حساب رشتهای GL (در حساب پئانو) و GLS (در مدل استاندارد) ارائه و در نهایت، فراقضایای صحت، سازگاری و تمامیت GL تقریر و اثبات شد. | ||
| Keywords | ||
| منطقهای اثباتپذیری; منطق موجهات; سیستم اصل موضوعی; حساب رشتهای; سمانتیک جهان ممکنی; فراقضایا | ||
| References | ||
|
| ||
|
Statistics Article View: 59 PDF Download: 39 |
||
| Number of Journals | 45 |
| Number of Issues | 2,196 |
| Number of Articles | 24,877 |
| Article View | 28,791,103 |
| PDF Download | 18,604,761 |