منطق فلسفی English آدرس دیگر: http://libgen.rs/book/index.php?md5=1769939ECE7BC268459ACA4594483F3D,J. Michael Dunn, Greg Restall (auth.), Dov M. Gabbay, F. Guenthner (eds.) Table of contents :,Front Matter....Pages i-xiii,Relevance Logic....Pages 1-128,Quantum Logics....Pages 129-228,Combinators, Proofs and Implicational Logics....Pages 229-286,Paraconsistent Logic....Pages 287-393,Back Matter....Pages 395-406 text ترجمه ماشینی: چنین سؤالاتی برای قرن ها (بدون محدودیت با قابلیت های هر سخت افزار). به عنوان مثال، اصول حاکم بر تعامل چندین فرآیند، انتزاعی است و مشابه اصول حاکم بر همکاری دو سازمان بزرگ است. یک بوروکراسی مؤثر اما سفت و سخت مبتنی بر قوانین دقیق بسیار شبیه به یک برنامه رایانه ای پیچیده است که داده ها را مدیریت و دستکاری می کند. حدس من این است که اصول زیربنای یکی بسیار شبیه به دیگری است. من معتقدم روزی در آینده دور نیست که دانشمند کامپیوتر یک روز صبح از خواب بیدار شود و بفهمد که او در واقع نوعی فیلسوف رسمی است! تعداد جلدهای پیش‌بینی‌شده برای این کتاب حدود 18 جلد است. موضوع تکامل یافته و حوزه‌های آن چنان به هم مرتبط شده‌اند که دیگر منطقی نیست که مجلدات را به موضوعات اختصاص دهیم. با این حال، مجلدات از برخی گروه‌بندی‌های طبیعی فصل‌ها پیروی می‌کنند. مایلم از نویسندگان ما به خاطر مشارکت و تعهدشان در موفقیت این کتابچه تشکر کنم. همچنین از مدیر انتشارات ما، خانم جی. اسپور به خاطر فداکاری و برتری همیشگی‌اش و از ناشران آکادمیک Kluwer برای حمایت مستمرشان از کتاب راهنما تشکر می‌کنیم. ---------------- such questions for centuries (unrestricted by the capabilities of any hard­ ware). The principles governing the interaction of several processes, for example, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based effective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. I believe the day is not far away in the future when the computer scientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subject has evolved and its areas have become interrelated to such an extent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupings of chapters. I would like to thank our authors are readers for their contributions and their commitment in making this Handbook a success. Thanks also to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers for their continuing support for the Handbook. Dov M. Gabbay , Franz Guenthner (eds.) Author book portal_lib 1401-04-15 1401-05-18