New Essays on Belnap-­Dunn Logic

این جلد ویرایش شده مقالاتی درباره منطق چهار ارزشی معروف به منطق بلناپ-دان یا منطق دلبستگی درجه اول (FDE) جمع آوری می کند. همچنین به سیستم های رسمی مختلف که نزدیک به آن هستند نگاه می کند. اینها عبارتند از منطق قوی کلین و منطق پارادوکس. در داخل، خوانندگان چاپ مجدد مقالات اساسی را خواهند یافت که توسط پدران این رشته نوشته شده اند: Nuel Belnap و Michael Dunn. علاوه بر این، این مجموعه همچنین شامل یک نسخه خطی شناخته شده اما قبلا منتشر نشده از دان، مصاحبه با بلنپ و مقاله جدیدی از دان است.

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

این ترکیبی از مقالات اساسی و تحلیل‌های روشنگرانه توسط دانشمندان برتر به خوانندگان دیدگاه جامعی در مورد منطق Belnap-Dunn و توسعه‌های مرتبط با آن ارائه می‌دهد. که دستور کار بحث منطق فلسفی و نیز فلسفه منطق بوده است. این کتاب همچنین بحث بیشتر در مورد مسائل فلسفی مربوط به منطق غیر کلاسیک را به طور کلی افزایش می دهد.

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn.

Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions to computer science, such as knowledge representation and information processing.

This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.