مباحثی در منطق های وجهی گودل استاندارد

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

ارسال انصراف

فارسی | العربیه | English

در تلگرام به ما بپیوندید

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

میانگین امتیازات:

امتیاز شما :

تعداد امتیازات :

مباحثی در منطق های وجهی گودل استاندارد

ویرایش اثر

مقطع تحصیلی رساله تحصیلی:

کارشناسی ارشد

محل تحصیل رساله تحصیلی:

دانشگاه تربیت مدرس

پدیدآورندگان :

سید محمد باقری (استاد راهنما رساله تحصیلی)
یاری, نسیم (نویسنده)

وضعیت نشر :

تهران ، دانشگاه تربیت مدرس ، 1395

چکیده :

در این پایان‌نامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدل‌های کریپکی پایه‌گذاری شده است اثبات می‌کنیم که ‎در آن گزاره‌ها در هر جهان و رابطه‌ی دسترس‌پذیری بین جهان‌ها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارن‌هایی که بین منطق‌های □ و◊ وجود دارد می‌پردازیم: در منطق نخست (□) مفهوم درستی به قاب‌هایی که رابطه‌ی دسترس‌پذیری آن‌ها دو مقداری است‏، فرو می‌کاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قاب‌هایی است که رابطه‌ی دسترس‌پذیری‌ آن‌ها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستم‌های وجهی کلاسیک d، t، s۴ وs۵ را نیز در نظر می‌گیریم. همچنین قضیه‌های تمامیت به زبان‌هایی که به یک مجموعه‌ی خوش‌ترتیب گسسته از ارزش‌های درستی نیز مجهز باشد گسترش داده خواهند‎ شد. ‏بازبرد اصلی این ‎‎‏پایان‌نامه [۶] می‌باشد.

کلید واژه اصلی :

منطق وجهی , قضیه تمامیت , منطق های وجهی-چند ارزشی , منطق دامت-گودل , معناشناسی کریپکی فازی , تمامیت قوی , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق فازی

اعلام و شخصیت ها :

دامت, مایکل (Michael Dummett؛ فیلسوف تحلیلی انگلیسی، از برجسته ترین فیلسوفان قرن گذشته انگلیس؛ استاد پیشین منطق در دانشگاه آکسفورد انگلیس؛ پژوهشگر: فلسفه ریاضیات، فلسفه منطق، فلسفه زبان، متافیزیک، تاریخ فلسفه تحلیلی), ۱۹۲۵م.لندن، انگلیس ۲۰۱۱م.آکسفورد, انگلیس

بیشتر

نویسنده :

نسیم یاری

زبان :

فارسی

منبع اصلی :

https://ganj-old.irandoc.ac.ir/dashboard?page=4&q=%D9%85%D9%86%D8%B7%D9%82+%DA%AF%D8%B2%D8%A7%D8%B1%D9%87+%D9%87%D8%A7&qd%5B%5D=0

جنس منبع:

متن

پایگاه :

پ:پایگاه پایان نامه

یادداشت :

نوع منبع :

رساله تحصیلی

مخاطب :

بزرگسال , تخصصی

مشخصات کامل اثر

منابع مرتبط :

ثبت نظر

ارسال

از :	{0}
پست الکترونیک :	{1}
تلفن :	{2}
دورنگار :	{3}
Aaddress :	{4}
متن :	{5}

مباحثی در منطق های وجهی گودل استاندارد | کتابخانه مجازی الفبا

ورود

ثبت نام

در تلگرام به ما بپیوندید