Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium

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

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.