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

ترجمه ماشینی : تاریخ فلسفه سرشار از نظریات درباره اشیا است. نظریات انواع اشیاء، ماهیت آنها، وضعیت وجود آنها و غیره. در سالهای اخیر منطق دانان فلسفی کوشیده اند تا برخی از این نظریات را رسمیت بخشند که نتایج ثمربخش بسیاری داشته است. پایان نامه من در نظر دارد با توسعه یک سیستم منطقی درجه دوم که ممکن است به عنوان زمینه ای برای انبوهی از نظریه های اشیاء (مانند اشیاء عینی و انتزاعی، اشیاء غیرممکن، اشیاء خیالی و غیره) به این سنت در منطق فلسفی بیفزاید. از طریق افزودن چیزی که ممکن است کمیت‌کننده‌های مرتب نامیده شود (یعنی کمی‌سازی‌هایی که متغیرهای منفرد را در محدوده اشیاء از سه نوع منحصربه‌فرد پیوند می‌دهند)، زمینه‌ای برای منطقی ایجاد می‌شود که اشیاء بتنی و غیر بتنی را جذب می‌کند. سپس این زمینه را با افزودن یک عملگر جدید و عملگرهای مودال یک منطق زمانی پیشینی گسترش می‌دهیم. از این بسط، سیستم رسمی ما می‌تواند اشیاء عینی، انتزاعی، تخیلی و غیرممکن را بازنمایی و تعریف کند و همچنین نظریه‌های غیررسمی آن‌ها را به‌طور رسمی تشریح کند.