نام پژوهشگر: نصرالله موسویان

سیستم منطقی هستی شناسی نظریه‏‎sense ‎‏ فرگه
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1380
  نصرالله موسویان   یوسف صمدی علی آبادی

مبانی: فلسفی:1- فلسفه منطق فرگه (نظریه فرگه)2-فلسفه منطق راسل (نظریات توصیفات معین، نظریه طبقات ساده و انشعابی منطقی: منطق کلاسیک (مرتبه اول و بالاتر) منطق موجهات پیش فرض ها: کلیات نظریه ‏‎sence‎‏ را می پذیریم. ( این نظر را که وجود محمول نیست. کنار می گذاریم)از حیث هستی شناسی، ‏‎sense‎‏ را به مثابه اشیا انتزاعی تلقی می کنیم.مسائل: اگر ‏‎‏‎sense‎‏ را به مثابه شی انتزاعی در یک مدل تعبیر کنیم، آیا برای آن می توان یک سیستم منطقی طراحی کرد؟ قدرت حل مساله سیستم منطقی ساخته شده تا چه حد است؟ (چه مسائلی را که نظریه ‏‎sense‎‏ بنحو غیر صوری می تواند حل کند و چه مسائلی را که از عهده تبیین آنها بر نمی آید.پاسخها: ساختن سیستم منطقی مورد بحث در سه مرحله (نظریه مقدماتی، نظریه موجهه، نظریات طبقات) مدل کردن نظریه ‏‎sense‎‏ فرگه و ارزیابی قدرت حل مساله سیستم طراحی شده. 1-آنچه پیشاپیش برای مطالعه رساله، ضروری است.2-آنچه که صحت آن در رساله فرض گرفته شده است.