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

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