In Modal Logic for Open Minds, Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.
ترجمه فارسی (ترجمه ماشینی)
یوهان ون بنتم در منطق معین برای ذهنهای باز، مقدمهای بر حوزه منطق مودال ارائه میکند، ایدههای اصلی آن را تشریح میکند و راههای متعددی را که حوزههای مختلف دانشگاهی آن را اتخاذ کردهاند، بررسی میکند. Van Benthem با تئوری های اساسی منطق مودال شروع می کند و رابطه آن را با زبان، معناشناسی، دوشبیه سازی و بدیهیات بررسی می کند و سپس موضوعات پیشرفته تری مانند قدرت بیان، پیچیدگی محاسباتی و عاملیت هوشمند را پوشش می دهد. بسیاری از فصلها با تمرینهایی دنبال میشوند که این جلد را برای دانشجویان کارشناسی و کارشناسی ارشد در رشتههای فلسفه، علوم کامپیوتر، سیستمهای نمادین، علوم شناختی و زبانشناسی ایدهآل میسازد.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.