First-order Modal Logic

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

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems.
The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.