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