درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
2173 مرتبه مشاهده شده
بررسی رهیافت های اخیر برای حل پارادکس های منطقی
سیاوشی، احسان Siavashi, Ehsan
- شماره پایان نامه:40735
- کد دانشکده:42
- پديدآور: سیاوشی، احسان
- عنوان:بررسی رهیافت های اخیر برای حل پارادکس های منطقی.
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1389.
- نام دانشکده:فلسفه علم
- مقطع:کارشناسی ارشد
- یادداشت:90ص.: کتابنامه؛ چکیده به فارسی و انگلیسی
- توصیفگر: پارادکس دروغگو Liar Paradox
- توصیفگر: دستگاه منطقی Logical System
- توصیفگر: نظریه صدق Truth Theory
- توصیفگر: نظریه سلسله مراتب تارسکی Tarski's Hirarchy Theory
- توصیفگر: نظریه نقطه ثابت کریپکی Kripke Fixed Point Theory
- توصیفگر: نظریه تجدید نظر Revision Theory
- توصیفگر: شبه تناقض Pseudo-Contradiction
- استاد راهنما. اردشیر، محمد
- استاد مشاور. لاجوردی، کاوه
- محتواي پايان نامه
- مشاهده