符號邏輯協會

符號邏輯協會(Association for SymbolicLogic) ^[1]  外文縮寫為ASI_. 1936年成立，總部建在美國，是一個國際性的組織.其成立目的是為了促進符號邏輯的研究，促進數學家、哲學家及其他在此領域有研究興趣的人員之間的交流.設立有拉丁美洲、北美洲及會員委員會，以及獎勵、出版、邏輯學家權益等委員會，還和美國數學會聯合設立了俄語及其他斯拉夫語言翻譯委員會.它在美國科學促進協會、國際科學史與科學哲學聯盟、美國數學科學會議委員會等都派有代表.協會除每年在美國舉行年會外，還每年舉行一次春季會議(一般在美國)和歐洲夏季會議.近幾年來還每年召開有關計算機科學邏輯的年度專題討論會，以及科學邏輯、方法論與哲學的國際會議.此外，還與其他組織一起或資助其他組織舉行有關國際會議和專題討論會.協會主辦有《符號邏輯雜誌》(The Journal of Symbolic Logic)和《哲學邏輯雜誌》( Journal of Philosophical Logic ) , 1995年又新創辦了《符號邏輯通報》(Bulletin of Symbolis Logic)，並組織出版數理邏輯方面的叢書.協會從20世紀70年代開始設立了卡普獎.該協會與美國數學會、工EEE計算機學會等組織有着密切的關係，經常同時召開年會.每年的12月號《符號邏輯雜誌》上都公佈有當年的會員名單.據1994年公佈的名單，當年有會員150。多名(包括中國的會員)，研究機構等事業性會員36個.