Toward Predicate Approaches to Modality

در این مجلد، نویسنده به بررسی و استدلال برای پاسخی خاص به این سؤال می‌پردازد: راه درست برای تحلیل منطقی مدالیته‌ها از زبان طبیعی در زبان‌های رسمی چیست؟ پاسخ این است: با صوری سازی عبارات وجهی بر حسب محمول. اما، همانطور که در مورد حقیقت، شهودی‌ترین اصول وجهی زمانی به پارادوکس منجر می‌شوند که مفاهیم وجهی به عنوان محمول تصور شوند.

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

In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicates.

The book discusses the philosophical interpretation of these modal paradoxes and argues that any satisfactory approach to modality will have to face the paradoxes independently of the grammatical category of the modal notion. By systematizing modal principles with respect to their joint consistency and inconsistency, Stern provides an overview of the options and limitations of the predicate approach to modality that may serve as a useful starting point for future work on predicate approaches to modality. Stern also develops a general strategy for constructing philosophically attractive theories of modal notions conceived as predicates. The idea is to characterize the modal predicate by appeal to its interaction with the truth predicate. This strategy is put to use by developing the modal theories Modal Friedman-Sheard and Modal Kripke-Feferman.