رابطة المنطق الرمزي

رابطة المنطق الرمزي ( ASL ) هي منظمة دولية تضم متخصصين في المنطق الرياضي والمنطق الفلسفي . تأسست الرابطة عام 1936، وكان أول رئيس لها كورت جون دوكاس . أما الرئيسة الحالية فهي ناتاشا دوبرينين . ^{[ 1 ]}

تنشر جمعية علم النفس الأمريكية الكتب والمجلات الأكاديمية . ومجلاتها الرسمية الثلاث هي:

• مجلة المنطق الرمزي – تنشر أبحاثاً في جميع مجالات المنطق الرياضي. تأسست عام 1936، رقم ISSN الخاص بها هو 0022-4812 . 
• نشرة المنطق الرمزي – تنشر بشكل أساسي مقالات توضيحية ومراجعات. تأسست عام 1995، رقم ISSN الخاص بها هو 1079-8986. ( Cambridge Core )
• مجلة مراجعة المنطق الرمزي – تنشر أبحاثًا تتعلق بالمنطق والفلسفة والعلوم وتفاعلاتها. تأسست عام 2008، رقم ISSN الخاص بها 1755-0203 . 

بالإضافة إلى ذلك، لدى جمعية علم اللغة الأمريكية مجلة برعاية:

• تنشر مجلة المنطق والتحليل أبحاثًا حول التفاعلات بين المنطق الرياضي والتحليل النظري والتطبيقي. تأسست عام ٢٠٠٩ كنسخة مفتوحة الوصول خلفًا لمجلة سبرينغر "المنطق والتحليل" . الرقم الدولي الموحد للدوريات: ١٧٥٩-٩٠٠٨ . 

لعبت المنظمة دوراً في نشر كتابات كورت غودل المجمعة . ^{[ 2 ]}

سلسلة محاضرات غودل هي سلسلة من المحاضرات السنوية حول لغة الإشارة الأمريكية والتي يعود تاريخها إلى عام 1990. ^{[ 6 ]}

المحاضرة الخامسة والثلاثون لغودل 2024

توماس سكانلون ، (عدم) الحسم في الحقول

المحاضرة الرابعة والثلاثون لغودل 2023

كارل جوكوش ، من الخوارزميات التي تنجح على مجموعة كبيرة من المدخلات إلى درجات تورينج كفضاء متري

المحاضرة الثالثة والثلاثون لغودل 2022

باتريشيا بلانشيت ، الشكلية في المنطق

المحاضرة الثانية والثلاثون لغودل 2021

ماثيو فورمان ، غودل: التماثلات التفاضلية

المحاضرة الحادية والثلاثون لغودل 2020

إليزابيث بوسكارين ، انتشار التكوينات في نظرية النماذج

المحاضرة الثلاثون لغودل 2019

سام بوس ، الشمولية، وإمكانية الإثبات، والجدوى

المحاضرة السنوية التاسعة والعشرون لغودل 2018

رود داوني ، العشوائية الخوارزمية

المحاضرة السنوية الثامنة والعشرون لغودل 2017

تشارلز بارسونز ، غودل، وعالم المجموعات

المحاضرة السنوية السابعة والعشرون لغودل 2016

ستيفو تودورسيفيتش ، مشاكل الأساس في نظرية المجموعات

المحاضرة السنوية السادسة والعشرون لغودل 2015

أليكس ويلكي ، استمرارات معقدة للدوال القابلة للتعريف في${\displaystyle \mathbb {R} _{an,exp}}$مع تطبيق ديوفانتين

المحاضرة السنوية الخامسة والعشرون لغودل 2014

جوليا ف. نايت ، نظرية البنية القابلة للحساب وصيغ الأشكال الخاصة

المحاضرة السنوية الرابعة والعشرون لغودل 2013

كيت فاين ، دلالات صانع الحقيقة

المحاضرة السنوية الثالثة والعشرون لغودل 2012

جون ستيل ، المجموعات القابلة للتحديد الترتيبي الوراثي في ​​نماذج الحتمية

المحاضرة السنوية الثانية والعشرون لغودل 2011

أناند بيلاي ، نظريات الرتبة الأولى

المحاضرة السنوية الحادية والعشرون لغودل 2010

ألكسندر رازبوروف ، تعقيد البراهين الافتراضية

المحاضرة السنوية العشرون لغودل 2009

ريتشارد شور ، الرياضيات العكسية: ملعب المنطق

المحاضرة السنوية التاسعة عشرة لغودل 2008

دبليو هيو وودين ، فرضية الاستمرارية، وتخمين Ω ، ومشكلة النموذج الداخلي لأحد الأعداد الأساسية فائقة التراص

المحاضرة السنوية الثامنة عشرة لغودل 2007

إيهود هروشوفسكي (محاضرة عن أعماله ألقاها توماس سكانلون في غيابه)

المحاضرة السنوية السابعة عشرة لغودل 2006

بير مارتن-لوف ، طبقتان من المنطق

المحاضرة السنوية السادسة عشرة لغودل 2005

مناحيم ماغيدور ، نظريات سكوليم-لوينهايم للمنطق المعمم

المحاضرة السنوية الخامسة عشرة لغودل 2004

مايكل أو. رابين ، البراهين والإقناع والعشوائية في الرياضيات

المحاضرة السنوية الرابعة عشرة لغودل 2003

بوريس زيلبر ، التصنيف

المحاضرة السنوية الثالثة عشرة لغودل 2002

هارفي فريدمان ، قضايا في أسس الرياضيات

المحاضرة السنوية الثانية عشرة لغودل 2001

ثيودور أ. سلامان ، نظرية الاستدعاء الذاتي

المحاضرة السنوية الحادية عشرة لغودل 2000

جون باروايز (تم إلغاء الفعالية بسبب وفاة المتحدث)

المحاضرة السنوية العاشرة لغودل 1999

ستيفن أ. كوك ، المنطق والتعقيد الحسابي

المحاضرة السنوية التاسعة لغودل 1998

ألكسندر س. كيكريس ، الاتجاهات الحالية في نظرية المجموعات الوصفية

المحاضرة السنوية الثامنة لغودل 1997

1997 سولومون فيفرمان ، المهن والانشغالات مع غودل: أعماله والعمل

المحاضرة السنوية السابعة لغودل 1996

1996 ساهارون شيلاه ، التصنيف بدون تماسك

المحاضرة السنوية السادسة لغودل 1995

1995 ليو هارينغتون ، غودل، هايدغر ، والإدراك المباشر (أو، لماذا أنا من أنصار نظرية التكرار)

المحاضرة السنوية الخامسة لغودل 1994

1994 دونالد أ. مارتن ، اليسار (اليمين): دراسة استقصائية

المحاضرة السنوية الرابعة لغودل 1993

1993 أنجوس ماكنتاير ، منطق التحليل الحقيقي والتحليل p-adic : الإنجازات والتحديات

المحاضرة السنوية الثالثة لغودل 1992

1992 جوزيف ر. شوينفيلد ، أسلوب الأولوية

المحاضرة السنوية الثانية لغودل 1991

1991 دانا سكوت ، هل سيتم استبدال المنطقيين بالآلات؟

المحاضرة السنوية الأولى لغودل 1990

1990 رونالد جنسن ، النماذج الداخلية والكاردينالات الكبيرة

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

^{[ 7 ]}

تقدم الجمعية بشكل دوري عدداً من الجوائز والتكريمات. ^{[ 8 ]}

• موقع لغة الإشارة الأمريكية
• مجلة المنطق الرمزي
• مراجعة المنطق الرمزي
• مجلة المنطق والتحليل