Alternative Logics. Do Sciences Need Them?

در ابتدا به عنوان رقیب منطق کلاسیک پیشنهاد شد، منطق های جایگزین در علومی مانند فیزیک کوانتومی، علوم کامپیوتر و هوش مصنوعی اهمیت فزاینده ای پیدا کردند. مشارکت‌های جمع‌آوری‌شده در این جلد به این سؤال می‌پردازد که آیا استفاده از منطق در علوم، به‌ویژه در فیزیک مدرن، مستلزم انحراف از منطق ریاضی کلاسیک است یا خیر. مقالات بخش اول کتاب با تشریح زمینه و معضل به کارگیری منطق در علم صحنه را رقم زد. در بخش دوم، نویسندگان چندین منطق ارائه می‌دهند که به روش‌های متفاوتی از منطق‌های کلاسیک منحرف می‌شوند. دوازده مقاله در بخش سوم به طور مفصل جنبه های خاصی مانند منطق کوانتومی، محاسبات کوانتومی، ملاحظات علوم کامپیوتر، منطق عملی و احتمال کوانتومی را بررسی می کنند. بیشتر مشارکت‌ها نسخه‌های اصلاح‌شده و تا حدی توسعه‌یافته مقالات ارائه‌شده در کنفرانسی با همین عنوان Académie Internationale de Philosophie des Sciences هستند که در Internationales Forschungszentrum Salzburg در می 1999 برگزار شد. دیگران برای تکمیل تصویر تحقیقات اخیر در سالزبورگ اضافه شده‌اند. منطق های جایگزین همانطور که برای کاربرد در علوم توسعه یافته اند.

Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences such as quantum physics, computer science, and artificial intelligence. The contributions collected in this volume address and explore the question whether the usage of logic in the sciences, especially in modern physics, requires a deviation from classical mathematical logic. The articles in the first part of the book set the scene by describing the context and the dilemma when applying logic in science. In Part II the authors offer several logics that deviate in different ways from classical logics. The twelve papers in Part III investigate in detail specific aspects such as quantum logic, quantum computation, computer-science considerations, praxic logic, and quantum probability. Most of the contributions are revised and partially extended versions of papers presented at a conference of the same title of the Académie Internationale de Philosophie des Sciences held at the Internationales Forschungszentrum Salzburg in May 1999. Others have been added to complete the picture of recent research in alternative logics as they have been developed for applications in the sciences.