Handbook of Philosophical Logic

با خرسندیم که ویرایش دوم این کتابچه راهنمای فوق العاده را به جامعه ارائه می کنیم. بیش از 15 سال از انتشار اولین نسخه می گذرد و از آن زمان تغییرات بزرگی در چشم انداز منطق فلسفی ایجاد شده است. چاپ اول برای نسل‌های دانش‌آموز و محقق در فلسفه و زبان رسمی، و همچنین برای مصرف‌کنندگان منطق در بسیاری از حوزه‌های کاربردی، ارزشمند بوده است. مقاله اصلی منطق در دایره المعارف بریتانیکا 1999 اولین نسخه را به عنوان "بهترین نقطه شروع برای کاوش در هر یک از موضوعات در منطق" توصیف کرده است. ما مطمئن هستیم که نسخه دوم نیز به همان اندازه خوب خواهد بود. ! چاپ اول دومین کتاب راهنما بود که برای جامعه منطق منتشر شد. این کتاب به دنبال کتاب راهنمای یک جلدی هلند شمالی 0 / منطق ریاضی، منتشر شده در سال 1977، ویرایش شده توسط مرحوم جان بارویس بود. کتابچه راهنمای چهار جلدی 0/ منطق فلسفی که در سالهای 1983-1989 منتشر شد، در تکامل منطق بسیار خوش شانس بود. این زمانی بود که نقطه اتصال زمانی منطقی در علوم کامپیوتر و سیارهای هوش مصنوعی در حال افزایش بود. این مناطق تحت فشارهای تجاری فزاینده ای قرار داشتند تا وسایلی را تهیه کنند که به انسان در فعالیت های روزانه او کمک کند و جایگزین کند. این فشار مستلزم استفاده از منطق در مدل‌سازی فعالیت‌ها و سازمان‌های انسانی از یک سو و فراهم کردن مبنای نظری برای سازه‌های برنامه‌های رایانه‌ای از سوی دیگر بود.

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as weIl as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu­ nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate at the evolution of logic. This was the time when logic temporal junction was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial pressure to provide devices which help andjor replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa­ tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.