جستجوي پيشرفته | کتابخانه مجازی الفبا

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