نظریه برهان منطق های اثبات پذیری
Publish place: Philosophical Thought، Vol: 1، Issue: 4
Publish Year: 1400
Type: Journal paper
Language: Persian
View: 72
This Paper With 27 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
JR_JPHTH-1-4_004
Index date: 6 January 2025
نظریه برهان منطق های اثبات پذیری abstract
کشف تفاوت های نظام های گوناگون منطق موجهات، از جمله مزایای ابداع معناشناسی کریپکی بود. یکی از نمونه های بارز آن، تعبیر ضرورت به اثبات پذیری در منطق های اثبات پذیری است و به قول بولوس، با کشف این منطق، می توان گفت که باب فهم مطالب جدید در زمینه برهان باز شد. در این مقاله با رویکردی فرمال و با روش توصیفی-تحلیلی و مقایسه ای، نظام های اصل موضوعی گزاره ای GL، Grz و H و سمانتیک جهان ممکنی آن ها بر مبنای سمانتیک کریپکی مورد بررسی قرار گرفته و نیز نظریه برهان حساب رشته ای GL (در حساب پئانو) و GLS (در مدل استاندارد) ارائه و در نهایت، فراقضایای صحت، سازگاری و تمامیت GL تقریر و اثبات شد.
نظریه برهان منطق های اثبات پذیری Keywords:
Provability Logic , Modal Logic , Axiomatic System , Proof Theory , Possible World Semantics , Meta-Theorems , منطق های اثبات پذیری , منطق موجهات , سیستم اصل موضوعی , حساب رشته ای , سمانتیک جهان ممکنی , فراقضایا
نظریه برهان منطق های اثبات پذیری authors
لطف اله نبوی
Department of Philosophy, Faculty of Humanities, Tarbiat Modares University, Tehran, Iran
سید احمد میرصانعی
Department of Philosophy, Faculty of Humanities, Tarbiat Modares University, Tehran, Iran
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
