در این پایان نامه سیستم های کلاسیک مرتبه اول با استفاده از مدل های همسایگی مرتبه اول بررسی خواهند شد. در این مدل ها قالب های اصل موضوعی بارکان و عکس آن بر خلاف مدل های کریپکی همیشه معتبر نیستند. در فصل یک ابتدا منطق وجهی گزاره ای و معناشناسی همسایگی را به عنوان مطالب مقدماتی بررسی کرده و تعدادی از قضایای پایه ای در این زمینه را بیان می کنیم. در فصل دو معناشناسی کریپکی برای منطق وجهی مرتبه او...

مفهوم وجود از جمله مفاهیمی است که از گذشته تاکنون در بین فلاسفه مورد بحث قرار گرفته است.چنین بحث هایی را میتوان به دو محور اصلی تقسیم کرد. محور اول به ابعاد هستی شناسان? وجود می پردازد که به موجب آن با دو مکتب ممکن گرایی و واقعیگرایی مواجه هستیم که هر کدام در راستای مبانی متافیزیکی خود سعی میکنند دربار? محدود? دامن? اشیاء سخن بگویند. محور دوم شامل بحث هایی میشود که به محمول واقع شدن وجود می پرد...

واقعی گرایی یک آموزه هستی شناسانه است که براساس آن، دامنه اشیاء موجود و دامنه اشیاء واقعی اینهمان است. مطابق با این آموزه، برای حل هر مسئله فلسفی، نیازی به تعهد وجودی به اشیاء غیرواقعی نداریم. رویکرد لینسکی، زالتا و نلسون یکی از رویکردهای موجود به واقعی گرایی است که به واقعی گرایی جدید معروف شده است. آنها، پیش فرض جدیدی در باب اشیاء موجود را مبنای کار خود قرار داده اند که براساس آن، یک شی ء انض...

واقعی‌گرایی یک آموزه هستی‌شناسانه ‌است که براساس آن، دامنة اشیاء موجود و دامنة اشیاء واقعی ‌اینهمان است. مطابق با این آموزه، برای حل هر‌ مسئلة فلسفی، نیازی به تعهد وجودی به اشیاء غیرواقعی نداریم. رویکرد لینسکی، زالتا و نلسون یکی ‌از رویکردهای‌ موجود به‌واقعی‌گرایی است که ‌به‌ واقعی‌گرایی ‌جدید معروف شده‌ است. آنها، پیش‌فرض جدیدی در‌ باب اشیاء موجود را مبنای کار خود قرار‌ داده‌اند که براساس آن، ...