Models for Modalities: Selected Essays

مقالات جمع‌آوری‌شده در این مجلد در مدتی حدوداً هشت یا نه ساله نوشته شده‌اند، و برخی مطالب هنوز قدیمی‌تر در یکی از آنها گنجانده شده است. انتشار آنها در یک جلد کتابی مستمر از آنها نمی سازد. با این حال، مقالات از لحاظ موضوعی با یکدیگر مرتبط هستند، به نحوی که من را به این فکر واداشت که به طور طبیعی می توان آنها را با هم گروه بندی کرد. در هر فهرستی از مفاهیم مهم فلسفی، آنهایی که در محدوده کاربرد منطق مودال قرار می گیرند از نظر علاقه رتبه بالایی خواهند داشت. وجوب، امکان، وجوب، جواز، علم، اعتقاد، ادراک، حافظه، امید و تلاش را شامل می شود که به چند مورد از بدیهی ترین آنها اشاره می کنیم. هنگامی که یک معناشناسی رضایت بخش (به معنای تارسکی و کارنپ) برای اولین بار برای منطق مدال توسعه یافت، مجموعه جدیدی از روش ها و ایده ها برای مطالعات فلسفی در دسترس قرار گرفت. از پیشگامان این نظریه مدل مدالیته به طور برجسته می توان به استیگ کانگر و سائول کریپکه اشاره کرد. چند نفر دیگر به طور مستقل و کم و بیش همزمان در همان منطقه کار می کردند. برخی از مقالات قدیمی‌تر این مجموعه، به‌ویژه «کمی‌سازی و مدالیته» و «شیوه‌های مدالیته» برای روشن شدن برخی از احتمالات اصلی در معناشناسی منطق‌های مدی به طور کلی خدمت می‌کنند.

The papers collected in this volume were written over a period of some eight or nine years, with some still earlier material incorporated in one of them. Publishing them under the same cover does not make a con­ tinuous book of them. The papers are thematically connected with each other, however, in a way which has led me to think that they can naturally be grouped together. In any list of philosophically important concepts, those falling within the range of application of modal logic will rank high in interest. They include necessity, possibility, obligation, permission, knowledge, belief, perception, memory, hoping, and striving, to mention just a few of the more obvious ones. When a satisfactory semantics (in the sense of Tarski and Carnap) was first developed for modal logic, a fascinating new set of methods and ideas was thus made available for philosophical studies. The pioneers of this model theory of modality include prominently Stig Kanger and Saul Kripke. Several others were working in the same area independently and more or less concurrently. Some of the older papers in this collection, especially 'Quantification and Modality' and 'Modes of Modality', serve to clarify some of the main possibilities in the semantics of modal logics in general.