Paraconsistent Logic: Consistency, Contradiction and Negation

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

این کتاب مقدمه ای ارزشمند برای موضوعی با اهمیت محوری در منطق و فلسفه ارائه می دهد. (1) تاریخچه منطق ناسازگار را مورد بحث قرار می دهد. (2) زبان، نفی، تناقض، سازگاری و ناسازگاری؛ (iii) منطق ناسازگاری رسمی (LFIs) و سیستم‌های گزاره‌ای ناسازگار اصلی. (IV) همراهان بسیار ارزشمند، معناشناسی ترجمه های ممکن و معناشناسی غیر قطعی. (v) منطق های مودال ناسازگار. (vi) منطق های ناسازگار مرتبه اول. (vii) برنامه های کاربردی برای پردازش اطلاعات، پایگاه های داده و محاسبات کوانتومی. و (viii) کاربردهایی برای پارادوکس های دینی، ارتباط با تفکر شرقی و استدلال گفتگوی.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency

This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.