جمعية المنطق الرمزي (ASL)

تعد جمعية المنطق الرمزي (Association for Symbolic Logic - ASL) منظمة دولية رائدة تضم المتخصصين في مجالات المنطق الرياضي والمنطق الفلسفي. تأسست الجمعية في عام 1936، وكان أول رئيس لها هو كيرت جون دوكاس، بينما تشغل ناتاشا دوبرينين منصب الرئيس حالياً.

المنشورات والمجلات الأكاديمية

تقوم الجمعية بنشر مجموعة من الكتب والمجلات الأكاديمية المتخصصة التي تساهم في تطوير البحث العلمي في مجال المنطق. وتصدر الجمعية ثلاث مجلات رسمية رئيسية:

• مجلة المنطق الرمزي (Journal of Symbolic Logic): تأسست عام 1936، وتنشر الأبحاث في جميع مجالات المنطق الرياضي.
• نشرة المنطق الرمزي (Bulletin of Symbolic Logic): تأسست عام 1995، وتركز بشكل أساسي على المقالات التفسيرية والمراجعات.
• مراجعة المنطق الرمزي (Review of Symbolic Logic): تأسست عام 2008، وتنشر الأبحاث المتعلقة بالتفاعل بين المنطق والفلسفة والعلوم.

بالإضافة إلى ذلك، ترعى الجمعية مجلة المنطق والتحليل (Journal of Logic and Analysis)، التي تركز على التفاعلات بين المنطق الرياضي والتحليل النقي والتطبيقي. كما لعبت الجمعية دوراً محورياً في نشر المؤلفات الكاملة للعالم الشهير كورت جودل.

سلاسل الكتب والمؤلفات

تصدر الجمعية سلاسل كتب متخصصة مثل ملاحظات المحاضرات في المنطق (Lectures Notes in Logic) وآفاق في المنطق (Perspectives in Logic)، بالإضافة إلى كتب مرجعية هامة مثل كتاب المنطق الرياضي لمؤلفه جوزيف ر. شونفيلد.

سلسلة محاضرات جودل

تعتبر سلسلة محاضرات جودل من أبرز الأنشطة السنوية للجمعية، حيث بدأت منذ عام 1990 لتسليط الضوء على أهم الإنجازات في علم المنطق. وقد استضافت السلسلة نخبة من العلماء، ومن أبرز المحاضرات الأخيرة:

• محاضرة عام 2024 لتوماس سكانلون حول القابلية للتقرير في الحقول.
• محاضرة عام 2023 لكارل جوكوش حول الخوارزميات ودرجات تورينج.
• محاضرة عام 2015 لأليكس ويلكي حول الامتدادات المعقدة للدوال القابلة للتعريف.

الاجتماعات والأنشطة

تعقد الجمعية اجتماعين رئيسيين سنوياً، أحدهما في أمريكا الشمالية والآخر في أوروبا (المعروف باسم ملتقى المنطق). كما تنظم اجتماعات مشتركة مع الجمعية الرياضية الأمريكية (AMS) والجمعية الفلسفية الأمريكية (APA)، وترعى مؤتمرات في دول مختلفة حول العالم.

الجوائز والتكريمات

تمنح الجمعية عدة جوائز دورية تقديراً للتميز البحثي، منها:

• جائزة كارب (Karp Prize): تمنح كل خمس سنوات لأفضل ورقة بحثية أو كتاب في مجال المنطق الرمزي، تأسست عام 1973 تخليداً لذكرى البروفيسور كارول كارب.
• جائزة ساكس (Sacks Prize): تمنح لأفضل أطروحة دكتوراه في مجال المنطق الرياضي.